前言 .jps6{
r1!]<= &\
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 y+ZCuX
eOI#T'5
一、在union中存储对象 kn 1+lF@
KJLK]lf}d
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? q7'[II;
TPeBb8v8D
#pragma warning(disable : 4786) }^/;8cfLY
#include `9yR,Xk=l
using namespace std; \mt>R[
fX 41o#
class TestUnion bAl0z)p
{ ;n-IpR#|
public: $={WtR
TestUnion(long l):data_(l) wcI4Y0+J
{ #:?MtVC
}; $3C$])k
int data_; UIl^s8/
}; F< #!83*%
/Vy8%
typedef union _tagUtype_ ~"ij,Op,3
{ 3M&IMf,/@
TestUnion obj; nPj/C7j
}UT; LpJ_HU7@lk
P=jbr"5Q:
int main (void) 7:_\t!]
{ |NiWr1&i0
return 0; G?OwhX
} 9u\&kQxqD
BkTGH.4G%
D|Tv`47ntu
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: !"Q8KV
vj:hMPC
ZM
class TestUnion g}hR q%
{ ;_ ^"}
public: F
;m1I+;
int data_; 1jhGshhp
}; 2 #+g4
$K,6!FyBa
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! #^bkM)pc
%joIe w]V3
二、类中union的初始化 32flOi:
y/}>)o4Q
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ]o(&J7Z6-
AwKxt'()^
#pragma warning(disable : 4786) t*? CD.S
#include 82X}@5o2
Q.Kr;64G
using namespace std; srN>pO8u~
ly d[GfJ
class TestUnion &!3=eVg
{ Y.Er!(pz
enum StoreType{Long,Const_CharP}; QrP$5H{[E
union "$Wi SR
{ <9S?wju4W'
const char* ch_; A;sd rA
long l_; I]`>m3SJ
} data_; ~[i,f0O,
StoreType stype_; CMIjc(m
TestUnion(TestUnion&); PUUBn"U-
TestUnion& operator=(const TestUnion&); P7I,xcOm
public: `ecuquX'
TestUnion(const char* ch); Cl;B%5yl
TestUnion(long l); #pxc6W /
operator const char*() const {return data_.ch_;} @5%c P
operator long() const {return data_.l_;} !P, 9Sg&5)
}; <:u)C;
_[SP*"
]H
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) N.q4Ar[x#p
{ c?0uv2*Yh
} 3986;>v
yiUJ!m
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) >NN |vj
{ #4{f2s[j6
} (WK$
)f
[UI4YZu}
int main (void) =*q:R9V
{ p;VqkSQ76
TestUnion pszobj("yuankai"); N,w;s-*
TestUnion lobj(1234); qVFz-!6b
cout<(pszobj)< cout< |67j__XC
return 0; U/M(4H3>H
} x7J|
rbnu:+!
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: UcMe("U
C"/]X
class TestUnion N1I1!!$K;%
{ G{ rUqo
enum StoreType{Long,Const_CharP}; v&U'%1|
union DataUnion //不能匿名 }Kq5!XJV9C
{ eb:mp/
DataUnion(const char*); //声明const char*构造函数 :y'D] ,_
DataUnion(long); //声明long构造函数 _tQ=ASe0
const char* ch_; /n7F]Ok'*
long l_; *?gn@4Ly
} data_; "w`f>]YLA
StoreType stype_; >]=1~sF
TestUnion(TestUnion&); I0O)MR<
TestUnion& operator=(const TestUnion&); q+32|k>)
public: ~Xnq(}?ok
TestUnion(const char* ch); dCcV$BX,K
TestUnion(long l); P_t8=d
operator const char*() const {return data_.ch_;} o><~ .T=d&
operator long() const {return data_.l_;} _c%]RE
};
UJoWTx
c?d+>5"VX
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 4i[3|hv'
{//注意data_(ch),这里直接引用data_ +I2P{7
} pM\)f
B4&@PX"'>,
TestUnion::TestUnion(long l):data_(l),stype_(Long) r{kV*^\E
{//注意data_(l),这里直接引用data_ tqrvcnQr^
} T}P|uP
/'G'GQrr
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) (@M=W.M#
{ [*?P2.b f
} #l-,2C~
']f]:X;6w
TestUnion::DataUnion::DataUnion(long l):l_(l) y]?%2ud/ =
{ 9L?EhDcDV
} <l5{!g
&P!^k0NJR
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!