前言 s-DtkO
s6
^JgdW
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 NdZ:
7
>9klh-f
一、在union中存储对象 v;A
aqN.5'2\
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 8L@di Y
aG ,uF
#pragma warning(disable : 4786) ,8
.`;
#include =sm(Z;"
using namespace std; &d2/F i+
g=%&p?1@E
class TestUnion Il642#Gh
{ %|I|Mc
public: ,yF)7fN
TestUnion(long l):data_(l) oMVwIdf
{ I5~DC
}; B?M+`;
int data_; #.@=xhK/
}; We ->d |=
Vh<`MS0X
typedef union _tagUtype_ $1v5*E
{ 2*M*<p=v
TestUnion obj; 9NT;^K^I
}UT; =
` ^jz}
(gZ!o_
int main (void) VtO+=mZV
{ *t_&im%E
return 0; y AWDk0bx
} 5c"kLq6r
H@zk8]_P
T)u w2
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: _(hwU>.
d}ZHY[
class TestUnion ff#-USK^R
{ ]Q3Gj@6
public: - -G1H
int data_; pV7Gh`<y
}; "YL-!P
"7HB3?2>W
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! @>Keu\)
_#C}hwOR>X
二、类中union的初始化 z+*Z<c5d
gNwXOd u
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: z'lNO| nU
L3AwL)I
#pragma warning(disable : 4786) k3 l
#include />C~a]}
9QMn%8=j
using namespace std; z (3"\ ^T
O[!o1.
class TestUnion #E9['Jn Z
{ %'e(3;YI
enum StoreType{Long,Const_CharP}; +&OqJAu
union spJ(1F{|V
{ c*dww
const char* ch_; N^+ww]f?
long l_; &>e DCs
} data_; 0?SLRz8
StoreType stype_; <^U(ya
TestUnion(TestUnion&); -`OR6jd
TestUnion& operator=(const TestUnion&); %z~U@Mka
public: `l2q G#
TestUnion(const char* ch); Db(_T8sU
TestUnion(long l); bZ.N7X PH
operator const char*() const {return data_.ch_;} "!tw
,Gp
operator long() const {return data_.l_;} K;[%S
}; VA'X!(Cv
|A0$XU{
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 6#M0AG
{ n=? 0g;1!
} yvCR = C
`mjx4Lb
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) AwUc{h l<
{ xGfDz*t
} H@E ")@92
YM`pNtQ
int main (void) ]<gCq/V #
{ ;9 ,mV(w
TestUnion pszobj("yuankai"); O[)]dD&'
TestUnion lobj(1234); ]"Y%M'
cout<(pszobj)< cout< uxyTu2L7
return 0; bz0P49%
} =5~F6to
+RV- VrV
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: mO)PJd2ZD
lhoq3A
class TestUnion x$GsDV
{ P5>5ps"iU
enum StoreType{Long,Const_CharP}; tIb21c q
union DataUnion //不能匿名 2l@"p!ar=
{ qzA]2'~Q
DataUnion(const char*); //声明const char*构造函数 C$LRY~\
DataUnion(long); //声明long构造函数 /%YiZ#
const char* ch_; D2</^]3Su
long l_; 030U7 VT1
} data_; ]}[Yf
StoreType stype_; wB>S\~i
TestUnion(TestUnion&); =+`j?1
TestUnion& operator=(const TestUnion&); *Z`XG_ s5
public: $54=gRo^
TestUnion(const char* ch); cZr G:\A
TestUnion(long l); QW~5+c9JJ
operator const char*() const {return data_.ch_;} Mf:M3H%YV+
operator long() const {return data_.l_;} Ji6`-~ k
}; B9e.-Xaf
AL]h|)6QpC
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) =r@gJw:B
{//注意data_(ch),这里直接引用data_ )ojx_3j8
} R+E_#lP_$
[.;%\>Qk<
TestUnion::TestUnion(long l):data_(l),stype_(Long) iog #
,
{//注意data_(l),这里直接引用data_ >H}jR[H'
} Jf?S9r5 Q
Wk`bb!P_
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) IAP/G5'Q
{ O:;OR'N9
} o)tKH@`vE
q*[!>\Z8
TestUnion::DataUnion::DataUnion(long l):l_(l) ;h9-}F
{ aGB0-;.t7
} LAv:+o(m/
N^h|h
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!