前言 <7j"CcJzZ
W"s)s
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 >NA{* *$0
bhCAx W
一、在union中存储对象 |3gWH4M4**
?'OL2~
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? ro^T L
.b<wNUzP
#pragma warning(disable : 4786) lR^W*w4y
#include ^ E3 HY@j
using namespace std; QhPpo#^
'~pZj"uy
class TestUnion ^!K 8nW{*
{ E{'\(6z_
public: J*qo3aJjE
TestUnion(long l):data_(l) / KKA/
{ A$]#f
}; ^>h2.AJ
int data_; 21~~ =+)X
}; ;{"uG>#R
U5j0i]
typedef union _tagUtype_ !6*4^$i#o
{ q/3co86c
TestUnion obj; 7zu3o
}UT; O9:J
^g
"IoY$!Hk
int main (void) p5bM/{DP;K
{ >soSOJ[
return 0; w6[$vib'
} SXmh@a"*\
Cx8
H
.Mzrj{^Y
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: `u7twW*U2
Ap`D{u/
class TestUnion ~h444Hp=
{ RH;Kbu
public: Cta!"=\
int data_; D o!]t7Y$
}; Q8bn|#`
+fq;o8q
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! Y67i\U>?
%* @hS`
二、类中union的初始化 &0J/V>k
6X$iTJ[\x
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: rB3b
`wNJ*`
#pragma warning(disable : 4786) 2Zw]Uu`sb
#include "'6R|<u=:
v0|"[qGb
using namespace std; W7
9.,#
q^b_'We_9
class TestUnion .t{?doOT
{ .n)0@X!
enum StoreType{Long,Const_CharP}; %gXNWxv
union Q9
RCN<!
{ c]:@y"W5$
const char* ch_; IeJ@G)
long l_; axd9b,
} data_; CV6W)B%Se
StoreType stype_; >Y&o2zJy
TestUnion(TestUnion&); JT 5+d ,
TestUnion& operator=(const TestUnion&); u2Qs}FX
public:
%Lgfi
TestUnion(const char* ch); +4Lj}8,
TestUnion(long l); p:8]jD@}%
operator const char*() const {return data_.ch_;} kA&ul
operator long() const {return data_.l_;} wGA%h.[M|
}; =|bW >y
=v/x&,Uj@6
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) M.}QXta
{ .s<tQU
} 74*iF'f?c
Gh9dv|m=[;
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) BGVy
\F<
{ dLTA21b#
} @GE:<'_:{
'P~6_BW
int main (void) Q*AgFF%wn
{ T 9?!.o
TestUnion pszobj("yuankai"); <2RxyoDL6
TestUnion lobj(1234); AkRZUj\
cout<(pszobj)< cout< 1oIu~f{`
return 0; -qRO}EF
} (3Z~EIZz
We*c_;@<
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Q Ph6
p3bg
MBH/,Yd
class TestUnion d@t3C8
{ $~*d.
enum StoreType{Long,Const_CharP}; L\asrdL?=
union DataUnion //不能匿名 MHKB:t]hA
{ Gu9x4p
DataUnion(const char*); //声明const char*构造函数 )d-{#
DataUnion(long); //声明long构造函数 EM.rO/qcW
const char* ch_; uDi#a~m@
long l_; YJ^TO\4WM
} data_; :7Q,
`W9
StoreType stype_; |qsY0zx
TestUnion(TestUnion&); o] 7U;W
TestUnion& operator=(const TestUnion&); n;Etn!4M
public: Dbo.N`
TestUnion(const char* ch); *d/]-JN,K
TestUnion(long l); Yhd|1,m9f
operator const char*() const {return data_.ch_;} v;@-bED(Qs
operator long() const {return data_.l_;} `+0)dTA(g$
}; yLlAK,5P0o
h8_~ OX
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ' ! ls"qo
{//注意data_(ch),这里直接引用data_ rfNt
} k)R>5?_
k|}S K9
TestUnion::TestUnion(long l):data_(l),stype_(Long) "A?_)=zZ
{//注意data_(l),这里直接引用data_ '%"#]
} emI]'{_G
?V&[U
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) d\ Z#XzI8
{ oxPb; %
} RycO8z*p
8; s$?*Gi
TestUnion::DataUnion::DataUnion(long l):l_(l) XOy#?X/`
{ bz?
*#S
} d.&~n`Rv!p
=`]yq;(C7j
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!