前言 [gxH,=Pb
8I,/ysT:
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 37nGFH`K2m
\K(QE ~y'W
一、在union中存储对象 |!.VpN&
bd@1j`i
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? HC/?o0
s.9_/cFWB
#pragma warning(disable : 4786) rWD*DmY@"
#include ^)0b= (.
using namespace std; +a}>cAj*
DS6g_SS3
class TestUnion +n&9ZCH
{ w@&(=C
public: h^=9R6im
TestUnion(long l):data_(l) RqRyZ*n
{ Nr:%yvk%s
}; {'1e?
int data_; muKCCWy#
}; !0!r}#P
#5}v?
typedef union _tagUtype_ 9Jj:d)E>o
{ i!dQ
Sdf
TestUnion obj; d+158qQOh]
}UT; +EE(d/f
W+ D{4:
int main (void) RLr^6+v)U
{ ?-D'xqc
return 0; Spt;m0W90
} +W[NgUrGJ
mr\C
[3fmhc
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: l~*D
jr~
]Wdnr1d~8
class TestUnion <^Sp4J
{ <n{-&;>
public: KB6`OT^b{r
int data_; ooIA#u
}; 4oA9|}<FR
tB==v{t
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! |]'0z0>
Tmr%r'i3
二、类中union的初始化 >^ijj`{d
hz*H,E!>
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下:
-
j_
7o4B1YD
#pragma warning(disable : 4786) vfPIC!
#include wH N5H
RI#o9d"x}
using namespace std; t'im\_$F
~5sH`w~vQ
class TestUnion c&;Xjy
{ BNpc-O~
enum StoreType{Long,Const_CharP}; :Wl`8p4]
union \+Pk"M
{ n>aH7
const char* ch_; 68,(+vkB
long l_; gO,2:,
} data_; /XZ\Yy=
StoreType stype_; Xw |6
#^
TestUnion(TestUnion&); L+J)
TestUnion& operator=(const TestUnion&); cOo@UU P
public: kcyT#'=j
TestUnion(const char* ch); X;%*+xQ^
TestUnion(long l); V.^Z)iNf^
operator const char*() const {return data_.ch_;} uPQrDr5
operator long() const {return data_.l_;} h&j9'
}; )R@M~d-o
[2Ot=t6]
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) D;QV`Z%I
{ v!77dj 6I
} 85 <%L:EC
/Ym!%11`
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) >P[BwL]
{ :1,xs e
} wS}Rl}#Oh?
=?s0.(;
int main (void) ^{R.X:a
{ w6FVSU]sY
TestUnion pszobj("yuankai"); c!HmZ]/
TestUnion lobj(1234); _l||69|.
cout<(pszobj)< cout< !y syb
return 0; {H[3[
} "?SR+;Y:q
UVj1nom
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: -P[bA0N,
"pW@[2Dkx/
class TestUnion TSHH=`cx
{ Z&Ao;=Gp1
enum StoreType{Long,Const_CharP}; A!.* eIV|
union DataUnion //不能匿名 xA {1XS}
{ )!jX$bK
DataUnion(const char*); //声明const char*构造函数 &p6^
DataUnion(long); //声明long构造函数 +U= !svE
const char* ch_; RuuXDuu:VL
long l_; 7R5!(g
} data_; EGIwqci:
StoreType stype_; @(_f}SgfE
TestUnion(TestUnion&); |?Bb{Es
TestUnion& operator=(const TestUnion&); /woC{J)4p
public: <N}*|z7=b
TestUnion(const char* ch); ![CF
>:e
TestUnion(long l); ! tPHT
operator const char*() const {return data_.ch_;} o dTg.m
operator long() const {return data_.l_;} gt{$G|bi
}; ``* !b>)
-e(,>9Q
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 6>Ca O
{//注意data_(ch),这里直接引用data_ o; Ns-=
} &7m)K>E27
bk{.9nz 2
TestUnion::TestUnion(long l):data_(l),stype_(Long) %eDJ]\*^X
{//注意data_(l),这里直接引用data_ PP_fTacX
} H]d'#1G
M+Jcgb]
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 9&p;2/H
{ *&sXC@^@^
} Oxq} dX7S
* Qe{CE
TestUnion::DataUnion::DataUnion(long l):l_(l) [[8.Xb
{ sksop4gu5
} k<cv80lhK
aB+B1YdY"
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!