前言 M.Tp)ig\#
9mv0} I
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 +%KkzdS'
Lp@Al#X55
一、在union中存储对象 5WxNH}{
(a-Lx2 T
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? qp#Euq6
V51kX{S
#pragma warning(disable : 4786) u;1[_~
#include _1Ne+"V
using namespace std; f?GoBh<
$v e$Sq
class TestUnion i[FYR;C
{ tSoF!@6
public: KydAFxUb
TestUnion(long l):data_(l) \T<F#a
{ i;]# @n|
}; !Icznou\
int data_; (Pw,3CbJ
}; jTV4iX
J.U%W}Hx
typedef union _tagUtype_ @icw:68
{ cq
gCcO,
TestUnion obj; 4^nHq 4_
}UT; (e!Yu#-
SAf)#HXa
int main (void) T\6,@7
{ .'38^
return 0; n<> ^cD
} WJa7
}2m>S6""A
%Ny1H/@Q1+
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: H_x}-
V:P]Ved
class TestUnion |S@
{ #8M^;4N>[
public: }|[0FP]v
int data_; hy%5LV<(
}; Vjo[rUW
:7obxW1X
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! =ONM#DxH
*mWl=J;u
二、类中union的初始化 gN[t
J]S30&?
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: S*J\YcqSC
S>*i\OnI'
#pragma warning(disable : 4786) ycOnPTh
#include #<sK3 PT
!T
,=kh
using namespace std; @.}Y'`9L
`Je1$)%
class TestUnion QOrMz`OA
{ $""kZ
enum StoreType{Long,Const_CharP}; /iQh'rp
union J>;r(j
{ <6,,:=#
const char* ch_; h>cjRH?e
long l_; gYk5}E-
} data_; ;YMg4Cs
StoreType stype_; 3$5E1*ed
TestUnion(TestUnion&); /Lm~GmPt
TestUnion& operator=(const TestUnion&); u#^l9/tl
public: iPWr-
TestUnion(const char* ch); w{*V8S3h9
TestUnion(long l); @o'L! 5Y
operator const char*() const {return data_.ch_;} 9h)8Mq+M
operator long() const {return data_.l_;} :~srl)|)
}; 3ZyvX]@_
v+79#qWK|n
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) c9CFGo?)N
{ .;ofRx<
} jJt4{c
CH|cK8q
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 5M5vxJ)Lh
{ |/%5~=%7
} fB,eeT1v?h
$ywROa]
int main (void) 9b,0_IMHH
{ 8tna<Hx
TestUnion pszobj("yuankai"); /7p(%vr
TestUnion lobj(1234); 41+WIa
L
cout<(pszobj)< cout< l`:u5\ rM
return 0; 1ZYo-a;)
} Ej6ho 0_
S+wT}_BQ
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Yl"CIgt
shy[>\w
class TestUnion U@n5:d=
{ z\8s |!
enum StoreType{Long,Const_CharP}; 8JF<SQ
union DataUnion //不能匿名 >BK/HuS
{ kw gLK@@%1
DataUnion(const char*); //声明const char*构造函数 `VUJW]wGu
DataUnion(long); //声明long构造函数 2 @T~VRy
const char* ch_; #G`K<%{?f
long l_; 5VQ-D`kE+
} data_; H8dS]N~[Y
StoreType stype_; :i0;jWcb
TestUnion(TestUnion&); 3^fwDt}
TestUnion& operator=(const TestUnion&); L+
XAbL)
public: AL,7rYZG$
TestUnion(const char* ch); &HAu;u@
TestUnion(long l); d8+@K&z|
operator const char*() const {return data_.ch_;} dKU:\y
operator long() const {return data_.l_;} .8%b;b
}; "X;5*
4+
[uHC
AP
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 9rT^rTV
{//注意data_(ch),这里直接引用data_ -{9mctt/gE
} `^'fS@VA
*jPd=+d
TestUnion::TestUnion(long l):data_(l),stype_(Long) wQd8/&mmk
{//注意data_(l),这里直接引用data_ )s,tBU+N
} ST?Rl@4
2cIKph
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ONDO
xXs
{ G%>[7 ]H
} =mPe
wx'
nTwJR
TestUnion::DataUnion::DataUnion(long l):l_(l) p8@&(+z
{ J` gG`?
} V rx,'/IS8
(y&sUc9
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!