前言
!9-dS=:Y
:wMZ&xERDZ
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 tUzuel*
&_ber ad
一、在union中存储对象 xi ^_C!*J
]:F]VRPT
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? fZgZ
Te;`-EL
#pragma warning(disable : 4786) p!=/a)4X
#include 5ES$qYN
using namespace std; N52N ^X>
FJ/kumq
class TestUnion rLp0VKPe
{ B4|3@X0(
public: - iU7'
TestUnion(long l):data_(l) nfd^'}$]
{ Hc}(+wQN%
}; #;+GNF}0mG
int data_; Bdf3@sbM]
}; NVP~`sxiZ
07n=H~yU
typedef union _tagUtype_ |= ~9y"F
{ 5'@}8W3b
TestUnion obj; yVSJn>l!
}UT; M^H357r%
Xod#$'M>
int main (void) _bW#*
Y5
{ m%akx@{WL
return 0; Bp9
u6R
} a93Aj
(g5T2(_6L
ofsua?lSe
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: d^4!=^HN
8g$pfHt|e
class TestUnion 233jT@Z
{ uV{cvq$jy
public: q^EG'\<^
int data_; 21W>}I"0?
}; ~|riFp=J
0&zp9(G5
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! PE-VxRN)
-GQ`n01
二、类中union的初始化 Y'58.8hl
C&r&&Pw
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: p9fx~[_5/
nD|Bo 9
#pragma warning(disable : 4786) ?z p$Wz;k
#include zoA]7pG-
1Z|q0-Dw0
using namespace std; 7N 7W0Ky
L -<!,CASW
class TestUnion ZxY%x/K
{ Ee^2stc-
enum StoreType{Long,Const_CharP}; XXvM*"3D5
union 1ih|b8)Dn
{ 7iT#dpF/A
const char* ch_; 0rooL<~fa
long l_; _>0I9.[5
} data_; KftZ^mk+p
StoreType stype_; uK1DC i
TestUnion(TestUnion&); .*i.Z
TestUnion& operator=(const TestUnion&); l.El3+
public: (6!W8x7
TestUnion(const char* ch); !np-Jmi
TestUnion(long l); L~=h?C<
operator const char*() const {return data_.ch_;} c#Y/?F2p
operator long() const {return data_.l_;} &i$p5
}; LS
<\%A}
m?0caLw<
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) vjmNS=l
{ TZ3"u@ 06
} "]B:QeMeF!
f
}P6P>0T
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) PVLLuv
{ c7Jfo
x
V
} V 9bn
lXjhT
int main (void) v*U OD'tk
{ A63=$
TestUnion pszobj("yuankai"); ,Y ./9F
TestUnion lobj(1234); [2ez" 4e
cout<(pszobj)< cout< Ia
%> c
return 0; "w7wd5h
} C/_Z9LL?F
?)X0l
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: wF[%+n (*
Qv~lH&jG
class TestUnion e#BxlC
{ EIug)S~
enum StoreType{Long,Const_CharP}; sYE|
union DataUnion //不能匿名 :"{("!x
{ eaB6e@]@
DataUnion(const char*); //声明const char*构造函数 rK(TekU
DataUnion(long); //声明long构造函数 _X;xW#go
const char* ch_; 9(eTCe-~6
long l_; %m )vQ\Vtx
} data_; '(fQtQ%
StoreType stype_; #\1)Tu%-
TestUnion(TestUnion&); m#|;?z
TestUnion& operator=(const TestUnion&); ~)vq0]MRg
public: oR[-F+__
TestUnion(const char* ch); yI$KBx/]n
TestUnion(long l); WstX>+?'
operator const char*() const {return data_.ch_;} 3:qn\"Hj
operator long() const {return data_.l_;} pV[SY6/
}; _D.4=2@|l8
<aSjK#
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 1K\zamBg
{//注意data_(ch),这里直接引用data_ upi\pXv
} DXyRNE<G[C
XN|[8+#U<@
TestUnion::TestUnion(long l):data_(l),stype_(Long) '8Wu9 phT
{//注意data_(l),这里直接引用data_ mH6\8I
} x<d2/[(}mT
C@b-)In
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 8GlRO4yd
{ VRE[vM'
} v-(dh5e`
H
PJ-g.0q
TestUnion::DataUnion::DataUnion(long l):l_(l) uidoz
f2}
{ n~_;tO
} 6 H{G$[2
nOTe 3?i>
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!