前言 4@a/k[,
/!/Pk'p=/
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 HoWK#Nz\
`G*fx=N
一、在union中存储对象 MD,BGO?C
9j5Z!Vsy
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? G- ]_
d
Cyg(~7]
#pragma warning(disable : 4786) ozHL'H
#include wp4
.~E
using namespace std; "tpD ->
;\j'~AyCn
class TestUnion )QnsRW{D"
{ g0;6}n
public: j^f54Ky.
TestUnion(long l):data_(l) Gs04)KJm<
{ $h=v;1"
}; /~+Fzz
int data_; (gcy3BX;
}; |&bucG=
WBzPSnS2
typedef union _tagUtype_ L`rrT
{ EgzdRB\Cf
TestUnion obj; {sq:vu@NC
}UT; a/%qn-i|p
"#f5jH
int main (void) -h8Z@r~a/
{ b 1."mT!p
return 0; G2|G}#E
} , BZ(-M
0+e0<'
2:yXeSeA
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: dWhqu68_
#AO}JP
class TestUnion "Z dI~
{ ^R7X!tOq4
public: YXdo&'Q<qX
int data_; ?D_}',Wx
}; :."+&gb
yy3`E}vX7
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! yaHkWkl
=
qB`%+<)C
二、类中union的初始化 -|=)
-`t9@1P>
=
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: e?]HNy
*r!qxiY=
r
#pragma warning(disable : 4786) 3z"%ht~;
#include : 'jVA
87+u`~
using namespace std; Dx9k%G)!
Zu2
$$_+L
class TestUnion *Rc?rMF !
{ ,bB}lU)
enum StoreType{Long,Const_CharP}; rQTG-& ,
union iI*qx+>f?
{ 7|!Zx-}
const char* ch_; l#p?lBm1
long l_; <v\x<ul6
} data_; rQPO+
StoreType stype_; t+0/$
TestUnion(TestUnion&); '68#7Hs.
TestUnion& operator=(const TestUnion&); |H5$VSw
public: Z 2$S'}F
TestUnion(const char* ch); z 5~X3k7
TestUnion(long l); Jt?`(H
operator const char*() const {return data_.ch_;} 8CvNcO;H0
operator long() const {return data_.l_;} m/,8\+
}; GQE7P()
q)YHhH\
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 1gLET.I:
{ p DU+(A4>
} VArMFP)cz
)"E1/$*k
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) %GMCyT
{ C
MGDg}
} ;H?tcb*
:8?l=B9("g
int main (void) /6y;fx
{ V[7D4r.j
TestUnion pszobj("yuankai"); A\.{(,;kp
TestUnion lobj(1234); x
Y}.mP
cout<(pszobj)< cout< gN<J0c)
return 0; Scmew
} /-=h|A#Kh
V.ae 5@;
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: HisH\z/i5)
Enp;-wG:-
class TestUnion 7--E$!9O,
{ +.*=Fn22
enum StoreType{Long,Const_CharP}; "!D,9AkZS
union DataUnion //不能匿名 =:H EF;!
{ `2q]ju
DataUnion(const char*); //声明const char*构造函数 &m TYMpA
DataUnion(long); //声明long构造函数 > aCY
const char* ch_; 5R1?jlm
long l_; (Q.I DDlr
} data_; }|znQ3A2\l
StoreType stype_; l
o-
42)
TestUnion(TestUnion&); j& L@L.d
TestUnion& operator=(const TestUnion&); OgCNqW
d-
public: bhfC2@
TestUnion(const char* ch); '\"5qB
TestUnion(long l); i> {0h3Y
operator const char*() const {return data_.ch_;} @U =~c9
operator long() const {return data_.l_;} gaE8\JSr
}; =}SLQdT
Hig.` P
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) W/%9=g$m
{//注意data_(ch),这里直接引用data_ D\DwBZ>
} 5hDPX\
TR'_v[uK3
TestUnion::TestUnion(long l):data_(l),stype_(Long) d"lk"R
{//注意data_(l),这里直接引用data_ :y_]JL;w
} *nV"X0&
OM@z5UP
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) o9OCgP`Y
{ NezE]'}
} MK!Aq^Jz
L#!m|_Mz
TestUnion::DataUnion::DataUnion(long l):l_(l) }%0X7'
{ _gl1Qtv@rf
} J!@R0U.
t&_X{!1X"w
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!