前言 MTI[Mez
h 8Shf"
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ]#$l"ss,
>|j8j:S[
一、在union中存储对象 tUOqF
l!S}gbM
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? -/^a2_d[
i&K-|[3{g
#pragma warning(disable : 4786) 1u `{yl*+?
#include su2|x
using namespace std; b*5Yy/U
hYvWD.c}
class TestUnion M~h^~:Lk
{ Y8i'=Po%,
public: oItEGJ|
TestUnion(long l):data_(l) tJ3Hg8;
{ z4!Y9
}; $3yzB9\a"
int data_; Z'Uc}M'U
}; fx74h{3u
]h3{MTr/
typedef union _tagUtype_ KU;d[Z@g
{ $u"*n\k>
TestUnion obj; itU
P%
}UT; %DQ!#Nl*
}c]u'a!4
int main (void) KkK
!E
{ "aT"o
return 0; zWA~0l.2
} _6Z}_SiOl
v)c[-:"z
XYrZI/R
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: KtMD?
sUe<21:
class TestUnion qA;!Pql`
{ WHk rd8
public: c{(4s6D
int data_; n/
m7+=]v
}; )O:T\{7+
(?ofL|Cg(
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! h*lU&8)m\
$`'%1;y@
二、类中union的初始化 JI7.:k;
hsJS(qEh.'
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: * .P3fVlZ
-.
J@
#pragma warning(disable : 4786) VT:m!<^
#include y%Wbm&h
x7!YA>
using namespace std; Su>UXuNdE#
/4{.J=R}
class TestUnion ^2<nn op
{ z@tIC^s
enum StoreType{Long,Const_CharP}; ];U}'&
union 41s [p56+@
{ Xxmvg.Nl
const char* ch_;
2E/yZ ~2s
long l_; #- z(]Y,y
} data_; yS";
q
StoreType stype_; 8 aC]" C
TestUnion(TestUnion&); -MTO=#5z
TestUnion& operator=(const TestUnion&); ?S0gazZm
public: \CK f/:"
TestUnion(const char* ch); s]@k,%
TestUnion(long l); ?5Ub&{
operator const char*() const {return data_.ch_;} Q%Y rm
operator long() const {return data_.l_;} 0o*
}; Ng;Fhv+
Y:3\z?oV[
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) [*2|#KSCX
{ jb
{5
} .=% ,DT"
Ag@R 60#
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) P6([[mmG
{ 7nOn^f D
} i#1~<U
h 1`yW#%
int main (void) ]Yd7
{ h6Q-+_5
TestUnion pszobj("yuankai"); j[q$;uSD
TestUnion lobj(1234); B9Z=`c.T
cout<(pszobj)< cout< DUOSL
return 0; _!'sj=n]q
} ab-MEN`5
S&w(H'4N
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: EHC^ [5
%\n&iRwDF
class TestUnion G ?&T0
{ 4}t&AW4
enum StoreType{Long,Const_CharP}; GP,xGZZ
union DataUnion //不能匿名 _Sxp|{H0
{ 2xJT!lN
DataUnion(const char*); //声明const char*构造函数 0-{l4;o
DataUnion(long); //声明long构造函数 {Vj25Gt
const char* ch_; D8I)3cXa'
long l_; {cF>,T
} data_; Y
=BXV7\
StoreType stype_; x w%'R-
TestUnion(TestUnion&); 3ZKaqwK
TestUnion& operator=(const TestUnion&); 1>1ii
public: t <Z)D0.
TestUnion(const char* ch); .Iret:
TestUnion(long l); D@yuldx'/
operator const char*() const {return data_.ch_;} gUq)M
operator long() const {return data_.l_;} l8_TeO
}; 3M&IMf,/@
;<yVJox
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) P=jbr"5Q:
{//注意data_(ch),这里直接引用data_ [!v|
M
} ecI[lB
-}?ud3f<
TestUnion::TestUnion(long l):data_(l),stype_(Long) XS'0fq a
{//注意data_(l),这里直接引用data_ @$( /6]4p
} L'J Ekji"
jSj
(ZU6
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) L,F )l2
{ 1K ;i/
} 2Rp'ju~O)/
FrNW@
TestUnion::DataUnion::DataUnion(long l):l_(l) V %cU@
{ 8;YN`S!o
} y/}>)o4Q
w]{NaNIeq1
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!