前言 -_xTs(;|8
Fh/psd
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 nA(5p?D+YB
;eJ|)*
一、在union中存储对象 4k9$'
k
K5RgWP
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 6i;q=N$'
{e$@i
#pragma warning(disable : 4786) i= R%MH+
#include %ikPz~(
using namespace std; 1+"d-`'Z2O
nq,:UYNJ
class TestUnion F~0iJnF
{ _%3p&1ld
public: Hh%"
TestUnion(long l):data_(l) Sz:PeUr9h
{ /U,(u9bq
}; ,k1ns?i9KH
int data_; Wv%F^(R7
}; >(_2'c*[w
'9'f\
typedef union _tagUtype_ 37biRXqLH
{ mo9(2@~<
TestUnion obj; /eT9W[a
}UT; mE;^B%v
mG1!~}[
int main (void) l*(L"]
{ E^Ch;)j|
return 0; AQtOTT$
} AHMvh 7O?
mq}UUk@
O3?^P"C
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: \[|X^8j
Q,:h`%V
class TestUnion ul
b0B"
{ #V)l>
public: w#_7,*6]
int data_; c(29JZ
}; ^$mCF%e8H
c}!`tBTm
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 4uH}
SG[
z8r?C
二、类中union的初始化 i!fk'Yt%
E:O/=cT
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: p.<d+S<
3g:P>(
#pragma warning(disable : 4786) 3''Uxlo\
#include N"0>)tG
ny!80I
using namespace std; *y(UI/c
uhv_'Q
class TestUnion `Ba?4_>k
{ VD $PoP
enum StoreType{Long,Const_CharP}; [,;O$j}
union D+N@l"U{
{ /XA*:8~!
const char* ch_; @$CPTv3e
long l_; ,&s"f4Mft
} data_; 0'Qvis[kt
StoreType stype_; KNN$+[_;H4
TestUnion(TestUnion&); il"pKQF
TestUnion& operator=(const TestUnion&); oA:`=f%\
public: GO*D4<#u
TestUnion(const char* ch); ++ 5!8Nv
TestUnion(long l); O;&5>
W,Z
operator const char*() const {return data_.ch_;} wzmQRn;s
operator long() const {return data_.l_;} pcQkJF
}; 0W_u"UY$c
{%RwZ'
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) Lo Y*,Aa&
{ +.rE|)BPy
} m?1r@!/y
ay`R jT
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) F7/%,vf
{ ]3Ibl^J
} /n:Q>8^n'W
b_u;
`^
int main (void) %sPq*w.
{ U-$nwji
TestUnion pszobj("yuankai"); Okd. ~
TestUnion lobj(1234); U7e2NES
cout<(pszobj)< cout< dB QCr{7
return 0; 3<[q>7X
} DMSC(Sz
/%F,
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: E8t{[N6d
tO D}&
class TestUnion X`-o0HG
{ r%>7n,+o
enum StoreType{Long,Const_CharP}; zz<o4bR
union DataUnion //不能匿名 SL\15`[{
{ MX+gc$Y
O
DataUnion(const char*); //声明const char*构造函数 DK'S4%;Sp
DataUnion(long); //声明long构造函数 U'Y,T$Q
const char* ch_; !9.\A:G
long l_; F}@]Lq+
} data_; J$T(p%
StoreType stype_; o{l]n*
TestUnion(TestUnion&); v-"nyy-&Z
TestUnion& operator=(const TestUnion&); V@EyU/VJ
public: .ezZ+@LI+#
TestUnion(const char* ch); l&mY}k
TestUnion(long l); d69dC*>
operator const char*() const {return data_.ch_;} 9Sa6v?sRor
operator long() const {return data_.l_;} dl`{:ZR S
}; 7&w[h4Lw
#/_ VY.
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) |0X~D}r|J
{//注意data_(ch),这里直接引用data_ g&8-X?^Q
} rd=+[:7L
t\v~ A0
TestUnion::TestUnion(long l):data_(l),stype_(Long) t8.3
{//注意data_(l),这里直接引用data_ f|3LeOyz
} '!`]Zc
2p58_^l
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) m,}GP^<1i
{ pTncx%!W5
} k 6i&NG6
R+=wSG ]
TestUnion::DataUnion::DataUnion(long l):l_(l) 5{v uN)K3
{ 4AF.KX7
} |8)\8b|VuC
_NpxV'E
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!