前言 zk+9'r`-D
,Vax&n+J
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 }#+^{P3 ;
}&D WaO]J7
一、在union中存储对象 {WS;dX4
uMv,zO5
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? bWS&Yk(
FxY}m
#pragma warning(disable : 4786) 3`?7<YJ
#include ~P
qM]^
using namespace std; E=Bf1/c\
RC"MdcD:]y
class TestUnion :,7hWs
{ ttQGoUkj
public: MJ)RvNF
TestUnion(long l):data_(l)
8W7J3{d
{ I][*j
}; ^
+\dz
int data_; 5;WH:XM
}; $wa{~'
h"W,WxL8
typedef union _tagUtype_ BOX2O.Pm
{ MjRHA^b
TestUnion obj; Q{>k1$fkV
}UT; Rp7mh]kZ
{YC@T(
int main (void) H8jpxzXv
{ {Xy5pfW
Q
return 0; G_JA-@i%
} ]-#DB^EQ
R|(a@sL
tw@X>
G1z
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: @0''k
e0 ecD3
class TestUnion 5 qA'
{ |G<|F`Cj
public: ccxNbU
int data_; h?U
O&(
}; "{t$nVJ
P%n>Tg80M
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! %cn<ych
G
dZuOrTplA
二、类中union的初始化 tH4B:Bgj!
307I$*%W
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: u ga_T
6 u6x
#pragma warning(disable : 4786) A#,ZUOPGH
#include Q>z8IlJ}
y~V(aih}D
using namespace std; *-X[u:
i|kRK7[6B
class TestUnion c71y'hnT
{ dE3) |%
enum StoreType{Long,Const_CharP}; sLk-x\P]|
union \;Weizq5
{ x+]"
const char* ch_; MdF2Gk-9
long l_; (9)Q ' 'S
} data_; $~)SCbL^5
StoreType stype_; (8OsGn
TestUnion(TestUnion&); 3so%gvY.'
TestUnion& operator=(const TestUnion&); P+}h$_x
public: zt%Mx>V@
TestUnion(const char* ch); z$sGv19pB
TestUnion(long l); pgo$61
operator const char*() const {return data_.ch_;} DmcZta8n]
operator long() const {return data_.l_;} 1Y,Z
%d
}; yhJ@(tu.Gd
:4|4 =mkr
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) I/N *gy?*
{ j>kqz>3
} `]aeI'[}R
i
XN1I
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) W,u:gzmhw
{ [Rb+q=z#
} j8gdlIx
zuCSj~
int main (void) =(^3}x
{ mE[y SrV
TestUnion pszobj("yuankai"); l,).p
TestUnion lobj(1234); HaYo!.(Fv
cout<(pszobj)< cout< Wp,R^d
return 0; F'Z,]b'st3
} w-jVC^C]
5r0YA
IJ
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下:
lhJ'bYI
30{ gI0jk
class TestUnion p
ll)Y
{ I1J-)R+
enum StoreType{Long,Const_CharP}; AZ<=o
union DataUnion //不能匿名 ,x $,l
{ ^zr`;cJ+c
DataUnion(const char*); //声明const char*构造函数 i30!}}N8
DataUnion(long); //声明long构造函数 Y:`&=wjP~
const char* ch_; wC*X4 '
long l_; UF|p';oom
} data_; 1~gCtBRM
StoreType stype_; HOi`$vX}N
TestUnion(TestUnion&); @)}L~lb[)
TestUnion& operator=(const TestUnion&); k:%%/
public: (k P9hcV
TestUnion(const char* ch); Ort(AfW
TestUnion(long l); |y*c9
operator const char*() const {return data_.ch_;} JGZBL{8
operator long() const {return data_.l_;} I+(nu47ZT
}; :'ptuY
<ZW-QN4
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Fzcwy V
{//注意data_(ch),这里直接引用data_ YYS0`
} u@444Vzg
'fW-Y!k%
TestUnion::TestUnion(long l):data_(l),stype_(Long) BLFdHB.$T
{//注意data_(l),这里直接引用data_ &3&HY:yF
} MfkZ
#;S*V"
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 4z)]@:`}z
{ afk>+4q
} <Z$J<]I
,z6~?6m
TestUnion::DataUnion::DataUnion(long l):l_(l) (%9$! v{3
{ ,u m|1dh
} )}vl\7=
kT=8e;K
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!