前言 i}B;+0<drx
(= 9wo
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 4}i*cB`
Y9u;H^^G
一、在union中存储对象 qK?$=h.
,)zt
AFn=
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 2U}m RgJu
yyP'Z~0
#pragma warning(disable : 4786) j$vK<SF
#include Ra[>P _
using namespace std; dx@QWTNE
/THnfy\
class TestUnion pj!:[d
{ n_P3\Y|
public: qaG# ;
TestUnion(long l):data_(l) f"Vgefk
{ A " S/^<
}; \gItZ}+c4}
int data_; i.y=8GxY
}; _ij$f<
EY=FDl V
typedef union _tagUtype_ 7)^:8I(
{ i)8N(HN
TestUnion obj; #f*g]p{
}UT; >&WhQhZ3kg
,."b3wR[w
int main (void) ZY cd.? :6
{ C#;@y|Rw
return 0; R{?vQsLk
} jJBnDxsA
L\e>B>u
y bQP E/9
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: f8'MP9Lv
.et ^4V3
class TestUnion KzphNHd
{ ``u:lL
public: Gr: 3{o`
int data_; !8R@@,_v
}; }HRK?.Vj:
nWJ:=JQ i"
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! Tf x :"u
5f^>b\8+ |
二、类中union的初始化 zN{JJ3-
R J~%0
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: gg^1b77hT
!VP %v&jKm
#pragma warning(disable : 4786) !tXZ%BP.u
#include /(?@mnq_
oY=1C}
using namespace std; 3A,rHYS
"NzD1k6.L
class TestUnion V*RdDF7
{ }T.?c9l X
enum StoreType{Long,Const_CharP}; ?D|\]0 eN
union k6(r !mc
{ h2w}wsb0l
const char* ch_; C4\,z\Q
long l_; 9o0!m Cq
} data_; j U[
O
StoreType stype_; a{'Z5ail
TestUnion(TestUnion&); g=l:cVr8y
TestUnion& operator=(const TestUnion&); l!
v!hUb+
public: 'O?~p55T
TestUnion(const char* ch); (GcT(~Gq)D
TestUnion(long l); Q@-ovuxi
operator const char*() const {return data_.ch_;} }BJX/, H,
operator long() const {return data_.l_;} F$MX,,4U
}; / i_ @
k?6z_vu
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) =IjQ4 0W
{ z@Hp,|Vy[
} [/ M`
j_cs;G: "
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) U@F)2?
{ "TS
} yT8=l"-[G
+jP~s
int main (void) WYrI |^[>
{ 'ZP)cI:+X
TestUnion pszobj("yuankai"); YB,t0%vTJw
TestUnion lobj(1234); ~9\zWRh
cout<(pszobj)< cout< r0]4=6U
return 0; q|.dez'
} }{[mrG
7KjUW\mN2Z
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: T=Z.TG|lIx
]; Wx
class TestUnion MJ{%4S{K,p
{ $s5a G)?7
enum StoreType{Long,Const_CharP}; >[10H8~bI/
union DataUnion //不能匿名 5W? v'"
{ M*eJ
JY
DataUnion(const char*); //声明const char*构造函数 t*XN_=E$f
DataUnion(long); //声明long构造函数 qMYe{{r
const char* ch_; 3)=c]@N0
long l_; 9uk<&nqx
} data_; ;]sYf
StoreType stype_; Jc6R{C
TestUnion(TestUnion&); @A<PkpNL
TestUnion& operator=(const TestUnion&); 0k,-; j,
public: Z{6kWA3Kk
TestUnion(const char* ch); ~|ss*`CT
TestUnion(long l); "&.S&=FlI
operator const char*() const {return data_.ch_;} lj=l4 &.i
operator long() const {return data_.l_;} o=J9
}; GB7/x*u
A]0:8@k5
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) b</9Ai=
{//注意data_(ch),这里直接引用data_ RDqFL.-S
} 2i{cQ96
U?a6D:~G
TestUnion::TestUnion(long l):data_(l),stype_(Long) yifY%!@Xu
{//注意data_(l),这里直接引用data_ 7JJ/D4uT
} -s|8<A||"
!~]<$WZV
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ?S$i?\Qh
{ C)'q
QvA
} %WTEv?I{Ga
XW{>-PBg:
TestUnion::DataUnion::DataUnion(long l):l_(l) 0& >H^
{ SP* fv`
} v3d&*I
".^VI2T
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!