前言 =%]dk=n?TN
j;+nnpg
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ]h|GaHiE
=3(
ZUV X
一、在union中存储对象 [n:R]|^a
E3gQ`+wNg?
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? `mWg$e,
Q0 ^?jh
#pragma warning(disable : 4786) A$5!]+
#include #D>8\#53V/
using namespace std; |J6CH87>
T
7
hC]R
class TestUnion q-!m|<Z
{ dvXu?F55
public: #MBYa&Tw7
TestUnion(long l):data_(l) Ql\GL"
{ xknP
`T
}; =E,*8O]
int data_; _Y~+ #Vc
}; .79'c%3}
T
%cN(0@
typedef union _tagUtype_ i^gzl_!
{ |5FyfDaFBX
TestUnion obj; 3F4I{L
}UT; GQ[\R&]q<
sXfx[)T<
int main (void) k*n5+[U^tP
{ n=yFw\w'
return 0; s\ ~r
8
} YHAy+S
XS1>ti|<
/sYD+*a
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: a2g1 5;kM
ey Cg *
class TestUnion F5*Xx g}N
{ M"V?fn'
public: UCq+F96j
int data_; w-\GrxlbX
}; Y]Xal
)9PQj
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! Uh9$e
2} T"|56
二、类中union的初始化 r?Z8_5Y
TSD7.t)^
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: $MP'j9-S?
NDI|;
#pragma warning(disable : 4786) ,ur_n7+LH
#include 1YS{;
y[o
g.,IQ4o
using namespace std; ,7/N=mz
evn ]n
class TestUnion gMgbqGF)
{ Y=Bk;%yT=
enum StoreType{Long,Const_CharP}; p~M^' k=d
union 0mCrA|A.
{ hsVWD,w
const char* ch_; FfP Ce5)
long l_; 8-po|
} data_; %+`$Lb?{
StoreType stype_; cQN}z
Ke
TestUnion(TestUnion&); SFh6'v'1N@
TestUnion& operator=(const TestUnion&); Z,Q)\W<'-
public: R[Pyrs!H
TestUnion(const char* ch); M#2DI?S@
TestUnion(long l); Mb+cXdZb
operator const char*() const {return data_.ch_;} Blf;_e~=[j
operator long() const {return data_.l_;} A!hkofQ
}; DMf:u`<
:GO}G`jY
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) \]o#tYN\a0
{ yyBy|7QgO
} Qs*g)Yr
Y.=v!*p?}
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) M3x%D)*
{ o,u-%
} Q;`#ujxL
p5Y"W(5_
int main (void) r6j
3A
{ `F(KM '
TestUnion pszobj("yuankai"); ^
b}_[B
TestUnion lobj(1234); qL3*H\9N
cout<(pszobj)< cout< jYuH
zf
return 0; &grT}
} H{9di\xnEm
Oi=kL{DG:s
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: VBsS1!g
O~ w&4F;{
class TestUnion &s\w:
9In
{ Lymy/9
enum StoreType{Long,Const_CharP}; Ga$+x++'*
union DataUnion //不能匿名 H}X3nl\]
{ k%JwS_F
DataUnion(const char*); //声明const char*构造函数 q]<cn2
DataUnion(long); //声明long构造函数 41,Mt
const char* ch_; \u2p] K>
long l_; $I+QyKO9k
} data_; vBKBMnSd
StoreType stype_; ZOfyy E
TestUnion(TestUnion&); nIKh<ws4z
TestUnion& operator=(const TestUnion&); ,%yjEO
public: EubF`w$KWX
TestUnion(const char* ch); :SziQQ
TestUnion(long l); LbvnV~S
operator const char*() const {return data_.ch_;} G'Jsk4:c
operator long() const {return data_.l_;} g/'MECB
}; hbzU?_}
a\aJw[d{
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ZB<goEg
{//注意data_(ch),这里直接引用data_ A2g+m
} KK}^E_v
i5q
VQo
TestUnion::TestUnion(long l):data_(l),stype_(Long) wjQu3 ,Cj
{//注意data_(l),这里直接引用data_ ojUBa/
} ;ukwKfs
9:IVSD&"Rf
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 9UZKL@KC
{ jL>IX`,+6
} 8(7DW
|\
+P81&CaY
TestUnion::DataUnion::DataUnion(long l):l_(l) E"nIC,VZ
{ `(.K|l}
} Y6&w0~?!
h /@G[5E
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!