前言 P'Q+GRpSw
<id}<H
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 .KdyJ6o
F`9]=T0
一、在union中存储对象 U!Ek'
H:"maS\I
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? =N 5z@;!
)Pv9_XKJ
#pragma warning(disable : 4786) 2h%z ("3/
#include @O[5M2|r
using namespace std;
YtO|D
H*9~yT'Q
class TestUnion r [K5w
{ MX+Z ?
public: |\n_OS7
TestUnion(long l):data_(l) w|Nz_3tI
{ IT$25ZF
}; \}]!)}G
int data_; 2<}NB?f`N
}; n9s iX
$ [yFsA6
typedef union _tagUtype_ j!3 Gz
{ Uo2GK3nT
TestUnion obj; ;`6^6p\p
}UT; |2KAo!PI
2YDM9`5xs\
int main (void) U)3DQ6T99
{ fNrgdfo
return 0; R i^[i}
} tr7<]Hm:
i E CrI3s
vv=VRhwF
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: `UBYp p
gJM`[x`T
class TestUnion ]Zmj4vK J
{ <mAhr
public: gynh#&r
int data_; Zv#Ll@v
}; !A%<#Gjt
rylzcN9RM$
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ciMzf$+G$
K#"O
a
h
二、类中union的初始化 &~W:xg(jN
zk( U8C+
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: l<N}!lG|
."FuwKSJCo
#pragma warning(disable : 4786) KIWe@e
#include %dY<=x#b
w}=5ElB
using namespace std; &iV,W4
o^
XtU5SVq
class TestUnion t]-5 ]oI
{ [p<w._b i
enum StoreType{Long,Const_CharP}; oJfr +3I
union F;]%V%F.X
{ Phke`3tth
const char* ch_; @*sWu_-Y%
long l_; s-v
} data_; &?(?vDFfZ
StoreType stype_; ]9@F~)
TestUnion(TestUnion&); N ,z6y5Lu
TestUnion& operator=(const TestUnion&); Dtj&W<NXo
public: G.UI|r/Kz
TestUnion(const char* ch); mrw=T.
TestUnion(long l); S9#)A->
operator const char*() const {return data_.ch_;} SCz318n
operator long() const {return data_.l_;} KRA/MQ^7~U
}; BT(CM,bp
G["c\Xux
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) w`5xrqt@
{ s)pbS}L
} ukUGvK
mWvl38
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) Q 7?#=N?
{ #{\%rWnCm
} /Sh#_\x
6AhM=C
int main (void) S;-
LIv
{ ' <=+;q
TestUnion pszobj("yuankai"); ?5{>;#0Z
TestUnion lobj(1234); :eCU/BC4
cout<(pszobj)< cout< *IM;tD+7Q~
return 0; gN"7be&J
} .p(T^ m2A*
J Px~VnE%%
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Cid
;z
GmP@;[H"
class TestUnion zO iu5
{ % oo2/aF
enum StoreType{Long,Const_CharP}; pJtex^{!:
union DataUnion //不能匿名 L'kmNVvYN
{ X93!bB
DataUnion(const char*); //声明const char*构造函数 \7'+h5a
DataUnion(long); //声明long构造函数 sL$:"=
const char* ch_; :\o {_
long l_; $\U4hHOo
} data_; c-0#w=
StoreType stype_; 55fC~J<
TestUnion(TestUnion&); %B.yW`,X
TestUnion& operator=(const TestUnion&); Sb82}$sO
public: K9up:.{QQ
TestUnion(const char* ch); #n8IZ3+
TestUnion(long l); $F5 b
operator const char*() const {return data_.ch_;} w}YlVete
operator long() const {return data_.l_;} Nb'''W-iu
}; H|HYo\@F#
av|g}xnj
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) q1KZ5G)6GJ
{//注意data_(ch),这里直接引用data_ \}|o1Xh2
} Sxh]R+Xb
|0f>aZ
TestUnion::TestUnion(long l):data_(l),stype_(Long) e-EUf
{//注意data_(l),这里直接引用data_ D1=((`v
'
} mUikA9u5=
Z'7
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) P`cq H(
{ WL"^>[Vq
} TtTj28k7
_y}
T/I9
TestUnion::DataUnion::DataUnion(long l):l_(l) bl&nhI)w
{ tu66'z
} wLnf@&jQ%
9eQxit7
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!