前言 {V
QGfN
OA3J(4!"W
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ]E<Z5G1HD
H
u;"TG
一、在union中存储对象 5;0w({1l
BeVDTk:
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? JK =A=
'37
{$VHw
#pragma warning(disable : 4786) e`qrafa
#include V)<>W_g
using namespace std; B&a{,.m&q6
uxU-N
class TestUnion R|\eBnfI
{ jDY
B*Y^F
public: CwX?%$S
TestUnion(long l):data_(l) |})s 0TU
{ R
xITMt
}; 1z6aMd6.
int data_; A{zqr^/h
}; -pYmM d,
jy!]MAP#Gk
typedef union _tagUtype_ _C/|<Ot:
{ kBR=a%kG
TestUnion obj; IEy$2f>Ns
}UT; 2O=$[b3
SF:98#pg
int main (void) }) -V,\
{ ZwMVFC-d
return 0; crIF5^3Yby
} hH1Q:}a
Ep;uz5 ^8
x *I'Ar
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ]2@(^x'=
d%P2V>P
class TestUnion ,/+Mp
{ aze#Cn,P}
public: yQrgOdo,w
int data_; e` 4mrBtz|
}; bPOPoq1#
Wa^Wn +r
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! *U1*/Q.
w PR Ns9^
二、类中union的初始化 H2jypVs$2
_;PQt" ]
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: oT{9P?K8
1!1JT;gG^9
#pragma warning(disable : 4786) lu{
*]!
#include V4Rs
,9ueHE
using namespace std; @:zC!dR)G
^`yhN
class TestUnion 3 ~P$p<
{ %DiQTg7V,
enum StoreType{Long,Const_CharP}; QwhO/
union 4xW~@meNB
{ pA .orx
const char* ch_; uY~mi9E
long l_; _ooHB>sH
} data_; ]&]G
StoreType stype_; DLbP$&o
TestUnion(TestUnion&); J8~hIy6]
TestUnion& operator=(const TestUnion&); J0IKI,X.
public: PJB_"?NTTC
TestUnion(const char* ch); z!6_u@^-
TestUnion(long l); <o()14
operator const char*() const {return data_.ch_;} w]MI3_|'r(
operator long() const {return data_.l_;} h:pgN,W}
}; :/(G#ZaV
-J63'bb7oi
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) mfZbo#KS#v
{ s&ox%L4
} i%133in
k`>qb8,
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) RbUir185Y
{ c= 2E/x?
} wrJQkven-
eM$a~4!d
int main (void) &H# l*
{ ]Qe~|9I
TestUnion pszobj("yuankai"); a)2l9
TestUnion lobj(1234); EUw4$Jt^p
cout<(pszobj)< cout< @GAj%MK$
return 0; 53uptQ{
} <6]Hj2
bzpi7LKN
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 6p;Pf9
f
7V=deYt_p
class TestUnion qX5]\nX&G
{ # d"M(nt
enum StoreType{Long,Const_CharP}; L`M{bRl+1
union DataUnion //不能匿名 <*iFVjSI(
{
}kAE
DataUnion(const char*); //声明const char*构造函数 k7:ISjJ
DataUnion(long); //声明long构造函数 <EyJ $$
const char* ch_; !pe[H*Cy
long l_; Y]R=z*i%
} data_; b^i$2$9_
StoreType stype_; J8FzQ2
TestUnion(TestUnion&); 5D3&E_S
TestUnion& operator=(const TestUnion&); 6R m d t
public: *W2] Kxx*
TestUnion(const char* ch); aU +uPP
TestUnion(long l); D3 +|Os)
operator const char*() const {return data_.ch_;} 6/QWzw.0c
operator long() const {return data_.l_;} $hJ 4=F
}; i{:?Iw 'ay
+Rd\*b
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) :;#^gvH
{//注意data_(ch),这里直接引用data_ ,EH-Sf2Cb
} !b K;/)
o}36bi{
TestUnion::TestUnion(long l):data_(l),stype_(Long) QncjSaEE
{//注意data_(l),这里直接引用data_ +7"UF)
~k
} LfnQcI$kO
'#K~hep
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) VKXB)-'L
{ fm%4ab30T
} T?n [1%K
?fU{?nI}>p
TestUnion::DataUnion::DataUnion(long l):l_(l) |Qpo[E}a
{ 2#`d:@r
} 6(Cjak+~!
Exi#@-
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!