前言 `x%'jPP1^
Po%LE]v,
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。
nt*Hc1I
R2Zgx\VV'
一、在union中存储对象 MxT-1&XL
|$?bc3
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? F~h7{@\
.o) `m9/
#pragma warning(disable : 4786) ;>n,:355L
#include (=7Cs
using namespace std; 0lhVqy}:}o
R(q~ -3~
class TestUnion &=VDASEu
{ +$g}4
public: %CK^Si%+
TestUnion(long l):data_(l) ^fZ&QK
{ s"t$0cH9
}; >=[(^l
int data_; }Y;K~J
}; '7XIhN9
z`:lcF{V
typedef union _tagUtype_ (Jz1vEEV
{ |JQQU!x
TestUnion obj; 293M\5:
}UT; o!)3?
#O+),,WS
int main (void) )c `7( nY
{ C=eF.FB;'
return 0; yu;P +G
} ?Y@N`S
dq]0X?[6
r zt Ru
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ZIQ
[bE7
%}%Qc6.H
class TestUnion Z]B~{!W1
{ @nux9MX<9
public: v%q0OX>9X"
int data_; <yd{tD$A*
}; 3\XU_Xs(]
HSc~*Q
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 1fpQLaT
%44leINx
二、类中union的初始化 DAXX;4
e
J6$-r
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: =>_\fNy
'IwNTM
#pragma warning(disable : 4786) u
fw ]=h)
#include RS8Hf~0G
\SBc;
using namespace std; >k (C
N<XNTf
class TestUnion ~{jcH
{ U
H*r5o3
enum StoreType{Long,Const_CharP}; d~i+
I5
union ~vyf4TF<#
{ [5SD_dN
const char* ch_; |aVn&qK
long l_; R=QZgpR
} data_; hpD!2 K3>
StoreType stype_; 'h,VR=e<
TestUnion(TestUnion&); NA ~Vg8
TestUnion& operator=(const TestUnion&); "$YJX1u3
public: [D\k^h
TestUnion(const char* ch); =w{Z@S(ukz
TestUnion(long l); vkri+:S3
operator const char*() const {return data_.ch_;} lE4HM$p
operator long() const {return data_.l_;} _sTROd)Vh
}; )8$=C#qC[
'F9 jq
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) tM'P m
{ ,,q10iF
} 9-fLz?J
&7K?w~
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) cWe"%I
{ 7_inJ$
} v@
lM3_rbO
-#N.X_F
int main (void) VgZsB$Ori
{ pSdI/Vj'=
TestUnion pszobj("yuankai"); H _zo1AW
TestUnion lobj(1234); ddJe=PUb
cout<(pszobj)< cout< /7Cc#P6
return 0; K3#@SYj
} #ML%ij 1
]H+8rY%+
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: n<z[J=I
4\8+9b\9"
class TestUnion 1cpiHZa
{ jK& h~)
enum StoreType{Long,Const_CharP}; 5>D>% iaHv
union DataUnion //不能匿名 Q7jb'y$ozO
{ sN9&,&W1
DataUnion(const char*); //声明const char*构造函数 BHU6t<G
DataUnion(long); //声明long构造函数 KUlp"{a`,K
const char* ch_; Ac2n
long l_; {Tq_7,8
} data_; LnH ?dy
StoreType stype_; CYY=R'1:G{
TestUnion(TestUnion&); '!!CeDy
TestUnion& operator=(const TestUnion&); !
|<Fo'U
public: pZqq]mHK
TestUnion(const char* ch); #P0&ewy
TestUnion(long l); Whm,F^
operator const char*() const {return data_.ch_;} ) l:[^$=,
operator long() const {return data_.l_;} iJ1"at
}; 3TeY%5iVt
O;:mCt _H
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) (MxQ+D\
{//注意data_(ch),这里直接引用data_ MOQ*]fV:
} v$?+MNks
|
*2w5iR
TestUnion::TestUnion(long l):data_(l),stype_(Long) "n(hfz0y%
{//注意data_(l),这里直接引用data_ $P/~rZ@M@
} Vc\MV0lr
rWa2pO
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) W$hx,VEy`
{ &=] ~0$
} Yg%I?
v&DI`xn~
TestUnion::DataUnion::DataUnion(long l):l_(l) ]hk
{ tE<H|_{L
} K*K,}W&}
`T@i. 'X
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!