前言 AW'$5NF>
?X Rl\V
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 9v1 Snr
R+2~%|{d
一、在union中存储对象 ],{M``]q
24sQon
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? WXG0Z
s<oT,SPt
#pragma warning(disable : 4786) PS0/Ok
#include cH5RpeP
using namespace std; 221}xhn5
Htfq?\ FD
class TestUnion P76gJ@#m
{ <sX_hIA^Fx
public: [Fv_~F491
TestUnion(long l):data_(l) deJ/3\t
{ I:0dz:T7*
}; q\<NW%KtX
int data_; [ua[A;K
}; $ab{GxmX'4
SwaMpNXL
typedef union _tagUtype_ phB d+zQc
{ JSx[V<7m
TestUnion obj; 7PwH&rI
}UT; Ocz21gl-?`
D[6wMep^n
int main (void) *1T~ruNqa
{ V;Q@'<w
return 0; @jq H8
} fAfB.|cd
Z-yoJZi
5kA D vi.
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: >U?#'e{qW
!)}D_9{
class TestUnion 4G hg~0
{ L">m2/ HG
public: er2;1TW3E
int data_; EfkBo5@ Qi
}; P@x@5uC2
K)}Vr8,V
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! =h|7bYLy
)\kNufP
二、类中union的初始化 Z_7TD)
Fq`@sM$
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: %NfH`%`
02)Ybp6y
#pragma warning(disable : 4786) /iJsa&W}
#include 2sVDv@2
OL^DuoB4q
using namespace std; c8HETs1
ywB0
D`s'
class TestUnion h 0)oQrY
{ _Y$v=!fY&
enum StoreType{Long,Const_CharP}; <p +7,aE_
union RWoVN$i>
{ EW3--33s
const char* ch_; 8#4Gs Q"
long l_; um\A
} data_; L`fT;2
StoreType stype_; v&7x ~!O
TestUnion(TestUnion&); \&U"7gSL
TestUnion& operator=(const TestUnion&);
bjN"H`Q
public: 8ZJ6~~h
TestUnion(const char* ch); Z=<D`
TestUnion(long l); K6@ %@v
operator const char*() const {return data_.ch_;} +ZV?yR2yn
operator long() const {return data_.l_;} wo$ F_!3u
}; 2z1r|?l
Ik@MIxLK
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) R;uP^
{ 6Q&i=!fQ
} zy~*~;6tW
^K
9jJS9K
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) iR8;^C.aT
{ Vg
mYm~y'
} t+j dV
3M'Y'Szm
int main (void) ej&o,gX
{ o =F!&]+
TestUnion pszobj("yuankai"); ,S~A]uH'
TestUnion lobj(1234); A5O; C
cout<(pszobj)< cout< jO`L:D/C
return 0; fSGaUBiq}
} a)6?:nY$
}VVtv1
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: faZc18M^1
?}jjBJ&
class TestUnion 6'e 'UD
{ B74]hgK
enum StoreType{Long,Const_CharP}; `qZ@eGZ
z
union DataUnion //不能匿名 Rn{X+b.
{ Bu{%mm(
DataUnion(const char*); //声明const char*构造函数 RhE|0N=
DataUnion(long); //声明long构造函数 v{8r46Y~Z)
const char* ch_; /)rv Ndn
long l_; a`Q-5*\;z
} data_; 9Z3Vf[n5\
StoreType stype_; eO{2rV45O
TestUnion(TestUnion&); ;)sC{ "Jb
TestUnion& operator=(const TestUnion&); pwF])uf*{\
public: zCu+Oi6
TestUnion(const char* ch); eEeK ]8@
TestUnion(long l); 6U]r 3
Rr
operator const char*() const {return data_.ch_;} -NDB.~E^DJ
operator long() const {return data_.l_;} %*Yb
J_j7
}; Ev48|X6
+Lo,*
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 0f;|0siTAm
{//注意data_(ch),这里直接引用data_ u0$}VO5/a
} lvUWs
ESe$6)P
TestUnion::TestUnion(long l):data_(l),stype_(Long) RVpo,;:
{//注意data_(l),这里直接引用data_ a!PN`N28
} } OkK@8?0O
)1O|+m k
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 8{Vt8>4
{ 9v7}[`^
} =CaSd|
B;Co`o2
TestUnion::DataUnion::DataUnion(long l):l_(l) 7}tXF
{ \x"BgLSE
} <V#]3$(S
K{ FBrh
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!