前言 ;%82Z4
3S5QqAm
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 E{Q^ZSV3B
q{_buTARq
一、在union中存储对象 ?)PcYrV
a,tP.Xsl
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? d~_OWCg`
tIvtiN6[|l
#pragma warning(disable : 4786) ?NwFpSB2
#include HxM-VK '
using namespace std; ! 9N%=6\
>ab=LDoM
class TestUnion 1IsR}uLh
{ jf2E{48P
public: {l1;&y?
TestUnion(long l):data_(l) ,#m\W8j
{ }ps6}_FE
}; CRf^6k_;(
int data_; G
dooy~cn
}; EagI)W!s[
3whyIXs
typedef union _tagUtype_ d8K^`k+x
{ ~>EVI=?
TestUnion obj; SVHtv0Nx
}UT; &S{F"z
X3>(K1
int main (void) {p/m+m
{ doa$
;=wg
return 0; Yk5kC0B
} mU_O64
Tv KX8 m"
Owr`ip\
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: $ S49v
Z~R i%XG
class TestUnion -_}EQ9Q
{ cZ(XY}
public: a"zoDD/
int data_; ZAP+jX;
}; ?b0\[
;Cy@TzO/|
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! wVVe L$28
G1l(
二、类中union的初始化 hG67%T'}A
:s5g6TR
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ?-f>zx8O
We ->d |=
#pragma warning(disable : 4786) PX'LN
#include zaZnL7ZJX
g DhwJks
using namespace std; r~TT c)2
jmFN*VIL
class TestUnion !2Orklzd1
{ jz)H?UuDY
enum StoreType{Long,Const_CharP}; 0D'Wr(U(
union Q@8[q l1l
{ ~g{,W
const char* ch_; qj1z>,\
long l_; w# e'K-=
} data_; cC4T3]4l'
StoreType stype_; @K9T )p]
TestUnion(TestUnion&); ff#-USK^R
TestUnion& operator=(const TestUnion&); ]Q3Gj@6
public: gy{a+Wbc*
TestUnion(const char* ch); x3Ud0[(
TestUnion(long l); E(@;p%:
operator const char*() const {return data_.ch_;} a3;.{6el)H
operator long() const {return data_.l_;} qo@dFKy
}; x}{VHp`|ld
ng*%1;P
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) <IVz mzpL
{ |=LkV"_v
} %\l,X{X
K +~v<F
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) F(<8:`N;G
{ i7rq;t<
} ^aXBt
Bt,Xe~$z-
int main (void) vrzX%'
{ to3J@:V8e
TestUnion pszobj("yuankai"); %'e(3;YI
TestUnion lobj(1234); Q7|13^|C
cout<(pszobj)< cout< yjd'{B9{
return 0; LzRiiP^q
} vi8~j
~8*oGG~s
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 0?SLRz8
pr txE&-
class TestUnion <+gl"lG
{ 2~V Im#
enum StoreType{Long,Const_CharP}; KeB4Pae|V
union DataUnion //不能匿名 ]%|WE
{ |lxy< C4V
DataUnion(const char*); //声明const char*构造函数 7X(]r1-+\
DataUnion(long); //声明long构造函数 au|^V^m
const char* ch_; (:QQ7xc{}
long l_; C8E C?fSQ
} data_; M"^Vf{X^
StoreType stype_; T3./V0]\I
TestUnion(TestUnion&); pm]DxJ@
TestUnion& operator=(const TestUnion&); fm%RNAPvc
public: "<x~{BN?
TestUnion(const char* ch); -j_I_
TestUnion(long l); </gp3WQ.
operator const char*() const {return data_.ch_;} rxj@NwAno
operator long() const {return data_.l_;} =nx:GT3&[
}; zN+*R;Ds
pP* ~ =?
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) l(#ke
{//注意data_(ch),这里直接引用data_ Hpi%9SAM
} `n`"g<K)Q
'd#\7J>d
TestUnion::TestUnion(long l):data_(l),stype_(Long) _/}Hqh
{//注意data_(l),这里直接引用data_ &
8'(
} 1@^Ek8C
7B]:3M6 d
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) G4Kmt98I
{ D2</^]3Su
} +Y)#yGUn
i*CQor6|z
TestUnion::DataUnion::DataUnion(long l):l_(l) Tz[?gF.Do
{ kAN;S<jSE
} eR-=<0Iw;
wD],{ y
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!