前言 vvi[+$M
Nn/f*GDvK
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 7u=R5
fO UW{s
一、在union中存储对象 -qJ%31Mr#
TXWYQ~]3w
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? mVs<XnA47
&i5MRw_]]
#pragma warning(disable : 4786) sw\O\%^
#include u3k{s
using namespace std; W"meH~[Cp
G~+BO'U9'G
class TestUnion xwJ.cy
{ `;c{E%qeq
public: H6oU Ne
TestUnion(long l):data_(l) 0K<|>I
{ Cu $mb}@
}; 6Trtulm
int data_; !H^e$BA
}; T?4I\SG
F,.dC&B
typedef union _tagUtype_ w=Yc(Y:h
{ CG0jZB#u
TestUnion obj; `zP{E T_Y
}UT; 9 *+X^q'
w9aLTLv-
int main (void) B)`@E4i
{ N?3BzI%?
return 0; +EOd9.X\~
} RG8Ek"D@
'
X9D( ?O
$&ZN%o3
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: x-@}x@n&[
hMNC]
class TestUnion JBK(Nk
{ i.5?b/l0
public: 8q/3}AnI
int data_; S)\Yc=~h
}; (/[wM>q:r
AdL>?SG%
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! T!YfCw.HZ
0_f6Qrcj
二、类中union的初始化 DQ`\HY
c?t,,\o(}
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: A>Y#-e;<d
Z[GeU>?P
#pragma warning(disable : 4786) 5<77o|
#include KM9)
$gPR3*0
using namespace std; 9NEL[J|
40m>~I^q}
class TestUnion -RBH5+SS2
{ A>B_~=
enum StoreType{Long,Const_CharP}; \1f&D!F]b
union mGC! 7^_D`
{ OaF[t*]D3
const char* ch_; s;Sv@=\
long l_; EHlkt,h*
} data_; !g2~|G
StoreType stype_; LQ{z}Ay
TestUnion(TestUnion&); qgkC)
TestUnion& operator=(const TestUnion&); g+pj1ycw/
public: ,b'QL6>`
TestUnion(const char* ch); ^77X?nDz=h
TestUnion(long l); %|o2d&i
operator const char*() const {return data_.ch_;} ud$*/ )/
operator long() const {return data_.l_;} LEJn
1
}; @E
!`:/k
Hq!|(
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) S7kZpD$
{ 4iC=+YUn
} kNC]q,ljt5
bPMkBm
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ( SiwO.TZ
{ bKac?y~S_
} LQDU8[-
S&z8-D=8k
int main (void) bo_Tp~j
{ sA:k8aj
TestUnion pszobj("yuankai"); nS9 kwaO
TestUnion lobj(1234); .?dYY;P
cout<(pszobj)< cout< vcz?;lg
return 0; 0UN65JBuD
} ]s>y se
K0-AP
$
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 8I)}c1j`v
i7|sVz=
class TestUnion 8=DZ;]XD.
{ `CqF&b
enum StoreType{Long,Const_CharP}; (>M@Ukam:
union DataUnion //不能匿名 CZ|h` ";P2
{ bU{lV<R,
DataUnion(const char*); //声明const char*构造函数 `S:LuU8e
DataUnion(long); //声明long构造函数 th]pqhl>
const char* ch_; 4H@K?b`
long l_; !+{$dB>a
} data_; hNUkaP
StoreType stype_; 0oNy
TestUnion(TestUnion&); h$_5)d~
TestUnion& operator=(const TestUnion&); dA[S@ysvG
public: ]`T*}$|
TestUnion(const char* ch); 5o2vj8::
TestUnion(long l); ?D9>N'yH8
operator const char*() const {return data_.ch_;} i$"M'BG
operator long() const {return data_.l_;} 353*D%8
}; WX}pBmU
vf/|b6'y
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) "iPX>{'En
{//注意data_(ch),这里直接引用data_ r~Vb*~U"
} bX'.hHR
6[S-%|f
TestUnion::TestUnion(long l):data_(l),stype_(Long) |L%d^m
{//注意data_(l),这里直接引用data_ M 0Vs9K=
} Ns5'K^
SE0&CV4
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ]v|n'D-?
{ V4tObZP3Ff
} AB[#
K/IG6s;Xj
TestUnion::DataUnion::DataUnion(long l):l_(l)
zPW_
{ i+4!nf{K
} p8|u 0/;k
g;._Q
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!