前言 D~y]d
AzV5Re8M
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 */\.-L{h
869`jA&7"
一、在union中存储对象 c !;wp,c
x:bYd\
EJ[
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? <VBw1|)$@
UP`q6]P
#pragma warning(disable : 4786) $YC~02{
#include ;CvGIp&y
using namespace std; ~H$XSNPi
p']AXJ`Z
class TestUnion ]S:@=9JB'
{ H|!s.
public: v]J# SlF
TestUnion(long l):data_(l) 7 dzE"m
{ \%C[l
}; yjr@v!o
int data_; m3WV<Cbz
}; w\mF2h
N<{`n;
typedef union _tagUtype_ BmM,vllO
{ 7^iAc6QSy3
TestUnion obj; *Q>:|F[vM
}UT; j*zK"n
k|_2aQ02
int main (void) "4`%NA
{ <oO,CXF
return 0; G<z)Ydh_
} @Dy.HQ~
;FmSL#]I
wY95|QS
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: d"78:+
47 RY pd
class TestUnion q>[% C5
{ :9#`|#uh
public: Zb
2
int data_; wI4;/w>
}; aYgJTep>r
8F*
WT|]
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! HZm
i?
X2`>@GR/>
二、类中union的初始化 g@2.A;N0
Z]Y4NO;
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ]Rye AJ3
AAW7@\q.
#pragma warning(disable : 4786) 6:,^CI|@t
#include 2{CSH_"Z7
64lEB>VNm
using namespace std; W'jXIO
ETOc4hMO
class TestUnion hkJZqUA
{ vo$66A
enum StoreType{Long,Const_CharP}; /4?`F}7)
union /RM-+D:Y
{ W,~1KUTc
const char* ch_; s2v*
long l_; b8>9mKs
} data_; ddP,_.0
StoreType stype_; h7$!wf!I
TestUnion(TestUnion&); @9h#o5y q
TestUnion& operator=(const TestUnion&); !`_f\
public: =dBrmMh
TestUnion(const char* ch); HWhKX:`l
TestUnion(long l); a,~P_B|@
operator const char*() const {return data_.ch_;} m'tk#C
operator long() const {return data_.l_;} 50&F#v%YB
}; +][P*/ Ek
Y+GeT#VHe
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) "o3"1s>d{
{ .LhmYbQ2WE
} CiI:
uU
_w;+Jh
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) :Y>]6
{ At(9)6n8
} [QbXj0en$
.Qt3!ek
int main (void) gN(hv.nQ
{ <gLtX[v!CL
TestUnion pszobj("yuankai"); 05B+WJ1
TestUnion lobj(1234); C8:"+;
cout<(pszobj)< cout< YZRB4T9
return 0; wF8\
} j\f$r,4
*]WXM.R8
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: LFyceFbm
l7,qWSsnK
class TestUnion Zk
UuniO
{ uR@`T18
enum StoreType{Long,Const_CharP}; Qiw4'xQm
union DataUnion //不能匿名 t5X
lR]` w
{ ]?(F'&
DataUnion(const char*); //声明const char*构造函数 n-3j$x1Ne
DataUnion(long); //声明long构造函数 wG5RN;`V
const char* ch_; kA!(}wRL
long l_; K<6x4ha
} data_; ':D&c
StoreType stype_; 1:zu$|%7
TestUnion(TestUnion&); g@i>R>
TestUnion& operator=(const TestUnion&); 4D$sFR|?t
public: *\KvcRMGUa
TestUnion(const char* ch); b',bi.FH
TestUnion(long l); b0Ov+ )7#
operator const char*() const {return data_.ch_;} $af}+:'
operator long() const {return data_.l_;} rJZs
5g`
}; ZT8Ji?_n
Lzx$"R-
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 'S7@+kJ
{//注意data_(ch),这里直接引用data_ \Z20fh2
} F9P0cGDs
4>VZk^%b#
TestUnion::TestUnion(long l):data_(l),stype_(Long) yVHlT
{//注意data_(l),这里直接引用data_ gvqd1?0w
} v\(m"|4(i
C'/M/|=Q#
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) t!~YO'<dS
{ A;-z#R#V5
} q'F_j"
yj'' \
TestUnion::DataUnion::DataUnion(long l):l_(l) `.(S#!gw
{ \h7J/es^p!
} Mp"ci+Iu
=+}}Sv2
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!