前言 T VmH
) /vhclkb
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 %VJ85^B3
lf<S_2i
一、在union中存储对象 ZIR0PQh\
P;[OWSR[d
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? /PBaIoJE
`?g`bN`Vn
#pragma warning(disable : 4786) bu7'oB~:V^
#include 2aZw[7s
using namespace std; U6ZR->:
mbRqJT>@
class TestUnion /
O/`<
{ d6{Gt"
public: f*{
YFg?*&
TestUnion(long l):data_(l) sxKf&p;
{ ?^mi3VM
}; `nXVE+E@
int data_; 54;J8XT7
}; G0 J4O!3
X[s8X!#
typedef union _tagUtype_ %=AxJp!a
{ s`j~-P
TestUnion obj; X=JmF97
}UT; -4rDbDsr
m"\:o
int main (void) V=He_9B
{ jCAC
`
return 0; 9j]sD/L5q
} v[@c*wo
YIt& >
L9Z;:``p
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: OH^N" L
Ok7t@l$
class TestUnion aSuM2
{ [XRCLi}
public: ^,F;M`[
int data_; FlfI9mm
}; - K%,^6
tkQH\5
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! KIA 2"KbjG
6iEhsL&K
二、类中union的初始化 Cz4)Yz
=1I#f
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: Iz6y{E
Rj F'x
#pragma warning(disable : 4786) f)c~cJz<q
#include 6)oLus
-[= drj9I
using namespace std; e__@GBG
]sz3]"2
class TestUnion l$K,#P<)
{ wxm:7$4C
enum StoreType{Long,Const_CharP}; 6Ao%>;e*
union BQcE9~H
{ JGC=(;
const char* ch_; kyAXRwzI
long l_; O3N0YGhJ
} data_; [s9O0i"
Y
StoreType stype_; gH2,\z`[4
TestUnion(TestUnion&); B63pgPX
TestUnion& operator=(const TestUnion&); {QBB^px
public: x}U8zt)yD3
TestUnion(const char* ch); ze_{=Cv&Y
TestUnion(long l); Ngr/QL]Q
operator const char*() const {return data_.ch_;} )!g{Sbl
operator long() const {return data_.l_;} EFpIp4_Y
}; U.AjYez
pA{ 5V9
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ;})5:\h
{ bifS 2>c
} Qr1e@ =B
ZpUCfS)|&
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) TI9UXa:V\
{ Ggh.dZI4
} Qn ^bVhG+
=#mTfJ
int main (void) `cx]e
{ 7&KT0a*
TestUnion pszobj("yuankai"); nR4y`oP+
TestUnion lobj(1234); c}3W:}lW
cout<(pszobj)< cout< ^QuiH'
return 0; 7W6cM%_B
} Q]rD}Ckv-
K1V#cB
WO
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Z%GTnG|rG
e4~>G?rM_
class TestUnion "Jjs"7
{ zEZLKWm9-
enum StoreType{Long,Const_CharP}; 0!z@2[Pe66
union DataUnion //不能匿名 j)t+jcMUI
{ & cNy
DataUnion(const char*); //声明const char*构造函数 Mv c`)_Md
DataUnion(long); //声明long构造函数 64-#}3zL
const char* ch_; @/r^%G
long l_; _"4xKh)
} data_; GE>[*zN
StoreType stype_; 9 Pw0m=4
TestUnion(TestUnion&); )2,eFNB#n
TestUnion& operator=(const TestUnion&); pZ#ap<|>I
public: X(jVRr_m9
TestUnion(const char* ch); /ywD{*
TestUnion(long l); sH[
-W-
operator const char*() const {return data_.ch_;} I\qYkWg7
operator long() const {return data_.l_;} zI~owK)%Z
}; RE.r4uOJg
9Lh|DK,nV/
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) @"T"7c?Cv
{//注意data_(ch),这里直接引用data_ K78rg/`
} <
j$#9QQ1
DF6c|
TestUnion::TestUnion(long l):data_(l),stype_(Long) Y!6/[<r$~k
{//注意data_(l),这里直接引用data_ 9dMrgz&'
} vIvVq:6_3
A]L%dFK
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 4@.|_zY
{ uP\lCqK,
} RtG}h[k/X
~x{.jn
TestUnion::DataUnion::DataUnion(long l):l_(l) V|)>{Xdn
{ gPC*b+
} `[zQf
Oi"a:bCU
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!