前言 n'&`9M['%d
$<>EwW
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 9qu24zz$P
/v;)H#;
一、在union中存储对象 #ejw@bd
4HJZ^bq9|
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? +DbWMm
"o5gQTwb
#pragma warning(disable : 4786) mC[U)` ey
#include 9Qs"X7iH
using namespace std; tci%=3,)
HC;I0&v>
class TestUnion kT }'"
{ 5w [=
public: ]ZryY
EB
TestUnion(long l):data_(l) M_e$l`"G
{ *|gs-<[#X
}; eV{FcJha
int data_; zcD_}t_K
}; "<jEI /
mZ0oa-Iy
typedef union _tagUtype_ %Dr4~7=7a
{ 0@FM^ejA#
TestUnion obj; e
ka@?`
}UT; @BHS5^|
Sfoy8<j
int main (void) "aCb;2Rs
{ CAo )v,f
return 0; 1f pS"_}
} 4gkV]"
H!
+^&v5[$R
T
m@1q!G
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: =`\,2Nb
b#I*~
class TestUnion vo( j@+dz
{ ?lwQne8/
public: kj3o1 Y
int data_; y'2kV6TtqD
}; M6hvi(!X2
:@@A
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 1-NX>E5
dj'8x48H2W
二、类中union的初始化 l;Wy,?p
,<P[CUD&&
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ssJDaf79
sc $QbO c
#pragma warning(disable : 4786) W6xjqNU
#include =@jMx^A"
ATmqq)\s
using namespace std; h^_taAdS`
,pa&he
class TestUnion |Q)w3\S$
{ M+R)P+
enum StoreType{Long,Const_CharP}; j.'"CU
union f~" V
{ FvNSu"O~K1
const char* ch_; GWqY$YT
long l_; =E~5&W7
} data_; jme5'FR
StoreType stype_; 3
cW"VrFy9
TestUnion(TestUnion&); ,S0~:c:)
TestUnion& operator=(const TestUnion&); Mm7n?kb6
public: q}F%o0
TestUnion(const char* ch); vB YT)S
TestUnion(long l); O"^a.`27
operator const char*() const {return data_.ch_;} &P{p\ v2Y
operator long() const {return data_.l_;} BSu)O~s
}; G*~*2>~
Is6']bYh
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) TX
[%s@C
{ ^YJ^+:D(
} -b>O4_N
n`T[eb~
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) %FWfiFV|<
{ (F
'
} 8~Hs3\Hp
)>M@hIV5>
int main (void) Y7V&zF{
{ L%O8vn^3
TestUnion pszobj("yuankai"); Fx99"3`3
TestUnion lobj(1234); n25tr'=
cout<(pszobj)< cout< (`y|AOs
return 0; y3[)zv
} ;6 qdOD6
*;yMD-=
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: o4 g
Nl<,rD+KSD
class TestUnion ^}7t:
{ - QI`npsnV
enum StoreType{Long,Const_CharP}; p+sPCF
union DataUnion //不能匿名 {i}Q}OgYq
{ ftU5A@(T
DataUnion(const char*); //声明const char*构造函数 cTaD{!zm5
DataUnion(long); //声明long构造函数 6`";)T[ G9
const char* ch_; hGo|2@sc
long l_; f uNXY-;
} data_; EbYH?hPo
StoreType stype_; O#5( U.E
TestUnion(TestUnion&); /N{@g.edL
TestUnion& operator=(const TestUnion&); <IDzv'
public: 0:+uw`
%
TestUnion(const char* ch); kBT}Siw
TestUnion(long l); =egi?Ne
operator const char*() const {return data_.ch_;} u&_U
CJCf
operator long() const {return data_.l_;} @OY-(cW
}; Bt7v[Ot
10 H!
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) L.:QI<n
{//注意data_(ch),这里直接引用data_ _%TeTNY#
} EEZ2Gu6c
)9 jQ_
TestUnion::TestUnion(long l):data_(l),stype_(Long) / lM~K:
{//注意data_(l),这里直接引用data_ 6Oba}`)q9
} 8 (h
dsZ( D:)
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) sK/"
{ w]-iM
} DF|lUO]:
G( \1{"!
TestUnion::DataUnion::DataUnion(long l):l_(l) }~'Wz*Gm
{ v!h-h&p O7
} y/6LMAI
GFa/9Bi
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!