前言 C*I~14
&]? X"K
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 `/z6Q"
<_tkd3t#W
一、在union中存储对象 7~V,=WEe
dq{wFI)
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? AqzPwO^
}`,}e 259
#pragma warning(disable : 4786) oIP<7gz
#include Lz9t9AoB
using namespace std; Q< q&a8~
"x*5g*k
class TestUnion 5z>kz/uxW
{ k'K&GF1B
public: '`*{ig
TestUnion(long l):data_(l) Pkbx/\
{ oe:@7stG
}; @!:~gQ
int data_; l`vb
}; De(\<H#
Hi 1@
typedef union _tagUtype_ E\(dyq/
{ _IOt(Zb(
TestUnion obj; lc71Pp>
}UT; v3i]z9`
!)(c_ uz
int main (void) . .|>|X4
{ s2{d<0x?v
return 0; -U?Udmov
} %`P6a38j
R`F54?th
HCI|6{k
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: xnW3,:0
\p-3P)U
class TestUnion |@x^5Ab$T
{ X&[S.$_U
public: $`Z-,AJc
int data_; hwaU;> F
}; $EB&]t+
k(oHmw
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! !c+Nf2I7S
Z. ))=w6G
二、类中union的初始化 VV*Z5U@b
}jQxwi)
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: "i\rhX
93-UA.+g
#pragma warning(disable : 4786) R7o3X,-iwn
#include * ?a-m\
G $TLWfm
using namespace std; cu4&*{
8X@p?43
class TestUnion S0\;FmLIc
{ 7|IOn5
enum StoreType{Long,Const_CharP}; E*ug.nxy
union K 9ytot
{ Lbka*@
const char* ch_; I6x
long l_; HWJ(O/N
} data_; lw4#xH-?
StoreType stype_; fWx
%?J
TestUnion(TestUnion&); CfguL@tR.
TestUnion& operator=(const TestUnion&); :esHtkyML
public: d;3/Vr$t=
TestUnion(const char* ch); 6q[|U_3I@
TestUnion(long l); (c X;a/BR
operator const char*() const {return data_.ch_;} k !S0-/h
operator long() const {return data_.l_;} <n4T*
}; S`oADy
O\h*?, )
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) /Q4TQ\:
{ (j^Qa~{mG4
} j~(s3pSCo
d%:B,bck
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 2NHkK_B1P
{ M^c`j#NQ
} U{vt9t
g]IRv(gDh
int main (void) v=A]#O%
{ '~HCYE:5
TestUnion pszobj("yuankai"); 7~@9=e8G
TestUnion lobj(1234); #V[j Q Vl
cout<(pszobj)< cout< d{cd+An
return 0; Bb5|+bP
} B?
$9M9
*C81DQ
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下:
gOpi>
v+.
n9
class TestUnion *9#6N2J$M
{ 'D ,efTq
enum StoreType{Long,Const_CharP}; 39p&M"Yo
union DataUnion //不能匿名 Yj/aa0Ka4
{ *=Ko"v
}
DataUnion(const char*); //声明const char*构造函数 %#xdD2oN
DataUnion(long); //声明long构造函数 {sn RS)-
const char* ch_; Z)?i&y?
long l_; &Kuo|=f
} data_; kdVc;v/5
StoreType stype_; Zl5cHejM
TestUnion(TestUnion&); F?UI8
TestUnion& operator=(const TestUnion&); _MF:?p,l
public: 3*< O-Jr
TestUnion(const char* ch); aDrF"j
TestUnion(long l); s}8(__|
operator const char*() const {return data_.ch_;} /5qeNjI+2
operator long() const {return data_.l_;} k[9~Er+
}; `SdvXn
Aofk< O!M
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ftS^|%p
{//注意data_(ch),这里直接引用data_ @>Y.s6a
} : +Na8\d
DQC=f8
TestUnion::TestUnion(long l):data_(l),stype_(Long) G:$Ta6=
{//注意data_(l),这里直接引用data_ F*`*5:7
} :fo.9J
,$i2vGd
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) zX{O"w
{ 97 Oi}
} PtH>I,/
f{
;L"*L
TestUnion::DataUnion::DataUnion(long l):l_(l) =Q\z*.5j.
{ h(q,-')l_
} z+ch-L^K4
}V20~ hi
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!