前言 * ;<>@*
bT c'E#
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 _43 :1!os
3R ZD=`
一、在union中存储对象 7A46?kfu
i`" L?3T
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? yMBFw:/o
WkK.ON^
#pragma warning(disable : 4786) ZIvP?:=!
#include 6D1tRo
using namespace std; q?Av5TFf
'tun;Y
class TestUnion Ub<^;Du5
{ <!I^ xo[
public: dJUI.!hv;
TestUnion(long l):data_(l) ~VaO,8&+L
{ J7s\
}; c9axzg
UA
int data_; N1jJ(}{3
}; ,)P6fa/
Xsv^GmP+
typedef union _tagUtype_ =Ye I,KbA)
{ `#>JRQ=
TestUnion obj; aOTrng
}UT; $Qq5Fx9kU
9$e6?<`(Y
int main (void) ]6TX)1
{ J)a^3>
return 0; -
u'5xn7
} _33YgO
_chX
{_Hu-
(X}Q'm$n\h
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改:
#dm"!I>g
pPtw(5bH
class TestUnion +*P;Vb6 D
{ $sBje*;
public: yZ57uz
int data_; %<Kw
}; \A/??8cgXs
y/yg-\/XF
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! {B+{2;Zk
ICB'?yZ,
二、类中union的初始化
Xw{Qktn
%[7<GcWl
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: WbDD9ZS
c;1Xu1
#pragma warning(disable : 4786) )Qx&m}
#include X1;ljX
ZsepTtY
using namespace std; M>"J5yqR
8n Oent0a
class TestUnion {\zB'SNq
{ 9Z;"9$+M
enum StoreType{Long,Const_CharP}; M8iI e:{ c
union coFQu ;i
{ osW"b"_f
const char* ch_; $09PZBF,i
long l_; /J` ZO$
} data_; /\|AHM
StoreType stype_; e x`mu E
TestUnion(TestUnion&); ECEDNib
TestUnion& operator=(const TestUnion&); u[2B0a
public: QR]61v:`
TestUnion(const char* ch); @F%_{6h
TestUnion(long l); !BikqTM
operator const char*() const {return data_.ch_;} E<
Ini'od[
operator long() const {return data_.l_;} &Eqa y'
}; $7JWA9#N!
ums*EKjs97
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) d
,!sZ&v
{ t+`>zux5(T
} r>gU*bs(
]^
"BLbDZ@
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) NY!"?Zko
{ ,.T k"\@
} [n{c, U
F
*^b<CZd9
int main (void) ;fnE"}
{ lH8e?zJ
TestUnion pszobj("yuankai"); 8{iFxTz
TestUnion lobj(1234); [_SV$Jz
cout<(pszobj)< cout< wSP'pM{#2
return 0; 0?d}Oj
} _
BUD~'Q5
qD/X% `>Q
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: .B|a.-oA4
9#A&Qvyywg
class TestUnion 4x%R4tk
{ |37y ="
enum StoreType{Long,Const_CharP}; bTN0 n
union DataUnion //不能匿名 ?3)
IzzO
{ TB
DataUnion(const char*); //声明const char*构造函数 /WX
0}mWu
DataUnion(long); //声明long构造函数 D%NVqk|
const char* ch_; Ko|p&-Z;
long l_; #3m7`}c
} data_; 't:s6
StoreType stype_; -32?]LN}
TestUnion(TestUnion&); 3om4q2R
TestUnion& operator=(const TestUnion&); &!pG1Fp9
public: Jg\1(ix
TestUnion(const char* ch);
c!})%{U
TestUnion(long l); (fJ.o-LQ
operator const char*() const {return data_.ch_;} )@OKL0t
operator long() const {return data_.l_;} ]&l%L4Z
}; eED@Z/~6
6EeK5XLf,
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) :P1/kYg
{//注意data_(ch),这里直接引用data_ Sx^4Y\\
} Hg}@2n)/
PC3-X['[
TestUnion::TestUnion(long l):data_(l),stype_(Long) +zup+=0e
{//注意data_(l),这里直接引用data_ g9$P J:
} +S3r]D3v/
XdR^,;pWE
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) sF=8E8qa
{ $6 A91|ZSQ
} hz8Z)xjJ V
[)&(zJHX
TestUnion::DataUnion::DataUnion(long l):l_(l) N=X(G(
{ DKGZm<G>
} yF#:*Vz>
Q[M?LNE`
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!