前言 &bQ^J%\
1CbC|q
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ?*,q#ZkA9W
^MUM04l
一、在union中存储对象 :%{7Q$Xv<
Kl? 1)u3^4
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? ikQ2x]Sp
rNc>1}DDS
#pragma warning(disable : 4786) 2lRZ/xaF%P
#include iQF93:#
using namespace std; 9[Mu
n:P}K?lg
class TestUnion ?3#X5WT
{ srL,9)OC
public: xh0!H|
R
TestUnion(long l):data_(l) uypD`%pC
{ AI2CfH#:C
}; V 6F,X`7
int data_; TL>e[PBO
}; /hQ!dU.+
X}$S|1CjO
typedef union _tagUtype_ Dg`W{oj
{ \#slZ;&s
TestUnion obj; Lst5
}UT; (C&f~U
k:sh:G+=$d
int main (void) J3=jC5=J4
{ R)/w
return 0; +dfSCs
} sC>8[Jatd
2 E^P=jU`
lgl/|
^ Uw
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ;XT$rtuX
d9s"y?8
class TestUnion _
0-YsD
{ tBrVg<]t
public: F~EriO
int data_; k.%F!sK
}; Z_%>yqDC
Wxjpe4
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ]P.S5s'
*h UrE
二、类中union的初始化 U/>5C:
l}JVRU{
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: RaAq>B
WPr
pS0T>r
#pragma warning(disable : 4786) JmkJ^-A 6
#include d=[.
gIeo7>u
using namespace std; [eImP
V]
2bqwnRT}
class TestUnion ec|IT0;
{ {PZe!EQ
enum StoreType{Long,Const_CharP}; N}\i!YUD
union NJ.kT uk
{ =$MV3]
const char* ch_;
/9sUp}*
long l_; d<]/,BY'
} data_; )j](_kvK
StoreType stype_; 7r>^_ aW
TestUnion(TestUnion&); Ex<loVIrP$
TestUnion& operator=(const TestUnion&); N'4*L=Ut
public: SLW1]ZaG
TestUnion(const char* ch); sB $!X@
TestUnion(long l); !*p lK6a
operator const char*() const {return data_.ch_;} QFMS]
operator long() const {return data_.l_;} 61wiXX"N
}; }+z}vb
fYwumx`J
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) pcE.
{ gbvBgOp
} t^q/'9Ai&J
il:""x7^y
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) N3,EF1%
{ l!
GPOmf9`
} aD.A +e s
D`u{U]
int main (void) Ou/{PK}
{ i+OyBDkJM!
TestUnion pszobj("yuankai"); Q?~l=}2
TestUnion lobj(1234); ~!@a
cout<(pszobj)< cout< W*P/~U=
return 0; 'SC`->F4D
} #]9yzyb_y
.NjOaK)\
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: \eN }V
IlH*s/
class TestUnion 5z0SjQ
{ by-B).7
enum StoreType{Long,Const_CharP};
*h`zV<j
union DataUnion //不能匿名 ,$*$w<
{ 'E9\V\bi
DataUnion(const char*); //声明const char*构造函数 rKO[;]_*
DataUnion(long); //声明long构造函数 ^+-i7`|=
const char* ch_; &Oe,$%{hBh
long l_; 1&U U6| X
} data_; VQ+Xh
StoreType stype_; %.]qkGZe#
TestUnion(TestUnion&); ~GZ(Ou-&
TestUnion& operator=(const TestUnion&); J:t1W=lJ3
public: 1|2X0Xm{
TestUnion(const char* ch); S^ 3I" B
TestUnion(long l); 1Eh(U
operator const char*() const {return data_.ch_;} dH8H<K~
operator long() const {return data_.l_;} ^27r-0|l^
}; ^hU7QxW
hW(Mf
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) m!g
f!
{//注意data_(ch),这里直接引用data_ 1D 6iJ
} 5@?P 8
-e30! A
TestUnion::TestUnion(long l):data_(l),stype_(Long) tv5SQ+AI3
{//注意data_(l),这里直接引用data_ L.>`;`dmY
} ZZ#S\*
0Y{A
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) [^#6.xH
{
IS!sJ c
} $P>ci4]t
23zB@aE_?1
TestUnion::DataUnion::DataUnion(long l):l_(l) gz8<&*2
{ (Ori].{C.J
} kA fkQy(~
IG
6yt
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!