前言 $Lbamg->E
?MSwr_eZH
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 A:y^9+Da
x%H,ta%
一、在union中存储对象 i9qIaG/
4HZXv\$
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? VuTTWBx
Iy;"ht6
#pragma warning(disable : 4786) V8WSJ=-&
#include wE<r'
using namespace std; Crj7n/mp]s
= vF!
class TestUnion vN_ 8qzWk
{ YZ:C9:S6X
public: pQc-}o"
TestUnion(long l):data_(l) JJg;X :p
{ :|ahu
}; B:UM2Jl
int data_; *]R5bj.!o
}; 4bw4!z9G
`bV&n!Y_
typedef union _tagUtype_ @T L|\T
{ X}x\n\Z
TestUnion obj; !'[?cEog
}UT; :/$_eg0A
gxUa-R
int main (void) 7 p!ROl^
{ H
n]( )/
return 0; T fIOS]
} c1a$J`
Np$&8v+en
D{y7[#$h$
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: *[b>]GXd49
;34p
[RT
class TestUnion :qB|~"9O
{ 9MI9$s2y
public: *2vp2xMA@
int data_; Uzrf,I[
}; t18j2P>`
/|}yf/^9X
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! bnanTH9-
(4ZO[Ae
二、类中union的初始化 o^"OKHU,S0
Dic|n@_Fy
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: i_r708ep6
|7A}LA
#pragma warning(disable : 4786) T!41[vm(
#include -Hw3rv3o
7 j=KiiI
using namespace std; 9c,/490Q
J#i7'9g
class TestUnion y`7<c5zD
{ cbm;45 L|
enum StoreType{Long,Const_CharP}; puWMgvv
union (>x05nh
{ mDbTOtD
const char* ch_; |V{ Q
long l_; VEIct{
} data_; SRk!HuXh
StoreType stype_; X?< L<:.
TestUnion(TestUnion&); 55$';gh,9
TestUnion& operator=(const TestUnion&); 7_)38
public: LJ@r+|>
TestUnion(const char* ch); TKsP#Dt/
TestUnion(long l); fvi0gE@bd
operator const char*() const {return data_.ch_;} u1#(~[.
operator long() const {return data_.l_;} n9J{f"`m
}; U2W Hs3
H6jt[
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) EleJ$ `/
{ q6nRk~
} !yrh50tD
;sAGTq
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) dc1Zh
W4
{ {y6h(@I8\
} to&,d`k=-
VR&dy|5BO
int main (void) e:'56?|
{ .lP',hn
TestUnion pszobj("yuankai"); {GnZ@Q:F
TestUnion lobj(1234); 2/s42
FoG
cout<(pszobj)< cout< D^.
c:
return 0; V|sV U
} gVzIEE25
aHpZhR|f$
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: +> !nqp
},JJ!3
class TestUnion 'xkl|P>=],
{ AL3iNkEa
enum StoreType{Long,Const_CharP}; z5M6
union DataUnion //不能匿名 h
ka_Fo
{ ! {G0'
DataUnion(const char*); //声明const char*构造函数 >|kD(}Axf
DataUnion(long); //声明long构造函数 P,'%$DLDg
const char* ch_; I%a-5f$0
long l_; [
fzYC'A=
} data_; oU\7%gQ
StoreType stype_; }a~hd*-#
TestUnion(TestUnion&); R3|4|JlGR
TestUnion& operator=(const TestUnion&); jLVD37 P^
public: *OFG3 uM
TestUnion(const char* ch); GVnDN~[
TestUnion(long l); I(pq3_9$
operator const char*() const {return data_.ch_;} _Wg}#r
operator long() const {return data_.l_;} ~BJE~
}; o|z@h][(l(
([<HFc`
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) UiH7
{//注意data_(ch),这里直接引用data_ a6DR' BC
} QE[<Y3M
iUR ij@
TestUnion::TestUnion(long l):data_(l),stype_(Long) ]Rxo}A
{//注意data_(l),这里直接引用data_ 9N9&y^SmD
} j;coP ehB
OriYt
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ;n(f?RO3X
{ qovsM M
} 8ex;g^e
2Wluc37
TestUnion::DataUnion::DataUnion(long l):l_(l) [q[37;ZEQ
{ <L qJg
} &F~d~;G"q
\vT~2Y(K
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!