前言 z:{'IY
g[!t@K
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 I6,'o)l{_
l\I#^N
一、在union中存储对象 `lX |yy"
/GD4GWv :
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? yZj:Kp+7
=*
oFs|v
#pragma warning(disable : 4786) zxTcjC)y
#include
yl0&|Ub
using namespace std; y-w=4_W
e
C?adCb
class TestUnion ouL/tt_~
{ L}T:Y).
public: f 0A0uU8y
TestUnion(long l):data_(l) mEyJ
o|
{ ]3uErnI
}; c=p`5sN)
int data_; mtSOygd
}; ,u8)g;8s
G1=GzAd$5
typedef union _tagUtype_ $T.we+u
{ <csz4tL}P
TestUnion obj; BU(:6
}UT; ~za=yZo7(
?mU
3foa
int main (void) OOA%NKV
{ 7p}J]!Z
return 0; CZe0kH^:{
} e[.c^Hw
jT}3Zn
A[`c2v-hF
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: QV,X> !Nz
'Alt+O_
class TestUnion J6r"_>)z
{ 0*^ J;QGE
public: i`U:uwW`
int data_; 1D%3|_id^
}; 5 0uYU[W
M0zJGIT~b
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ofH=h
^m8T$^z>
二、类中union的初始化 :iqFC >D
&7"a.&*9xX
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: /T1zz2l~
yV[9 (
#pragma warning(disable : 4786) "Ah (EZAR
#include 7N9~nEU
#-*7<wN
using namespace std; sLrSi
Z
M_
6A1
class TestUnion ywWF+kR_
{ qKNX^n;
enum StoreType{Long,Const_CharP}; {G$I|<MD2T
union zO8`xrN!
{ mO<sw
const char* ch_; wTb7 xBI
long l_; Whp;wAz
} data_;
WJ":BK{NM
StoreType stype_; feU]a5%XZ
TestUnion(TestUnion&); QFt7L
TestUnion& operator=(const TestUnion&); 4gbi?UAmX
public: z(V?pHv+
TestUnion(const char* ch); D#Fe\8!l
TestUnion(long l); V;0{o
operator const char*() const {return data_.ch_;} aV"K%#N
operator long() const {return data_.l_;} E]$YM5
}; Jf6uE?.
Elth xj
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 9 f$S4O5
{ 8fA9yQ8
} oE@{h$=
tgoOzk^
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) AE0d0Y~9
{ 64xq@_+
} =+;1^sZ
^T*^L=L_(
int main (void) x}Qet4vV
{ dJID '2a
TestUnion pszobj("yuankai"); Xvu|ss
TestUnion lobj(1234); F[m"eEX
cout<(pszobj)< cout< o"J>MAD
return 0; O0OBkIj
} 7LMad%
tKg\qbY&
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: b*$/(2"m
~3-2Iu^F
class TestUnion 6!P];3&o\A
{ ^@f%A<
enum StoreType{Long,Const_CharP}; 0w^\sf%s
union DataUnion //不能匿名 ZK,}3b{
{ M7z>ugk"
DataUnion(const char*); //声明const char*构造函数 CY2DxP %
DataUnion(long); //声明long构造函数 .Rl58]x~
const char* ch_; EGMj5@>
long l_; s!S,;H
} data_; 5"(AqXoq
StoreType stype_; t95hI DtD
TestUnion(TestUnion&); clfi)-^{K
TestUnion& operator=(const TestUnion&); ^ei[#I
public: nTrfbK@
TestUnion(const char* ch); <qZ"W6&&
TestUnion(long l); Q|eRek
operator const char*() const {return data_.ch_;} Cr0
\7
operator long() const {return data_.l_;} Y#'mALC2
}; +<&\*VR
Vlb L
p;
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) _J^q|
{//注意data_(ch),这里直接引用data_ 7+]T}4;
} T3
xr Ua&
`< 8Fc`;[
TestUnion::TestUnion(long l):data_(l),stype_(Long) BOqq=WY
{//注意data_(l),这里直接引用data_ dbU
} CORX .PQ
5MY+O\
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) V+M2Gf
{ "o#N6Qu71
} -f?Rr:#
B@!a@0,,_
TestUnion::DataUnion::DataUnion(long l):l_(l) )Y':u_Lo
{ ),`MAevp
} bqY}t. Y&"
0[6llcuj
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!