前言 ebK
wCZwK*
+Z]%@"S?
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 vBnHG-5;P
74Wg@!P
一、在union中存储对象 V3UGx'@^y
8QBL:7<
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? W/Q%%)J
H2cc).8"
#pragma warning(disable : 4786) +N_%|!F-c
#include dq(L1y870
using namespace std; P9wDTZ
:4
3vD,hL`&
class TestUnion ^uzVz1%mM
{ 1]`HX=cl
public: <Rt@z|Zv
TestUnion(long l):data_(l) ~C
x2Q4E
{ RL9BB.
}; l/NK.Jr
int data_; ir#^5e@
}; |_m;@.44?U
bf(&N-"A
typedef union _tagUtype_ s'4p+eJ
{ 0yNlf-O
TestUnion obj; ;d40:q<
}UT; ]Jqe)o
$@wkQ%
int main (void) iKY&gnu"
{ a-y5 \x
return 0; V|7CYkB8
} v%[mt`I
;v\n[
+Z*%,m=N(
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改:
N\$wpDI~
v g]&T
class TestUnion &@-glF5
{ X9HI@M]h
public: v2V1&-
int data_; ,V?,I9qf
}; C-Z,L#
swrd
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! uX[
"w|
3>6o=7/PU
二、类中union的初始化 %?jf.p*kY
< r~Tj
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: p%-9T>og
qfU3Cwy
#pragma warning(disable : 4786) <9~qAq7^
#include nabN.Ly
x7?{*w&r
using namespace std; .$iIr:Tc>
.w~USJ=X
class TestUnion 2}t wt
{ ~7
TzUb
enum StoreType{Long,Const_CharP}; ?x97q3I+]
union '\Ub*m((1O
{ `O/)q^m1L
const char* ch_; U?QO'H5
long l_; _f`m/l
} data_; ?x@khzk
StoreType stype_; ]!N5jbA@
TestUnion(TestUnion&); bBX~ZWw
TestUnion& operator=(const TestUnion&); A?/?9Gr
public: & \m\QI
TestUnion(const char* ch); v6:DA#0
TestUnion(long l); H &JKja}`
operator const char*() const {return data_.ch_;} d\v _!7
operator long() const {return data_.l_;} dQ[lXV[}v
}; VA0TY/{
]
uOQ5.S+
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) Li2)~4p><
{ ZeO>Ag^
} P*SXfb"HC
S,H{\c
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) RjDFc:bB
{ oC
[g
} |Xag:hof
jhLh~.
8
int main (void) D1f=f88/}
{ VxCH}&!
TestUnion pszobj("yuankai"); AS7!FD6b
TestUnion lobj(1234); NQAnvX;
cout<(pszobj)< cout< NQG"}=KA
return 0; -cKR15
} ? _W*7<
;VuIQ*@m"
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: JG[+e*8
Y%faf.$/9
class TestUnion k=@Q#=;*[W
{ '.=Z2O3p
enum StoreType{Long,Const_CharP}; G<-.{Gx)
union DataUnion //不能匿名 Bg`b*(Q
{ gvC2\k{
DataUnion(const char*); //声明const char*构造函数 6-3l6q
DataUnion(long); //声明long构造函数 yhIg)/?L
const char* ch_; HiC\U%We
long l_; /Hx\ gtV
} data_; \c]/4C +/
StoreType stype_; %VMazlM15
TestUnion(TestUnion&); ?d%_o@
TestUnion& operator=(const TestUnion&); BjH(E'K[b
public: DbcKKgPn(9
TestUnion(const char* ch); Rww KPE
TestUnion(long l); {\V)bizY;
operator const char*() const {return data_.ch_;} "%Jx,L\f{
operator long() const {return data_.l_;} ,Xn%-OT
}; $*PyzLS
;#;X@BhS
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) {M$1?j"7
{//注意data_(ch),这里直接引用data_ h*d,AJz &.
} TC2aD&cw{
WDZEnauE
TestUnion::TestUnion(long l):data_(l),stype_(Long) |!}$V
{//注意data_(l),这里直接引用data_ 1t)6wk
N
} ;7hf'k
4uz\Me(
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ?832#a?FZ;
{ PXkPC%j
} &8;mcM//4
:>,d$f^tqE
TestUnion::DataUnion::DataUnion(long l):l_(l) 53L)+\7w
{ `S!`=26Z!
} &v:iC
u^|
34oC285yc
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!