前言 dZkj|Ua~
P,<pG[^K
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 *&BS[0;
)|,Zp`2/
一、在union中存储对象 T@R2H&L
-Oplk*
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? #i 5@G*
888"X3.T
#pragma warning(disable : 4786) ms6dl-_t
#include PI&@/+
using namespace std; :Aa5,{v_
$O^"OQ_@
class TestUnion 9Pql\]9"o
{ 6KE?@3;Om
public: gxc8O).5vY
TestUnion(long l):data_(l) "ph[)/u;
{ )v+\1
}; rqTsKrLe
int data_; IFbN ]N0
}; x31Jl{x8\?
.23Yqr'zT
typedef union _tagUtype_ ?wVq5^ e
{ gaU(ebsE
TestUnion obj; iE#I^`^V
}UT; u>*d^[zS
%9OVw#P
int main (void) Ay|K>8z
{ ,CIsZ1[VS
return 0; KkZS 6rD\
} v[]&yD
-5y=K40
E`b<^l`
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Ey&gZ$|&
i4\DSQJ
class TestUnion G O[u
{ 'MQJt2QU9{
public: *6wt+twH
int data_; A5^tus/y
}; E*s8 nQ"
-eFq^KP2
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ebiOR1)sN
E`#/m@:|-
二、类中union的初始化 @n;$Edza/
RYV:?=D7s
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: e=Q{CsP
~\UAxB=
#pragma warning(disable : 4786) .zo>,*:t
#include B*otquz
}8dS[-.
using namespace std; P"a9+ti+'
Xz!O}M{4
class TestUnion \<%?=C'w~
{ JgMYy,q8t
enum StoreType{Long,Const_CharP}; <_#a%+5d
union }CQ)W1mO"
{ .$zo_~ mR
const char* ch_; bE1@RL
long l_; 5OC{_-
} data_; LvW7>-
StoreType stype_; I(va;hG<o
TestUnion(TestUnion&); /-Y.A<ieN8
TestUnion& operator=(const TestUnion&); g]9A?#GyE
public: /3o@I5
TestUnion(const char* ch); O0QK `F/)*
TestUnion(long l); 4||dc}I"E
operator const char*() const {return data_.ch_;} 6]fz;\DgP
operator long() const {return data_.l_;} .&rL>A2U
}; N4u-tlA
DS^`:^hv
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ~y>N JM>1
{ mI,!8#
} :xZ^Jq91
0[R7HX-@
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) w0,rFWS
{ O"emse}Z
} 'a=' (,%
|g!3f
int main (void) ,IRy.
qy
{ W$`p ,$ .n
TestUnion pszobj("yuankai"); HG&rE3@
TestUnion lobj(1234); `J-&Y2_/k
cout<(pszobj)< cout< %YwIR.o
return 0; }5=tUfh)]'
} li&&[=6A
$kxP{0u
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 3?s1Yw>?
HB9|AQ4K
class TestUnion ~JTp8E9kw
{ p]x9hZ
enum StoreType{Long,Const_CharP}; 5^C.}/#>F
union DataUnion //不能匿名 H",q-.!
{ Mb'Tx
DataUnion(const char*); //声明const char*构造函数 ;fZ9:WB
DataUnion(long); //声明long构造函数 @WICAC=
const char* ch_; JQH>{OB
long l_; HBcL1wfS
} data_; E\vW>g*W
StoreType stype_; ~c${?uf
TestUnion(TestUnion&); 2-_d~~O1N
TestUnion& operator=(const TestUnion&); N.?)s.D(
public: M6H#Y2!ZbC
TestUnion(const char* ch); 18o5Gs;yx
TestUnion(long l); _qsg2e}n
operator const char*() const {return data_.ch_;} &nfGRb
operator long() const {return data_.l_;} s'=w/os
}; zA*I=3E(
*#7]PA Qw
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) !EB[Lutm
{//注意data_(ch),这里直接引用data_ d< b ,].
} @<C<rB8R
#pr{tL
TestUnion::TestUnion(long l):data_(l),stype_(Long) fm$)?E_Rp
{//注意data_(l),这里直接引用data_ -gVsOX0
} &z?:s
rixt_}aE
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) @h!nVf%fe
{ ^e(*{K;8
} 5?XIp6%x
o>Q=V0?
TestUnion::DataUnion::DataUnion(long l):l_(l) KLCd`vr.xf
{ i?B(I4a!G
} r"&VG2c0K
@y(<4kLz
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!