前言 %ab79RS]C
5dk,!Cjg
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 e{,/
mI%/k7:sf
一、在union中存储对象 EUkNh>U?
p3o?_ !Z
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? _u>>+6,p
:6+~"7T
#pragma warning(disable : 4786) u"jnEKN0y
#include LayU)TIt
using namespace std; 8g NEL+
nmGHJb,$
class TestUnion a5M>1&j/eC
{ <GN?J.B
public: De_</1Au!2
TestUnion(long l):data_(l) as4NvZ@+r
{ F?kVW[h?q
}; @El<"\
int data_; *@nUas2"
}; ?s]`G'=>V`
JPG!cX%
typedef union _tagUtype_ 4/?Zp4g
{ fna>>
TestUnion obj; gOM`I+CwT
}UT; pS;dvZ
D.b<I79bX
int main (void) 0 y%R
{ MVdx5,t
return 0; :N}KScS|Wa
} eZi<C}z
(&,R1dLo
.)w0C%]
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: `uHpj`EU
G
m! ]
class TestUnion F948%?a
{ {@AcL:Eit
public: o=QF>\\
int data_; *lAdS]I
}; <*(R+to^d
@`D6F;R
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! s_!Z+D$K
~x:]ch|
二、类中union的初始化 -;$/<
=1\wZuK#
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: .<%M8rcj
ud D[hPJd
#pragma warning(disable : 4786) 59J9V3na
#include UAZ&*{MM^
hJsC
\ C,^
using namespace std; 4
G[hU4L
Yur)_m
class TestUnion @/L. BfTz
{ |$2N$6\SP
enum StoreType{Long,Const_CharP}; sEyl\GL
union S45>f(!
{ 5i#w:O\cz
const char* ch_; ^^l"brPa
long l_; 9G+rxyWMW
} data_; D:tZiS=0
StoreType stype_; ycD.:w p\'
TestUnion(TestUnion&); 'Y\"^'OU\
TestUnion& operator=(const TestUnion&); W2qQKv
public: 5Suc#0y
TestUnion(const char* ch); ot#kU 8f
TestUnion(long l); 79g>7<vp
operator const char*() const {return data_.ch_;} 0f/!|c
operator long() const {return data_.l_;} ,
% jTXb
}; oH0F9*+W
3G|fo4g
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) Y26l,XIV
{ `0|&T;7
} L$Ar]O)
J6D$ i+
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) -U[`pUY?f
{
Fjt,
} $ n[7
:-" jKw
int main (void) "IJMvTmj
{ MWh+h7k'
TestUnion pszobj("yuankai"); qXhf?x
TestUnion lobj(1234); _C=[bI@
cout<(pszobj)< cout< >0#q!H,X
return 0; Z3>3&|&
} _)2TLA
n3
>Eg .c
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: hpV
/F
}A/&]1GWk
class TestUnion 6F/
OlK<
{ jYID44$
enum StoreType{Long,Const_CharP}; yc=#Jn?S
union DataUnion //不能匿名 q<[ke
{ }IkEyJsk
DataUnion(const char*); //声明const char*构造函数 h_GBx|c
DataUnion(long); //声明long构造函数 W;]UP$5l
const char* ch_; ./ y[<e
long l_; -01 1U!
} data_; KVpAV$|e
StoreType stype_; @aN=U=
TestUnion(TestUnion&); +{i"G,3
TestUnion& operator=(const TestUnion&); PFgjWp"Y
public: l'".}6S
TestUnion(const char* ch); 42wC."A
TestUnion(long l); lv_%
operator const char*() const {return data_.ch_;} qZ_fQ@
operator long() const {return data_.l_;} `+BaDns
}; [3sxzU!t~
TxxB0
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) nk$V{(FJ
{//注意data_(ch),这里直接引用data_ o+Ti$`2<O7
} ur,"K'w
bTy)0ta>AF
TestUnion::TestUnion(long l):data_(l),stype_(Long) <;0N@
{//注意data_(l),这里直接引用data_ ';|>`<
} {^5<{j3e
)k] !u
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) V3~a!k
{ 8421-c6y>
} jI2gi1,a
bW.zxQ:
TestUnion::DataUnion::DataUnion(long l):l_(l) *
r4/|.l
{ (VPM>ndkw
} K(KP3Q
5J\|gZQF
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!