前言 *T'
/5,rX2
kFZw"5hb
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 :uy8$g*;TE
4SIi<cS0
一、在union中存储对象 R}IMX9M=
Wly-z$\
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? mO;X>~K
t<mT=(zt*
#pragma warning(disable : 4786) x a#0y
#include ^=D=fX"8%
using namespace std; L\|p8jJ
gq~>S1
class TestUnion Sr Z\]
{ iK8aj)%Q@
public: "v@$CR9<T
TestUnion(long l):data_(l) Z(Fsk4,
{ pMnkh}Q#
}; h$.y)v
int data_; KSU?Tg&JR
}; 6*9hAnH
%
\p:S)R
typedef union _tagUtype_ ]CsF} wr'z
{ Z?
u\
TestUnion obj; ]`)50\pdw
}UT; Mk9'
pt .0%3
int main (void) UhQ [|c
{ XF(0>-
return 0; L/dG0a@1X
} H)S" `j
2V%si 6
${Cb1|g>j
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: `p1szZD&
S e/VOzzg
class TestUnion U\'.rT[#
{ NKf][!bi
public: 6KC.l}Y*
int data_; a<9gD,]P
}; aTF~rAne<
( P|Ph
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 9,wd,,ta
n*~=O '
二、类中union的初始化 W<C
\g~\
,DsqKXSU
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: rKEi1b
+>mbBu!7
#pragma warning(disable : 4786) +ptVAg+
#include 3;(;'5|Z
U/'"w
v1y
using namespace std; 7WK^eW"y8
T[*1*303
class TestUnion <+@?V$&
{ Qz/o-W;
enum StoreType{Long,Const_CharP}; ZlD\)6 dZ
union
C%#=@HC
{ 'lNy&
const char* ch_; ; mnV)8:F
long l_; ^Uss?)jN4
} data_; 17g\XC@ Cl
StoreType stype_; tj/X7|
TestUnion(TestUnion&); rUvjc4O}
TestUnion& operator=(const TestUnion&); 4#Wczk-b
public: `(s&H8x#
TestUnion(const char* ch); >a7'_n_o
TestUnion(long l); ~Z-M?8:
operator const char*() const {return data_.ch_;} 0Y[LzLn
operator long() const {return data_.l_;} 4TcKs}z
}; &1)4B
1Q1NircJ
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 8JxJ>I-9p
{ 1FCqkwq[
} mOji\qia
Im7<\ b@
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 'F>eieO
{ "]h4L
} ParOWs~W/
6)63Yp(
int main (void) Ojqbj0E9
{ *y
+T(73
TestUnion pszobj("yuankai"); 6\>S%S2:
TestUnion lobj(1234); P__JN\{9
cout<(pszobj)< cout< 8q9HQ4dsL
return 0; iq'hel
} L-z37kG^
xL8r'gV@
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 6UK{0\0
mYLqT$t.+
class TestUnion `B6~KZ
{ h8@8Qw
enum StoreType{Long,Const_CharP}; 2Zt :]be
union DataUnion //不能匿名 e~]3/ 0
{ n,D~ whZx
DataUnion(const char*); //声明const char*构造函数 y'\BpP
DataUnion(long); //声明long构造函数 wBz?OnD/D
const char* ch_; rMRM*`Q2
long l_; ^<X+t&!z
} data_; N~7xj?
StoreType stype_; `x%v&>
TestUnion(TestUnion&); jo 0
d#
TestUnion& operator=(const TestUnion&); 'z$ BgXh\
public: u[nx?!
TestUnion(const char* ch); xCU^4DO3p
TestUnion(long l); i#Tm] ++
operator const char*() const {return data_.ch_;} Qvc "?yx8}
operator long() const {return data_.l_;} K;,zE6WD$$
}; wh4ik`S 1
;UuCSfs{
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 7<{g+Q~7*
{//注意data_(ch),这里直接引用data_ htC~BK3(
} ^Ud1 ag!-
\a\-hm
TestUnion::TestUnion(long l):data_(l),stype_(Long) Co[fq3iX#
{//注意data_(l),这里直接引用data_ "f^s*I
} -*xm<R],
g}>Sc=e<
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ]D(!ua5|x`
{ \Tq !(]o^
} ~aKM+KmtPH
#OlU|I
TestUnion::DataUnion::DataUnion(long l):l_(l) hx|Cam"
{ reo
} e$HN/O
:`('lrq
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!