前言 &Iy5@8
FhUi{`
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 xS_;p9{E
%pq.fZI
一、在union中存储对象 gNP1UH4m
w;ZT-Fti
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? hQx*#:ns
QD!NV*
#pragma warning(disable : 4786) B,%6sa~I
#include >&;J/ME
using namespace std; 36OQHv;&
id9QfJ9t
class TestUnion ")MHP~ ?
{ *B!Ox}CI.L
public: W8^A{l4
TestUnion(long l):data_(l) 9*s8%pL
{ Cydo~/
}; >gzM-d
int data_; #3
E"Ame
}; {2:baoG-
g^A^@~M
typedef union _tagUtype_ c\o_U9=n
{ 3LfF{ED@
TestUnion obj; DDkN3\w
}UT; uxL+oP0
,H6P%
int main (void) GEy7Vb)
{ wT!?.Y)aj
return 0; ZVH 9je
} %TN$
i/_rz.c~3
IIY_Q9in
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: m33&obSP
|GQq:MB;z
class TestUnion =Ks&m4
{ $=\=80u/
public: bX38=.up
int data_; -x6_HibbD
}; >(H:eRKq
'Y2$9qy-L
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! UUWRC1EtI
2&S^\kf
二、类中union的初始化 N:3=G`Ws
o0No"8DnjH
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: XixjdBFP
-n"f>c_{>
#pragma warning(disable : 4786) oO[eer_S-
#include 8t=H
66>X$nx(z
using namespace std; 2* `kkS
g~21|Sa$[
class TestUnion >yn?@ve@
{ OcF_x/#
enum StoreType{Long,Const_CharP}; 1 M!4hM
Q
union Y_]y :H
{ ~ a2A"#f
const char* ch_; z<t2yh(DF
long l_; ).,twf58
} data_; lv]U)p
StoreType stype_; R $<{"b
TestUnion(TestUnion&); AiR#:r
TestUnion& operator=(const TestUnion&); zhow\l2t}
public: tpzWi
W/
TestUnion(const char* ch); u=@zYA(
TestUnion(long l); x!S}Y"
operator const char*() const {return data_.ch_;} &'e+`\
operator long() const {return data_.l_;} R7:u 8-dU1
}; =\8 x
?-&k?I
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) )ty>{t
{ G$*=9`
} 8}[<3K%*g
8yI4=P"F,
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ~^Al#@
{ ,^
-%<
} ,e OZv=:
)qX.!&|I
int main (void) B;Z _'.i,d
{ ;gHcDnH)
TestUnion pszobj("yuankai"); DZESvIES
TestUnion lobj(1234); (F;*@Z*R
cout<(pszobj)< cout< 4Z{R36 {
return 0; NV{= tAR
} jbg9EtQ!*
,lCFe0>k!=
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: yhK9rcJq6}
Qe7
SH{
class TestUnion [G+@[9hn%
{ "7(@I^'t6
enum StoreType{Long,Const_CharP}; c-7Zk!LfD
union DataUnion //不能匿名 ]*$o qn=m
{ ~
c~j
DataUnion(const char*); //声明const char*构造函数 k_^
4NU
DataUnion(long); //声明long构造函数 qoph#\
const char* ch_; Ub\&k[F
long l_; C2iOF /4
} data_; ZS3T1
<z
StoreType stype_; kiin7 8W
TestUnion(TestUnion&); .;vd
TestUnion& operator=(const TestUnion&); <T'fJcR
public: 02^\np
TestUnion(const char* ch); /f.
,xs!
TestUnion(long l); kd
p*6ynD
operator const char*() const {return data_.ch_;} NXOvC!<
operator long() const {return data_.l_;} L^s?EqLXS
}; URh5ajoR%
f4X}F|!h
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) S]&i<V1qX
{//注意data_(ch),这里直接引用data_ +tlbO?
} su-0G?c
Y8mv[+Z
TestUnion::TestUnion(long l):data_(l),stype_(Long) f|!@H><
{//注意data_(l),这里直接引用data_ 4g.S!-H@R
} X5tV Xd
]?jmRk^.
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) aO<H!hK
{ F zBny[F
} iIo>]\Pw
w6B`_Z'f
TestUnion::DataUnion::DataUnion(long l):l_(l) @:9mTP7
{ \\"CgH-
} $i
`@0+:
+hT9V1'-D
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!