前言 qk{UO
<
5v-;*
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 JM4`k8mM
)C0X]?
一、在union中存储对象 @<{#v.T
wI]>0geb*
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? hp%Pg &
lcJumV=%>
#pragma warning(disable : 4786) /
{bK*A!
#include Z8_gI[Zn
using namespace std; :1
P VW9iT+c
class TestUnion 0r&9AnnWu+
{ HbVV]y
public: nU#q@p)Xg
TestUnion(long l):data_(l) Qvg"5_26v
{ [5d][1=
}; 5'[X&r%#
int data_; u\;dUnr
}; ![C$H5
&l*dYzqq
typedef union _tagUtype_
gMMd=
{ a;6\T*iJ!
TestUnion obj; l\y*wr`
}UT; H ?:#Ui(p
8WQ%rN={8
int main (void) Hjkgy%N
{ u1Yp5jp^K
return 0; b-/x
} I,uu>-
c&W.slE6
7VBw@Rh
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 8-l Y6M\R\
51'SA
B09
class TestUnion q%&7J<
{ _cs9R%
public: \r9%;?f
int data_; >mltE$|
}; /Day5\Q#
{j@)sDMX
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ?b$zuJ]
oU5mrS.7M!
二、类中union的初始化 E cz"O
\+A<s,x
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: a[rUU'8
HwK "qq-
#pragma warning(disable : 4786) / kGX 6hh
#include *0zH5c
><7`$ 2Or
using namespace std; zSXC
~jTnjx
class TestUnion '$^ F.2
{ J>PV{N
enum StoreType{Long,Const_CharP}; >Tx;<G
union PFw"ICs
{ )5OU!c
const char* ch_; 1dO8[5uM7a
long l_; aH"c0A
} data_; ?d)|vX3Uf
StoreType stype_; ?{IvA:
TestUnion(TestUnion&); Z.(x|Q9
TestUnion& operator=(const TestUnion&); M.Ik%nN#K0
public: KYW1<Wcp
TestUnion(const char* ch); Q~{@3<yEI
TestUnion(long l); F'*&-l
operator const char*() const {return data_.ch_;} c!T{|'?
operator long() const {return data_.l_;} sn#h=,*4`
}; L,/i%-J3c
#|i{#~gxM
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) _4]dPk#^
{ l
d9#4D[#
} O~xmz!?=
#4u; `j"4=
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) i%
lB
U1
{ I\23as0q
} (RS:_]
ge8zh/`
int main (void) rXX|?9'
{ 1ouTZ'c?
TestUnion pszobj("yuankai"); %C:XzK-x
TestUnion lobj(1234); vsR ^aVwVZ
cout<(pszobj)< cout< LeCU"~
return 0; U:e9Vq'N m
} b2%[9)"I.
!:e
qPpz
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Qd?P[xm
'wt|buu-H
class TestUnion [9^e
u>)A
{ _F EF+I
enum StoreType{Long,Const_CharP}; uSjMqfK
union DataUnion //不能匿名 dp+Y?ufr
{ mY(
_-[W
DataUnion(const char*); //声明const char*构造函数 !W7ekPnK
DataUnion(long); //声明long构造函数
U8!njLC
const char* ch_; e>)5j1
long l_; eX@q'Zi
} data_; q4N$.hpb
StoreType stype_; 7 '/&mX>
TestUnion(TestUnion&); kv b-=
TestUnion& operator=(const TestUnion&); 0k 8SDRWU
public: $z]l4Hj
TestUnion(const char* ch); +pm8;&
TestUnion(long l); _C\b,D}p
operator const char*() const {return data_.ch_;} Of=z!|l2
operator long() const {return data_.l_;} .Ps;O
}; m+"%Jd{q
ja2]VbB
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) o*xEaD
{//注意data_(ch),这里直接引用data_ 3!L)7Z/
} 'c D"ZVm1
(~oPr+d
TestUnion::TestUnion(long l):data_(l),stype_(Long) -(G2@NG
{//注意data_(l),这里直接引用data_ !c7Od
)]
} D>Z_N?iR
0a'y\f:6*
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) MC@cT^Z^
{ O7sn>uO
} W|
p?KJk)
RT>3\qhZ
TestUnion::DataUnion::DataUnion(long l):l_(l) G#Ow>NJ
{ 0l6%[U?o
} ]Y?$[+Y
aRmS{X3
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!