前言 4+tEFxvX&
<_+X 88
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 "dlVk~
/-s6<e!
一、在union中存储对象 |s_GlJV.
E qiY\/S
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 1Y,Z
%d
yhJ@(tu.Gd
#pragma warning(disable : 4786) :4|4 =mkr
#include !)$Zp\Sg
using namespace std; XWw804ir
Zd+bx*rD
class TestUnion /9X7A;O
{ Hn:Crl y#
public: b.938#3,
TestUnion(long l):data_(l) <UCl@5g&
{ /wG2vE8e
}; '+
?X
int data_; O6Y0XL
}; j<$2hiI/?&
l,).p
typedef union _tagUtype_ G~m<;
{ 2<3K3uz
TestUnion obj; !R$`+wZ62
}UT; \)e'`29;
6LhTBV
int main (void) wIgS3K
{ [F7hu7zY8
return 0; Bw
yx c
} -\MG}5?!
FI.\%x
d(K+);!
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: "N#Y gSr
O.M1@w]
class TestUnion 6u%&<")4HP
{ 4M T 7 `sr
public: wC*X4 '
int data_; i/.6>4tE:
}; UF|p';oom
m {}Lm)M
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 9BB=YnKE
HOi`$vX}N
二、类中union的初始化 - YBY[%jF>
E-FUlOG&
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: A@'OJRc
$~kA
B8z
#pragma warning(disable : 4786) W*G<X.Hf
#include {`_i`
+T+#q@
using namespace std; 76SXJ9@x
!IR6
,A\
class TestUnion @VI@fN
{ @6]JIJE
enum StoreType{Long,Const_CharP}; ^rz_f{c]-
union C#pjmT_
{ /_.|E]
const char* ch_; <ZW-QN4
long l_; XP}<N&j
} data_; ~M$Wd2Th
StoreType stype_; G/W>S,(
TestUnion(TestUnion&); atzX;@"K
TestUnion& operator=(const TestUnion&); >GuM]qn
public: dWW.Y*339
TestUnion(const char* ch); $Kd>:f=A
TestUnion(long l); 7$#u
operator const char*() const {return data_.ch_;} UZ";a453r
operator long() const {return data_.l_;} xx $cnG
}; +ai<
q>+
8,|k ao:
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) I 6O
{ g{LP7D;6
} )PZT4jTt
V~#tuv
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) d=^z`nt !R
{ ~Gw*r\\+
} 3XKf!P
1mJHued=6
int main (void) sRfcF`7
{ c " ,*h
TestUnion pszobj("yuankai"); }a/Cro.~4
TestUnion lobj(1234); @]0%L0u
cout<(pszobj)< cout< (%9$! v{3
return 0; 0 {mex4
} k=^xVQuI
?cZlN!
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: &Qm@9I s
V6Dbd"
i9
class TestUnion tp|d*7^i
{ $Q0n
enum StoreType{Long,Const_CharP}; 31)&vf[[
union DataUnion //不能匿名 P2Y^d#jO
{ d5d@k
DataUnion(const char*); //声明const char*构造函数 `h;[TtIX4
DataUnion(long); //声明long构造函数 >sbu<|]a
7
const char* ch_; S>{~nOYt-`
long l_; =c7;r]Ol
} data_; V8(-
StoreType stype_; pot~<d`:K"
TestUnion(TestUnion&); ce(#2o&`
TestUnion& operator=(const TestUnion&); Ca\6vR
public: N21smC}
TestUnion(const char* ch); w
= KPT''!
TestUnion(long l); %)n=x
ne
operator const char*() const {return data_.ch_;} Ho%CDz
z
operator long() const {return data_.l_;} +[P{&\d4}
}; Zc2PepIg
%znc##j)q
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) v,t:+
!8
{//注意data_(ch),这里直接引用data_ g&.=2uP
} ]f3>-)$*
PW4q~rc=:
TestUnion::TestUnion(long l):data_(l),stype_(Long) ntY]SK%Z
{//注意data_(l),这里直接引用data_ SX*RP;vHy
} aDCwI :Li(
9FX-1,Jx
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 1eKT^bgM
{ "5
A!jq
} r
:dTz
/<3UQLMa
TestUnion::DataUnion::DataUnion(long l):l_(l) = /8cp
{ 3a|\dav%
} T;#FEzBz
oU/5 a>9~
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!