前言 z}mvX.j7
9`,,%vdj
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 yx 7loy$[
;HT0w_,
一、在union中存储对象 H WOek"}Z[
mf#fA2[
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? &F86SrsI
=>.DD<g"
#pragma warning(disable : 4786) )e#fj+>x)
#include ,$o-C&nC
using namespace std; 4g S[D
IS .g);Gj
class TestUnion 2;O c^
{ wiKCr/
public: ^]KIgGv\
TestUnion(long l):data_(l) }[
7Nb90v
{ E#8J+7
}; q^u6f?B
int data_; ?V.ig
}; jDFp31_X
ZyZl\\8U
typedef union _tagUtype_ W&WB@)ie
{ jw%fN!?
TestUnion obj; l85O-g}M
}UT; u2f `|+1^y
4p*?7g_WVH
int main (void) .Y+mwvLpRG
{ \-DM-NrZ1U
return 0; sTJJE3TBI
} cF-Jc}h
30t:O&2<
Qu!OV]Cc
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: lF)0aDk'h
ojiM2QT}m
class TestUnion YNuewD
{ :t_}_!~
public: ;D6x=v=2
int data_; @2QJm
}; wEZqkV
L;
@aE[#z
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! mxtlr)
Rc;1Sm9\
二、类中union的初始化 ]v/t8`
39'X$!
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 7)g;Wd+H
Iwnj'R7:
#pragma warning(disable : 4786) `#-p,NElV
#include -Pv P
,^UcRZ8.H
using namespace std; bEBZ!ghU
h[vAU 9f)
class TestUnion ke{DFqh
{ $Vd?K@W[h
enum StoreType{Long,Const_CharP}; qb#V)
union *g}vT8w'}
{ d@_'P`%-
const char* ch_; h #$_<U
long l_; M80}3mgP~
} data_; _Y}^%eFw
StoreType stype_; !NlB%cF
TestUnion(TestUnion&); j 8~Gv=(h
TestUnion& operator=(const TestUnion&); Y}eZPG.h
public: ;igEIGR
TestUnion(const char* ch); 11nO<WH
TestUnion(long l); KFCQYdI`d
operator const char*() const {return data_.ch_;} wWp?HDl"M
operator long() const {return data_.l_;} RlG'|xaT
}; F(0pru4u
a,en8+r]
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) #c8"
{ C?_t8G./_
} &utS\-;G
Pl`Bd0
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) W$x K^}
{ n^g-`
} d
%F/,c-=
[ni-UNTv
int main (void) @y&h4^)z
{ q[T_*X3o
TestUnion pszobj("yuankai"); EbHUGCMO
TestUnion lobj(1234); $D0)j(v
cout<(pszobj)< cout< 0B#rqTEKu
return 0; mP`,I"u
} #t5JUi%in*
>d1aE)?
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: {|t?
/9t*CEu\
class TestUnion D*<8e?F
{ dja9XWOg
enum StoreType{Long,Const_CharP}; \!?
PhNv
union DataUnion //不能匿名 dUBVp 9PB
{ :$) aMEq
DataUnion(const char*); //声明const char*构造函数 o
=jX
DataUnion(long); //声明long构造函数 5VY%o8xXa
const char* ch_; -NI@xJO4(;
long l_; &**.naSo
} data_; i&AXPq>`
StoreType stype_; jb6ZAT<8
TestUnion(TestUnion&); 06j)P6Iju
TestUnion& operator=(const TestUnion&); ]VO,}
`
public: 0^|$cvYiL
TestUnion(const char* ch); }b\ipA,~
TestUnion(long l); *(_ON$+3
operator const char*() const {return data_.ch_;} -h.3M0
operator long() const {return data_.l_;} t 's5~
}; /eI,]CB'z
]J0Y^dM
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ^O,6(@>
{//注意data_(ch),这里直接引用data_ xq#]n^
} )2*|WHO
0(.R?1*:Rf
TestUnion::TestUnion(long l):data_(l),stype_(Long) .5$V7t.t$\
{//注意data_(l),这里直接引用data_ N-_| %C-.
} _3g %F
f{oxF?|89
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) hyr5D9d
{ _^,[wD
} LXOF{FG
+eVpMD(
l
TestUnion::DataUnion::DataUnion(long l):l_(l) `cy"-CJS
{ J>&dWKM3
} d&3I>E$UP
hKH
Q!`&v
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!