前言 F=)9z+l#
wn2+4> |~p
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 @=4K%SCw
Q[?O+
一、在union中存储对象 rK 9
[gI;;GW
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? [^sv.
0Yk@O)
x
#pragma warning(disable : 4786) k1Cx~Q)XC
#include H6i4>U*
using namespace std; itV@U
jzCSxuZ7O
class TestUnion 2
|lm'Hf
{ U,Py+c6
public: ;o*n*N
TestUnion(long l):data_(l) GPP{"6q5'
{ w;@DcX$]
}; pd2Lc
$O@
int data_; n-iy;L^b
}; bV|(V>
oj\av~cI
typedef union _tagUtype_ 4JF)w;X}
{ mHcxK@qw
TestUnion obj; e`gOc*
}UT; IRy!8A=X
fT9z 4[M
int main (void) uLFnuK
{ fNjxdG{a
return 0; =fk+"!-i%"
} %@JNX}Y'
X]up5tk~
ukM11LD5x
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ;:(kVdb
my+y<C-o`
class TestUnion }2dz];bR
{ Bc1[^{`bq^
public: i$MYR @
int data_; \GA6;6%Oo
}; 15PFnk6E|
JBX#U@k>I
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! {|)u).n|
}py6H[
二、类中union的初始化 [X>\!mt
$@]tTz;b
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: _m3}0q
:9`'R0=i^
#pragma warning(disable : 4786) llG^ +*Y8t
#include .-Y3oWV
S<),
,(
using namespace std; wkSIQL
XP#j9CF#.
class TestUnion 7kDX_,i
{ dV+%x"[:
enum StoreType{Long,Const_CharP}; Cm)_xnv
union fa#xEWaFr
{ b'i-/l$
const char* ch_; B<)c{kj
long l_; oy+`` W~
} data_; "$)Nd+ny
StoreType stype_; BGAqg=nDV
TestUnion(TestUnion&); QEd>T"@g
TestUnion& operator=(const TestUnion&); &n:3n
public: r2:n
wlG
TestUnion(const char* ch); Ec!fx\
TestUnion(long l); s"1:#.u
operator const char*() const {return data_.ch_;} "r@f&Ssxb
operator long() const {return data_.l_;} G55-{y9Q
}; m(Hb! RT
( `V
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) f n]rMH4>
{ kaSi sjd
} @
s
;qM
I3 wF
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) InI^,&<
{ WH`E=p^x4
} pUs:r0B
9OIX5$,S;
int main (void) v=n'#:k
{ @WcK<Qho
TestUnion pszobj("yuankai"); OC)~psQK
TestUnion lobj(1234); D$k<<dvv
cout<(pszobj)< cout< KIt:ytFx
return 0; dQhh,}
} UsT+o
?sF<L/P0
F
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: !@ERAPuk
;Dl< GW3<
class TestUnion "T>74bj_|Q
{ K@ZK@++
enum StoreType{Long,Const_CharP}; V*an0@
union DataUnion //不能匿名 SSi-Z
{ ~( %TQY5
DataUnion(const char*); //声明const char*构造函数 'G3;!xk$
DataUnion(long); //声明long构造函数 :\
%.x3T'
const char* ch_; ^4jIT1
long l_; f? sW^d;
} data_; Z<j(ZVO
StoreType stype_; gO
C5
TestUnion(TestUnion&); li>`9qCmI
TestUnion& operator=(const TestUnion&); 6.]x@=Wm
public: kbij Zj{
TestUnion(const char* ch); lWYZAF>?Ym
TestUnion(long l); 3hzI6otKS
operator const char*() const {return data_.ch_;} Q/e$Ttt4J
operator long() const {return data_.l_;} OKDBzl
}; ts2;?`~
&r0b~RwUv
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ~N</;{}fL4
{//注意data_(ch),这里直接引用data_ L%D:gy9o
} eBZ^YY<*g
hdFIriE3
TestUnion::TestUnion(long l):data_(l),stype_(Long) L2v
j)(
{//注意data_(l),这里直接引用data_ -#yLH
} eK
}AVz}k
& <{=
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) YuO-a$BP
{ }=kf52Am,}
} SG6@Rn*^
A]VcQ_e
TestUnion::DataUnion::DataUnion(long l):l_(l) C)2Waj}
{ JaC
=\\B
} :5/P{Co(
k!/"J
;
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!