前言 mvu$
%\B@!4]
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 `Y,<[ Lnr
6&KcO:}-
一、在union中存储对象 ^WUG\@B
e"cvo(}g
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? d`3>@*NR<
$Dm|ol.Z
#pragma warning(disable : 4786) A>C8whx
#include RA*W Ys&xb
using namespace std; ;3&HZq6Z (
o)+Uyl
class TestUnion 'wjL7PI
{ 5@^['S4%8*
public: Xcb'qU!2-^
TestUnion(long l):data_(l) !"SuE)WM
{ *n_7~ZX
}; SquuK1P=
int data_; <KrfM
}; 1q/Q@O
<|;)iT1VeT
typedef union _tagUtype_
%Krf,H
{ MNocXK
TestUnion obj; tr<0NV62>
}UT; N4u-tlA
h 6juX'V
int main (void) ;oWak`]f
{ ^v&)z,
return 0; B qcFbY
} Rv|X\Wm
[4b_`L
~ekV*,R"
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: eVRjU
Jj7he(!_1
class TestUnion PDhoCAh
!
{ I*0TI@Lo
public: kz^?!l)X0
int data_; 6XI$ o,{
}; oT*qMLdn
[Mp8"
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! c52S2f7
:tT6V(-W
二、类中union的初始化 gUrXaD#
a[7Lqu
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: lO=~&_
6MmkEU z
#pragma warning(disable : 4786) 5^Ps(8VbS
#include &5Huv?^a'
t{Z:N']H
using namespace std; en-HX3'
gJ?Vk<hp
class TestUnion M"E7=J
{ F~x>\?iN
enum StoreType{Long,Const_CharP}; c3C<P
union MXrh[QCU)
{ W*9*^
const char* ch_; >=d%t6%(
long l_; AZfW
} data_; M{ O8iq[
StoreType stype_; xnPi'?A]
TestUnion(TestUnion&); W6jdS;3
TestUnion& operator=(const TestUnion&); -P We
public: ,m1F<Pdts
TestUnion(const char* ch); M6H#Y2!ZbC
TestUnion(long l); ,L$,d
operator const char*() const {return data_.ch_;} Y(6 p&I
operator long() const {return data_.l_;} 9_lWB6
}; QN^AihsPi
V2IurDE
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) p>= b|Qy|
{ -HUlB|Q8r
} zA*I=3E(
v_I)eac z
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) /s "Lsbe
{ S(Q=2Y
} d< b ,].
*/y (~O6
int main (void) .a7!*I#g
{ j S<."a/n
TestUnion pszobj("yuankai"); E@7);i5K
TestUnion lobj(1234); x#}{z1op9
cout<(pszobj)< cout< g @qrVQv
return 0; h4tAaPcS+
} LuvRxmQ`
';3#t(J;
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: !b8.XGo
Q[MWzsx
class TestUnion h9I vuv'
{ v6KRE3:V
enum StoreType{Long,Const_CharP}; L<0eIw
union DataUnion //不能匿名 s|IC;C|
{ Ms14]M[\
DataUnion(const char*); //声明const char*构造函数 `,$PRN"]
DataUnion(long); //声明long构造函数 WFG`-8_e[I
const char* ch_; dQJ)0!B
long l_; `!@d$*:'
} data_; i^hEL2S/A
StoreType stype_; i2X%xYv ^
TestUnion(TestUnion&); UQ}#=[)2e
TestUnion& operator=(const TestUnion&); 9_xJT^10
public: h Nx#x
TestUnion(const char* ch); 1s6L]&B
TestUnion(long l); XxLauJP
K
operator const char*() const {return data_.ch_;} uO5y{O2W
operator long() const {return data_.l_;} ;-6
}; f8S! FGiNc
`XrF ,
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) oyq9XW~ D
{//注意data_(ch),这里直接引用data_ -d_7 q
} oe,yCdPs
Xhp={p;
TestUnion::TestUnion(long l):data_(l),stype_(Long) ^~7ouA
{//注意data_(l),这里直接引用data_ lky5%H
} ]4eIhj?
\`Ow)t:
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) T':} p2}w+
{ PIM4c
} jP}Ix8vc=
DE!c+s_g4
TestUnion::DataUnion::DataUnion(long l):l_(l) R?iC"s!
{ T.pc3+B8N
} THY=8&x)
Y>Fh<"A|$
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!