前言 z@~&Kwf\}
z9 w&uZzi
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 )@qup _M@
^QAiySR`0
一、在union中存储对象 ,iVPcza
20VVOnDY
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? _IL2-c8
7"q+"0G
#pragma warning(disable : 4786) (
f,J_
#include k\pDJ7wF^
using namespace std; uyNJN
:wU_-{>>2
class TestUnion S9p?*
{ -~][0PVL9
public: G*\abL
TestUnion(long l):data_(l) \E@s_fQ]
{ RxZm/:yuJ.
}; |rFR8srPG
int data_; w,Z"W;|
}; BF36V\
2L2 VVO
typedef union _tagUtype_ ]jc_=I6)
{ @H\pipT_b
TestUnion obj; s=N#CE
}UT; .Z=Ce!
$_C+4[R?
int main (void) 5g``30:o
{ hOPe^e"
return 0; lc[XFc
} jJ
aV
]U,CKJF%/
4.|-m.a
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Xsd$*F@<
H`m:X,6}
class TestUnion s=d+GMa
{ YwL`>?
public: d/{Q
t
int data_; ZXsYn
}; '{[!j6wt\
b~_B
[cf
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! !4R>O6k
ImIqD&a-h
二、类中union的初始化 qy_%~c87
?7#7:
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: GQN98Y+h
\M5P+Wk'
#pragma warning(disable : 4786) D_d|=i
#include QDS0ejhp
XHxz @_rw
using namespace std; v&fGCD\R
?g2zmI!U
class TestUnion P,i"&9 8
{ Wo{K}
enum StoreType{Long,Const_CharP}; S5N@\ x
union Ap%O~wA'
{ '61i2\[lZQ
const char* ch_; 9x=3W?K:,
long l_; Xo Y7/&&
} data_; $uCiXDKCq
StoreType stype_; rvic%bsk
TestUnion(TestUnion&); Ah-8"`E
TestUnion& operator=(const TestUnion&); Gn59yG!4
public: #vQ?
TestUnion(const char* ch); )1f+ld%R
TestUnion(long l); '[nmFCG%m*
operator const char*() const {return data_.ch_;} e*:}$u8a
operator long() const {return data_.l_;} KAed!z9
}; "9@,l!
:uo[&&c
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) :.$"kXm^
{ xuUx4,Z
} ~:[!Uyp0b
D`VFf\7
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) $n-Af0tK
{ D{p5/#|r
} zDDK
mV?&%>*(f
int main (void) ne4c%?>t
{ p0M=t-
TestUnion pszobj("yuankai"); B3mS]
TestUnion lobj(1234); b`CWp;6Y
cout<(pszobj)< cout< FLZS K:3B]
return 0; Mra35
} sTkkM9
kUa)smh
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ewnfeg1
CISO<z0
class TestUnion YT=eVg53
{ J02^i5l
enum StoreType{Long,Const_CharP}; `T"rG}c
union DataUnion //不能匿名 I@\+l6&#;
{ J8<J8x4
DataUnion(const char*); //声明const char*构造函数 x<ax9{
DataUnion(long); //声明long构造函数 Ei5 wel6!
const char* ch_; 51 b y
long l_; MBw-*K'?zB
} data_; }`o?/!X
StoreType stype_; |g-b8+.=]
TestUnion(TestUnion&); cp6WMHLj
TestUnion& operator=(const TestUnion&); s-rfS7;
public: !aNh!
TestUnion(const char* ch); 8W+5)m.tp
TestUnion(long l); W7=V{}b+
operator const char*() const {return data_.ch_;} cozXb$bBY
operator long() const {return data_.l_;} WeMAe
w/d
}; rzeLx Wt
DBs DkkB{
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) )TJS4?
{//注意data_(ch),这里直接引用data_ riCV&0"n
} OH6^GPF6
5`-UMz<]
TestUnion::TestUnion(long l):data_(l),stype_(Long) ^6;V}2>v}
{//注意data_(l),这里直接引用data_ 0CAa^Q^w
} `tEo]p
p_2pU)%
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) g(hOg~S\E
{ 1||+6bRP
} SJ?)%[(T
Ev9> @~^
TestUnion::DataUnion::DataUnion(long l):l_(l) :c.JhE3D
{ ?jO 5 9n
} {i [y9
,Zf
9RM
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!