前言 9y*!W
3/=QZ8HA&-
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 RbM~E~$
$)]FCuv
一、在union中存储对象 kw:D~E(
j/pQSlV
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? Le
JlTWotC
f {c[_OR
#pragma warning(disable : 4786) kte.E%.PE
#include C+?s~JL
using namespace std; 7 aD&\?
\X.=3lc&
class TestUnion 'sBXH EZA]
{ 'm5(MC,
public: 32LB*zc
TestUnion(long l):data_(l) <&%1pZ/6.
{ %,cFX[D/)
}; 5a!e%jj
int data_; PB67?d~
}; pNQkKDbL+
pQ:PwyU
typedef union _tagUtype_ ,HkhK bQ
{ z8 ;#H
tr
TestUnion obj; aZ>\*1
}UT; i!oj&&
dKQV4dc>
int main (void) G1_@!
4
{ cu`J2vm3
return 0; \g1@A"
} -b0'Q
"HfU,$[
L{A-0Ffh
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ]</4#?_
+()t8,S,
class TestUnion @H%=%ZwpO
{ WTYFtZD[yH
public: -yQ\3wli`
int data_; ^r_lj$:+$
}; LA`VqJ
[ky6E*dV`
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! {3(.c, q@
Z;~[@7`
二、类中union的初始化 9Y%?)t.2
zHOE.V2Qo
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: HU[nN*
ou^nzm
#pragma warning(disable : 4786) n_n|^4w
#include @IY?DO
%s@S|<
W
using namespace std; N[<`6dpE
#"8[8jyV
class TestUnion <uKm%~xi<
{ s
P4,S(+e
enum StoreType{Long,Const_CharP}; jc.JX_/
union B%J%TR_
{ 5J+V:Xu{
const char* ch_; l5Wa'~0qA
long l_; ?5v5:U(A
} data_; {I-a;XBX
StoreType stype_; k
gu[!hD1
TestUnion(TestUnion&); nlebFDb7
TestUnion& operator=(const TestUnion&); (5q%0|RzRs
public: M1^C8cz
TestUnion(const char* ch); soq".+Q
TestUnion(long l); qm}>J^hnB#
operator const char*() const {return data_.ch_;} s>VEuLY*
operator long() const {return data_.l_;} Sj{ia2AE_
}; rt^45~
{rvbo1t
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) t0J5v ;
{ LJ(n?/z%
} 6=,#9C9
[)SR$/A
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ^[,s_34V
{ ~x4B/zW?
} oCKM5AVWsv
Hg9.<|+yo
int main (void) _0W;)v
{ i,IM?+4
TestUnion pszobj("yuankai"); KHlIK`r
TestUnion lobj(1234); 3U~lI&
cout<(pszobj)< cout< J/x@$'
return 0; +:,`sdv6o
} rFq@]t3q
N8XC~Dh{
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: J,1osG<6x
},fo+vRM
class TestUnion u.kYp
{ G?ugMl}
enum StoreType{Long,Const_CharP}; JOdwv4(3V
union DataUnion //不能匿名 U$A7EFK'
{ |#&V:GZp
DataUnion(const char*); //声明const char*构造函数 YXzZ-28,<
DataUnion(long); //声明long构造函数 m@Ip^]9ry
const char* ch_; fNqmTRu
long l_; 7SK3
} data_; %[nR|a<
StoreType stype_; zvGK6qCk
TestUnion(TestUnion&); wt}%2x} x
TestUnion& operator=(const TestUnion&); l7'{OB
L
public: t[?a@S~6
TestUnion(const char* ch); dm2CA0
TestUnion(long l); e$Bf[F#;-
operator const char*() const {return data_.ch_;} :6W^ S/pf
operator long() const {return data_.l_;} $Pd|6
}; 9si}WqAw
^RV
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) _3.G\/>[K
{//注意data_(ch),这里直接引用data_ W{A
#]r l
} w<Yv`$-`
CzSZ>E$%U
TestUnion::TestUnion(long l):data_(l),stype_(Long) fK'.wX9
{//注意data_(l),这里直接引用data_ x[vBK8
} ~ThVap[*
7?MB8tJ5r4
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 5c]}G.NV
{ sOl>5:D6
} oSn! "<x
Qsg/V]
TestUnion::DataUnion::DataUnion(long l):l_(l) 5 o#<`_=J
{ {Z#e{~m#
} ={`CHCI
~{4n}*
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!