前言 EV-# E
wL6G&6]</W
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 zvdIwV&oT
S1C#5=
一、在union中存储对象 "I{Lcn~!@
ltNY8xrdGN
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? nY\X!K65
yF+mJ >kj
#pragma warning(disable : 4786) ZW@cw}
#include Ol|fdQ
using namespace std; 0I2?fz)
4p6T0II_$
class TestUnion M&H,`gm
{ ocp
public: `G:hC5B
TestUnion(long l):data_(l) 5D
XBTpCVM
{ LCq1F(q
}; zTi
8 y<}
int data_; =5YbK1Q^
}; jX*gw6!
+[$Td%6
typedef union _tagUtype_ jyidNPLm4
{ w"O;: `|n
TestUnion obj; |tTcJ\bG
}UT; &4l!2
L%- ENk
int main (void) +"~*L,ken0
{ 0 wDhX
return 0; w]V684[>
} G9K& }_,
8H8Q
\]\ h,Y8
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ?`6Mfpvj96
&>K|F >7q
class TestUnion IMpL+W.
{ Ke~!1S8=
public: |t;Ktl
int data_; T|
R!Aw.
}; rL?{+S]&^)
n0%S: (
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 3x
z
z*
<
` 1y @c"t
二、类中union的初始化 |It{L0=U
*/$] kE
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ,JPDPI/a
t^%)d7$
#pragma warning(disable : 4786) s:z
#include _)4zm
BIg2`95F|
using namespace std; x@pzgqi3
=CCddLO
class TestUnion mJH4M9WJ]
{ [[]NnWJ
enum StoreType{Long,Const_CharP}; &lxMVynL
union LJt5?zQKrW
{ ,">CPl]
const char* ch_; }wEt=zOJ
long l_; ?iHcY,
} data_; r'XWt]B+[
StoreType stype_; T?`Ha\go
TestUnion(TestUnion&); zn|O)"C
TestUnion& operator=(const TestUnion&); vB5mOXGN q
public: 4FKgp|Y0
TestUnion(const char* ch); `q1-yH0~4
TestUnion(long l); #sbW^Q'I
operator const char*() const {return data_.ch_;} %L-{4Z!"sI
operator long() const {return data_.l_;} fQ_tXY
}; n-<`Z NMU
T ~p>Ed 9
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) NvpDi&i
{ OGq=OW
} L[Wi[S6=)g
FEBRUk6.h
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) tlI]);iE,
{ k9VWyq__
} ]J/;Xp
6k+tO%{~
int main (void) !L/.[:X
{ (+BrC`
TestUnion pszobj("yuankai"); )]m4FC:
TestUnion lobj(1234); Uf?+oc'{
cout<(pszobj)< cout< gAsjkNt?
return 0; 87KSV"IU8
} ZOx;]D"s
UM0#S}
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Kf$6D 79#
\fYPz }wt
class TestUnion |47 2X&e
{ x'%vL",%
enum StoreType{Long,Const_CharP}; jX t5.9 t
union DataUnion //不能匿名 N2u4MI2
{ $ylxl"Y
DataUnion(const char*); //声明const char*构造函数 (;HO3Z".q$
DataUnion(long); //声明long构造函数 VHL[Y
const char* ch_; q'X#F8v
long l_; RGY#0 .Z}
} data_; bPl'?3
StoreType stype_; /u"Iq8QA
TestUnion(TestUnion&); Ie8K[ >
TestUnion& operator=(const TestUnion&); ER4#5gd
public: 0-d&R@lX.
TestUnion(const char* ch); 1d&Q
E\2}
TestUnion(long l); qs9r$o.\l
operator const char*() const {return data_.ch_;}
?9*[\m?-
operator long() const {return data_.l_;} V9
EC@)
}; NpA%7Q~B$,
NpGz y`&b
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) |m$]I4Jr
{//注意data_(ch),这里直接引用data_ PK_2
} Y)M-?|4
T%YN(f
TestUnion::TestUnion(long l):data_(l),stype_(Long) 4!?4Tc!X
{//注意data_(l),这里直接引用data_ a4q02 cV
} &kH7_Lz
oL9ELtb]s
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) -^rdB6O6j
{ JNu+e#.Y
} dcE(uf
`_J>R
TestUnion::DataUnion::DataUnion(long l):l_(l) t*c_70|@k
{ HLE%f;
} MA7&fNjB
#vPk
XcP
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!