前言 2CxdNj
mG@Q}Y(
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 QHs]~Ja
@6D<D6`
一、在union中存储对象 ldX]A#d.
a|7V{pp=M
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? IeU.T@ $
Oy|9po
#pragma warning(disable : 4786) f8&=D4)-w
#include Pdn.c1[-a
using namespace std; g{J3Ba
7k$8i9#
class TestUnion Zh(f2urKV
{ _?r+SRFn
public: by06!-P0[
TestUnion(long l):data_(l) &1[5b8H;+
{ 1Xs!ew)>
}; 8%|x)
int data_; r=w%"3vb^
}; 1_p'0lFe
WWe.1A,
typedef union _tagUtype_ Z0'3.D,l
{ U=yD!
TestUnion obj; pj )I4C)
}UT; SA&wW\Ym]
'RA[_Z
int main (void) ld?M,Qd
{ @KpzxcEoO
return 0; r"Bf@va
} 95<:-?4C;W
aH$~':[93
67g/(4 &
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: dG rA18
UB1/FM4~
class TestUnion dg!sRm1iZ:
{ M`<D Z<:<
public: fU}w81oe
int data_; us cR/d
}; 4J_%quxO
B';Ob
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ) )F.|w
S3<v?tqLr
二、类中union的初始化 l>iU Q&V
ZJpI]^9|
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: g3Q #B7A
L~$RF {$
#pragma warning(disable : 4786) xH0/R LK3J
#include ;H=6u
bDo'hDmW
using namespace std; e>^R 8qM?
hJ<2bgQo
class TestUnion 5Z[D(z
{ C;5}/J^E
enum StoreType{Long,Const_CharP}; U)!AH^{32
union M($},xAvDU
{ LZVO9e]
const char* ch_; kUt9'|9!
long l_; NIfc/%
} data_; f3>/6C
StoreType stype_; $ZU(bEUOG
TestUnion(TestUnion&); ~c^-DAgB
TestUnion& operator=(const TestUnion&); k +Oq$Pi
public: :tqjm:
TestUnion(const char* ch); D'h2 DP!
TestUnion(long l); s]iOC6v
operator const char*() const {return data_.ch_;} .{-yveE
operator long() const {return data_.l_;} j r[~
}; WI6E3,ejB1
h 3&:"*A2
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) DR /)hAE
{ 4Le5Ms/
} +joE
A 5 X+Z
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) dX*>?a
{ ry
?2 o!
} )US/bC!M$
-G;1U
int main (void) pL@zZK0
{ =T)2wcXBB
TestUnion pszobj("yuankai"); <.b$
gX
TestUnion lobj(1234); 0UJ`<Bfd
cout<(pszobj)< cout< ~ ""MeaM8[
return 0; LrMFzd}_O
} (;&?B.<\:
>!1 f`
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 0JNOFX
a*j <TR
class TestUnion \&5@ yh
{ U.U.\
enum StoreType{Long,Const_CharP}; +^?-}v
union DataUnion //不能匿名 S=,1}
XZ
{ 0>=)
DataUnion(const char*); //声明const char*构造函数 /K) b0QX
DataUnion(long); //声明long构造函数 51qIo 4$
const char* ch_; AvE^
F1
long l_; iBQBHF
} data_; O'-Zn]@.]
StoreType stype_; 9>3Ltnn0
TestUnion(TestUnion&); 0 jP00
TestUnion& operator=(const TestUnion&); 4 Qel;
public: _qt;{,t
TestUnion(const char* ch); O2]r]9sh*
TestUnion(long l); x}<G!*3
operator const char*() const {return data_.ch_;} -\'.JA_
operator long() const {return data_.l_;} &]6K]sWJK{
}; fslk7RlSKg
{O kik}Oh
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) AKKU-5
B9c
{//注意data_(ch),这里直接引用data_ @MZ6E$I
} 'Z2N{65
~5 pC$SC6>
TestUnion::TestUnion(long l):data_(l),stype_(Long) S~rVRC"<xo
{//注意data_(l),这里直接引用data_ RA/ =w&
} i %hn
+%}5{lu_e
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) tw4am.o1]
{ qa$[L@h>
} EkStb#
OpbT63@L
TestUnion::DataUnion::DataUnion(long l):l_(l) Wqs.oh
{ _X%6 +0M
} Gj7QGIKx
VIz{}_~'s
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!