前言 s34{\/'D+
x: `oqbd
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 i`FevAx;[m
?E^~z-
一、在union中存储对象 ?Z.p.v
)ra_`Qdcf
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? |k^'}n
F7Mf>."
#pragma warning(disable : 4786) *_!nil 3(i
#include }XX)U_x
using namespace std; aiF7\^aw$
vYKKv%LE
class TestUnion i,8h
B(M!
{ CJz2.yd
public: A Ns.`S
TestUnion(long l):data_(l) D\}^<HW
{ blpX_N
}; s+#gH@c
int data_; :"5i/Cx
}; qg7.E+
4c_TrNwP
typedef union _tagUtype_ n;@PaE^8=
{ YiJnh47
TestUnion obj; A5S9F8Q/]
}UT; TD'Rv Tpl
` .|JTm[
int main (void) j1Fy'os"!
{ r{!]`
'8
return 0; )e d5~ok
}
?3D|{
~Z9Eb|B
9]< p
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: eee77.@y-p
{_&'tXL
class TestUnion Hbu8gqu
{ X;lL$
public: t~H'Ugv^
int data_; Jr$,w7tQn@
}; Ls< ";QJc
\3JZ=/
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ~b}a|K
NRN3*YGo
二、类中union的初始化 D99g}
M<s16
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 4QC"|<9R
f4UnLig
#pragma warning(disable : 4786) H=Scrvfx
#include :)o 4fOJ8
6_]-&&Nr
using namespace std; 7#d>a=$h
@ol=gBU
class TestUnion 1/X@~
{ pRWEBd1U
enum StoreType{Long,Const_CharP}; #hG0{_d7
union %:2EoXN"
{ 7=i8$v&GX
const char* ch_; 4<}!+X7m
long l_; uu ahR
} data_; Z/-9G
StoreType stype_; ~puXZCatN
TestUnion(TestUnion&); |osu4=s|
TestUnion& operator=(const TestUnion&); G"k.sRKu
public: \ #<.&`8B
TestUnion(const char* ch); sZe$?k|
TestUnion(long l); KaVNRS
operator const char*() const {return data_.ch_;} KuBN_bd
operator long() const {return data_.l_;} s%M#
}; H<_BnT#
SnIH6k0T_
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) N>ncv
{ -55[3=#
} Dzd[<Qln
T_t5Tg~i[N
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) L& = a(
{ #IJm*_J<
} \Ui3=8(
/{1s U}k-
int main (void) *vy^=Yea
{ MB7UI8
TestUnion pszobj("yuankai"); \c')9g@
TestUnion lobj(1234); HQp \0NC]
cout<(pszobj)< cout< q+iG:B /Z
return 0; 8y:/!rRN
} ~7p!t%;$
(vX)
<Z
!
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ATQw=w
3W
e
p jb
class TestUnion J`6IH#54
{ [^Z)f<l
enum StoreType{Long,Const_CharP}; R*[X. H
union DataUnion //不能匿名 {c
:7:
{ WCNycH+1
DataUnion(const char*); //声明const char*构造函数 4nsc`Hu
DataUnion(long); //声明long构造函数 Sp7VH+
const char* ch_; (@DqKB
long l_; A<h^.{
} data_; ]?<
wUd
StoreType stype_; oACbZ#/@n
TestUnion(TestUnion&); }_/]f!]
TestUnion& operator=(const TestUnion&); Vu`5/QDq
public: @4t_cxmD
TestUnion(const char* ch); Ux,?\Vd
TestUnion(long l); %p48=|+
operator const char*() const {return data_.ch_;} qX[{_$^Q
operator long() const {return data_.l_;} 4 s
s 4O
}; a}e GB +
s.X
.SJ
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) (ZPl~ZO
{//注意data_(ch),这里直接引用data_ Ypx5:gm|J
} lw]uH<v
+>&i]x(b
TestUnion::TestUnion(long l):data_(l),stype_(Long) +\doF
{//注意data_(l),这里直接引用data_ $:?Dyu(Il
} ZveNe~D7C
,i jB3J
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) /[=Yv!
{ l4gF.-.GYF
} yhkKakg,)
vbD""
TestUnion::DataUnion::DataUnion(long l):l_(l) E<ILZpP
{ $>8O2p7W
} XDY QV.Bv
Z0/$XS9|h;
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!