前言 ELG{xN=o
g
C8deC8
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 &a >UVs?=
),o=~,v:
一、在union中存储对象 5^qs>k[mN
S=L#8CID
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? BB/c5?V
o{2B^@+Vb
#pragma warning(disable : 4786) x
`%x f
#include ^}gZ+!kA
using namespace std; K)Ya%%6[U#
v!S(T];)
class TestUnion lS2`#l >
{ I_Gm2Dd
public: q|lP?-j
TestUnion(long l):data_(l) !t)uRJ
{ {)Zz4
}; g p9;I*!
int data_; +5GC?cW
}; -G1R><8[
(:+Wc^0
typedef union _tagUtype_ rJp9ut'FEz
{ 5P('SFq'=
TestUnion obj; NP.qh1{NP
}UT; 6!U~dt#a
E_z,%aD[
int main (void) L'a s^Od
{ je:J`4k$
return 0; |jWA >S
} &`"uKO]
DfOigLG*
:h0!giqoQ
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Qc
1mR\.5
JV;VR9-l
class TestUnion -S@ ys
{ >G0ihhVt
public: ]VN1Y)
int data_; Ox aS<vQ3
}; wxG*mOw
0KZsWlD:L
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! s BuXwa
z.t,qi$;{U
二、类中union的初始化 .p~.S&)
X-"0Zc
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: A~a7/N6s;
VM3)L>x]/
#pragma warning(disable : 4786) @a]`C
$6
#include "+&@iL
M7gqoJM'Q
using namespace std; m}m|(;T
{X\FS
class TestUnion %CrpUx
{ 61b<6r0o
enum StoreType{Long,Const_CharP}; ?I.bC
union 57N<OQWf
{ @<1T&X{Z!
const char* ch_; gi/W3q3c6
long l_; 5) 4?i p
} data_; 8?o{{ay
StoreType stype_; i,y{*xBT
TestUnion(TestUnion&); w (,x{Bg\
TestUnion& operator=(const TestUnion&); *ul-D42!U
public: ^X*l&R_=R
TestUnion(const char* ch); p!(]`N
TestUnion(long l); K!G/iz9SB
operator const char*() const {return data_.ch_;} Kku@!lv
operator long() const {return data_.l_;} xAf?E%_pi
}; %(1y
cn
;2&
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) _lOyT$DN
{ i:^
8zW
} I"jub
kI=Z
WODgG@w
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) VBu6,6
{ aFy'6c}
} ]@msjz'
ZN`I4Ak
int main (void) %B# 8
{ {<Vw55)#0Q
TestUnion pszobj("yuankai"); h`:gMhn
TestUnion lobj(1234); @%As>X<3t
cout<(pszobj)< cout< ,xC@@>f
return 0; `9VRT`e
} wIQt
f|ZI>
M0MvOO*ad
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: DB+.<
yu'@gg(
class TestUnion W'C~{}c=
{ ?CuwA-j
enum StoreType{Long,Const_CharP}; ~,84E [VV
union DataUnion //不能匿名 2MKB(;k
{ 9C1\?)"D^e
DataUnion(const char*); //声明const char*构造函数 ]*AQT7PH
DataUnion(long); //声明long构造函数 !2g*=oY
const char* ch_; -sk!XWW+
long l_; #Ic-?2Gn4<
} data_; ~w$ ^`e!]
StoreType stype_; U#n1N7P|$F
TestUnion(TestUnion&); ;[j)g,7{
TestUnion& operator=(const TestUnion&); 0a's[>-'A
public: &;%LTF@I,
TestUnion(const char* ch); Y X{F$BM
TestUnion(long l); =&?BPhJE
operator const char*() const {return data_.ch_;} zO)3MC7l*
operator long() const {return data_.l_;} *h"7!g
}; bX&=*L+h6
y$HV;%G{26
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) NB)22 %
{//注意data_(ch),这里直接引用data_ yUFT9bD
} (yhnv Z
MvlqxJ$
TestUnion::TestUnion(long l):data_(l),stype_(Long) `CEHl &w
{//注意data_(l),这里直接引用data_ $+[
v17lF
} 6t`cY
)ocr.wU@
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) UJQGwTA W
{ ;XGO@*V5T
} lyyRyFfQ
^9?IS<N0]
TestUnion::DataUnion::DataUnion(long l):l_(l) p#AQXIF0
{ A>J,Bi
} I(:d8SF
um1xSf1Xv
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!