前言 ru`;cXa,
s\&_Kbw]c
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 &,Q{l$`X
JLAg-j2
一、在union中存储对象 c
3@SgfKmk
^c]Sl
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? ZZC=
7FB
1#qCD["8
#pragma warning(disable : 4786) G
7)D+],{Y
#include x#0C+cU
using namespace std; x=B+FIJ
<nsl`C~6g0
class TestUnion "|DR"rr'j
{ A2&&iL=j/
public: T *t$
TestUnion(long l):data_(l) ):78GVp
{ QBsDO].J<
}; [/uKo13
int data_; &up/`8
}; hqD;<:.
TjI NxP-O
typedef union _tagUtype_ H[N&Wiq/|
{ )dL?B9d:
TestUnion obj; ($(1KE
}UT; C6"!'6 W
Sw1]]-Es
int main (void) T%a]3
{ ^}1RDdQ"U
return 0; g41Lh3dj
} vWkKNB
bOz\-=au
MZjiJZaO:L
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Mz++SPG7
2FVKgyV
class TestUnion f,L
{ tiE+x|Ju"
public: .sG,TLE[<
int data_; l.)N
}; iz^wBQ
(x^|
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! >Ed^dsb&
^,KR 0
二、类中union的初始化 b/K&8C,c
b<( W}$x
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: %|,<\~P
xRY5[=97
#pragma warning(disable : 4786) -.*\J|S@g
#include 654%X(:q
.4Ny4CMHZ
using namespace std; {PVu3W
?0(B;[xEJ
class TestUnion VDPN1+1*
{ 5?fk;Q9+\
enum StoreType{Long,Const_CharP}; qJ/C*Wqic
union V0AX1?H~ w
{ IB6]Wj
const char* ch_; 6+u'Tcb
long l_; ^`!Daqk
} data_; $KKaA{0-
StoreType stype_; Na6z,TW
TestUnion(TestUnion&); h[8y$.YsC
TestUnion& operator=(const TestUnion&); Yq^y"rw
public: -&EmEXs%
TestUnion(const char* ch); IID(mmy6
L
TestUnion(long l); 9>#|~P&FE
operator const char*() const {return data_.ch_;} 'oHR4O*
operator long() const {return data_.l_;} 6-=_i)kzq
}; >&&xJ5
=vc5,
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) MP,*W}@
{ DOerSh_0W
} 9^ r
/=@vG Vp6
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) %)9]dOdOk
{ x5SQ+7
} #& wgsGV8C
.NT&>X~.V
int main (void) :xPvEK[B7
{ q&E5[/VK:
TestUnion pszobj("yuankai"); 5gD)2Q6
TestUnion lobj(1234); 5Mr;6
]I<
cout<(pszobj)< cout< S7a6ntei
return 0; gJ.6m&+
} kkBU<L2
`5-#M/J
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ;n!X% S<z*
winJ@IY W
class TestUnion k_n{Mss'9
{ XyphQ}\u
enum StoreType{Long,Const_CharP}; ennz/'
union DataUnion //不能匿名 l :Nxl
{ MNqyEc""
DataUnion(const char*); //声明const char*构造函数 [\9(@Bx
DataUnion(long); //声明long构造函数 9yo[T(8
const char* ch_; ;lH,bX~5
long l_; %_MR.J+m2
} data_; 1K9?a;.
StoreType stype_; `_U0>Bfg;
TestUnion(TestUnion&); -0SuREn
TestUnion& operator=(const TestUnion&); .eNwC .8i
public: ff1B)e
TestUnion(const char* ch); 6r=)V$K<
TestUnion(long l); **r?
operator const char*() const {return data_.ch_;} 1IQOl
operator long() const {return data_.l_;} +N$7=oGC
}; J+ZdZa}Ob
7Y|>xx=v
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) o>;0NF| }
{//注意data_(ch),这里直接引用data_ pZ~>l=-
} ?VZXJO{^
_@pf1d$
TestUnion::TestUnion(long l):data_(l),stype_(Long) $v<hW
A]>
{//注意data_(l),这里直接引用data_ T:%wX9W
} J
s<MJ4r>/
&tz%WW%D8
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) q\t>D
_lU
{ l[ ": tG
} 6a]f&={E
W/r?0E
TestUnion::DataUnion::DataUnion(long l):l_(l) O|OSE
{ {9.~]dI|L
} 7R<u=U
]7S7CVDk4
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!