前言 QFPx4F7(e
pYG,5+g
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。
(ZK >WoV
jhG7sS|
一、在union中存储对象 (0Cszm.
hl:eF:'hm
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 4QNR_w
>B
#pragma warning(disable : 4786) d@tr]v5 B
#include `[CJtd2\
using namespace std; E2|iAT+=.
obq}#
class TestUnion =@ZtUjcJx
{ O| ]Ped9
public: W6T&hB
TestUnion(long l):data_(l) s>\g03=
{ 6~ `bAe`}
}; [u80-x<
int data_; (do=o&9pm
}; hhGpB$A
%b;+/s2W
typedef union _tagUtype_ %#9 ~V
{ YkPt*?,P/
TestUnion obj; 0Q >|s_
}UT; E+zn\v
1,QZnF!.x
int main (void) z-5#bOABW
{ 3L?a4,Q"k}
return 0; GuWBl$|+b
} Ba0D"2CgY
yXx62J
PEEY;x
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: bOMP8{H,
sjgR \`AU
class TestUnion ZPao*2xz
{ MPn>&28"|K
public: I;-5]/,
int data_; 9`xFZMd31A
}; 3SDWR@x&
qk,y |7p
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 3 ?F@jEQk
>-lL-%N_
二、类中union的初始化 Qu FCc1Q
X.l"f'`l
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ~q(C j"7
W;dzLgc
#pragma warning(disable : 4786) 2gAdZE&Y
#include FM"BTA:C
~#_$?_/(
using namespace std; \C#b@xLnX
5,BkwAr+6[
class TestUnion Y&f[2+?2NK
{ Wmxw!
enum StoreType{Long,Const_CharP}; $S8bp3)
union +A ?+G
{ Q 02??W
const char* ch_; $Wzv$4;
long l_; [KI`e
} data_; Ko|xEz=
StoreType stype_; 0Y*gJ!a
TestUnion(TestUnion&); {mnSTL`
TestUnion& operator=(const TestUnion&); dG>Wu o
public: 8/?uU]#Q
TestUnion(const char* ch); l=~99mE
TestUnion(long l); F>kn:I"X)
operator const char*() const {return data_.ch_;} +1jqCW
operator long() const {return data_.l_;} AJlIA[Kt:
}; Qfu*F}
2G5!u)
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ku9FN
{ G!LNP&~
} j_uY8c>3\q
PB<Sc>{U
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) N|d.!Q;V.y
{ nQ!#G(_nO
} IOZ|85u=
:$Q]U2$mPS
int main (void) 0*IY%=i
{ :'rZZeb'
TestUnion pszobj("yuankai"); bA^:p3
TestUnion lobj(1234); [-Tt11
cout<(pszobj)< cout< 'a/6]%QFd!
return 0; H&=4y) /.
} h9w^7MbO
wQrPS
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ?Gv!d
DD6`k*RIk.
class TestUnion us,,W(q
{ 9
roth
enum StoreType{Long,Const_CharP}; \3(|c#c
union DataUnion //不能匿名 UH,4b`b
{ |XA aKZA
DataUnion(const char*); //声明const char*构造函数 t2%@py*bU
DataUnion(long); //声明long构造函数 B0XBI0w^Y
const char* ch_; WlRZ|.
long l_; &T/q0bwd
} data_; 0/00W6r0
StoreType stype_; (9 z.IH7}k
TestUnion(TestUnion&); )tI2?YIR
TestUnion& operator=(const TestUnion&); JvWs/AG1
public: {S"
TestUnion(const char* ch); ,-IF++q
TestUnion(long l); ]G
o~]7(5|
operator const char*() const {return data_.ch_;} q{Ta?|x#
operator long() const {return data_.l_;} ]V769B9
}; z0Z\d
7- 3N
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 0e:QuV2X
{//注意data_(ch),这里直接引用data_ z'}= A
} 9s6>9hMb)
a2=uM}Hsp
TestUnion::TestUnion(long l):data_(l),stype_(Long) %)hIpxOrX
{//注意data_(l),这里直接引用data_ Or#+E2%1E
} #
/,2MQ
pT;-1c%:
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) c>WpO Z,
{ g*r{!:,t
} VRQbf
[cLU*:
TestUnion::DataUnion::DataUnion(long l):l_(l) =.f +}y
{ >5~Zr$
} 73s3-DS,
>[%.h(h/%
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!