前言 +VL:O]`DJ
C-g,uARX(r
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 f:6F5G
QEMT'Cs
一、在union中存储对象 nw#AKtd@x
PXML1.r$Q
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? Bd- &~s^
8|Ob7+
#pragma warning(disable : 4786) 5,-:31(j\
#include KT+{-"4-
using namespace std; d c/^
rITA-W O
class TestUnion 1K(mdL{m5
{ OUFy=5(%:
public: g<7Aln}Nl\
TestUnion(long l):data_(l) :*^aSPlV
{ w#ZzmO
}; (F9e.QyWb
int data_; apt$e$g
}; FM(EOsWk
KP
6vb@(6
typedef union _tagUtype_ Lf%=vd
{ {:3:GdM6
TestUnion obj; Ni|MTE]~
}UT; Y[_|sIy*
m*YfbOhs#
int main (void) HF"TS*
{ f~ /hsp~Hp
return 0; 0-;>O|U3
} >P:U9
b
:U/]*0b
5#s],h
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: m )rVzL
'.<c[Mp
class TestUnion FP}I+Ys
{ iOSt=-p
public: z] -m<#1
int data_; B}. :7,/0
}; %d*0"<v
sINf/mv+
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! uqU&k@
d{t@+}0.u
二、类中union的初始化 &/-MUKN
!]E]Xd<
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 0rz1b6F5,
ngmC~l*,
#pragma warning(disable : 4786) I/!AjB8W4
#include nB5\ocJ
'o4`GkNh)
using namespace std; (5,x5l]-N
`(`-S
md
class TestUnion 023uAaI^3r
{ aXG|IN5 *m
enum StoreType{Long,Const_CharP}; ')~V=F
union 9_F&G('V{a
{ 7U1M;@y
const char* ch_; hN~H8.g
long l_; _ `O",Ff
} data_; 8y
StoreType stype_; ^Ifm1$X}
TestUnion(TestUnion&); 4o;;'P
TestUnion& operator=(const TestUnion&); <8Tp]1z
public: Eb@**%
TestUnion(const char* ch); &-p~UZy
TestUnion(long l); o|vL:| 8Q
operator const char*() const {return data_.ch_;} hkm}oYW+
operator long() const {return data_.l_;} ^Y;,cLXJ
}; @: =vK?8L
XP0;Q;WF}
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) VpAwvMw
{ X%znNx
} b_6cK#
_&U#*g
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) LyNmn.nN
{ "crp/Bj?
} ]\A=[T^
&+A78I
int main (void) )8rF'pxI
{ NqD Hrx
TestUnion pszobj("yuankai"); ~x/ka43
TestUnion lobj(1234); U1Fo #L
cout<(pszobj)< cout< D29Lu(f
return 0; ^b`-zFL7
} ;|oft-y
SCe$v76p#
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: @Lf&[_
*QWOWg4w
class TestUnion S ~h*U2
{ H25Qx;(dTk
enum StoreType{Long,Const_CharP}; #_aq@)Fd
union DataUnion //不能匿名 \,X)!%6kZ
{ d0ht*b
DataUnion(const char*); //声明const char*构造函数 [kqtkgK$j2
DataUnion(long); //声明long构造函数 r)Lm| S
const char* ch_; *c=vEQn-
long l_; m%[/w wL
} data_; yvzH}$!]
StoreType stype_; @R%qP>_
TestUnion(TestUnion&); tJ6Q7
J;n
TestUnion& operator=(const TestUnion&); 7)[Ve1;/N
public: [xrsa!$
TestUnion(const char* ch); chUYLX}45
TestUnion(long l); 1:^Xd~X
operator const char*() const {return data_.ch_;} .;Gx.}ITG6
operator long() const {return data_.l_;} X<C fy
}; SpU|Q1Q/h
k[D,du')
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 6("bdx;!
{//注意data_(ch),这里直接引用data_ F<6(Hw#>
} {'h&[f>zcQ
Fp@> (M#3
TestUnion::TestUnion(long l):data_(l),stype_(Long) ;zo|. YD
{//注意data_(l),这里直接引用data_ KN657 |f
} %Gyn.9\
[?9 `x-Q
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) dm=?o
{ uF}dEDB|;
} f
-F}~S
Il*!iX|23<
TestUnion::DataUnion::DataUnion(long l):l_(l) n
YUFRV$
{ <&) hg:
} '1b)(IW
`|Di?4+6%
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!