前言 wUzMB]w
m$$sNPnT
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 8oP"?ew#
x\5\KGw16
一、在union中存储对象 %lGg}9k'
TnPx.mwK\
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 4'L.I%#tZ
F\+!\b*lP
#pragma warning(disable : 4786) a &hj|
#include #:[CF:
using namespace std; 9:*a9xT,
28 ;x5m)N
class TestUnion {
b7%Zd3-
{ D(Q=EdlO
public: C)ebZ3
TestUnion(long l):data_(l) -$(2Z[
{ 9Ljd
or
}; {Ytqs(`
int data_; RG`eNRTQ%
}; ?#u_x4==e
kBrU%[0O
typedef union _tagUtype_ bm(.(0MI
{ K1-y[pS]E
TestUnion obj; p+:MZP -%(
}UT; o@r~KFIe
h.aXW]]}(P
int main (void) r59BBW)M
{ U5H5QW +
return 0; qmbhx9V
} oMF[<Xf
1K{hj%
z;EDyd,O>
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 5f_1 dn
]"U/3dL5
class TestUnion ]goPjfWvU"
{ /Au7X'}
public: iiV'-!3w
int data_; DbH'Qs?z
};
m%i!;K"{s
K%NgZ(x(
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! tQIz
gPy}.g{tH$
二、类中union的初始化 !F#^Peb
e `IL7$
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: G8OnNI
8>ODtKI*
#pragma warning(disable : 4786) e1 P(-V
#include 8|IlJiJ~v
(l:LG"sy\
using namespace std; jxDA+7
3>G"&T{
class TestUnion gqACIXR
{ w(R+p/RF
enum StoreType{Long,Const_CharP}; ag"Nf-o/Y
union $WZHkV
{ Z`{GjV3%wH
const char* ch_; *!yY7 ~#
long l_; QPp>%iE@
} data_; @s~*>k#"#
StoreType stype_; v^1n.l %E
TestUnion(TestUnion&); %CG=mTP
TestUnion& operator=(const TestUnion&); F!ra$5u
public: Mt(;7q@1c
TestUnion(const char* ch); 87:V-*8
TestUnion(long l); 3>buZ6vh
operator const char*() const {return data_.ch_;} Ct9*T`Gl
operator long() const {return data_.l_;} j79$/ Ol
}; oJVpJA0IA
t3;QF
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) D
P+W*87J
{ '8UhYwyr
} to;cF6X
$3{I'r]
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ,IQ%7*f;O_
{ {$)pkhJ
} %51HJB}C]
AR5)Uws
int main (void) <~35tOpv
{ )r:gDd#/X
TestUnion pszobj("yuankai"); ?F@X>zR2
TestUnion lobj(1234); OT}^dPQe
cout<(pszobj)< cout< +&8'@v$
return 0; RV, cQ K
} MF.$E?_R
c:_dW;MJ0
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ;F\sMf{
>&uR=Yd
class TestUnion >I;J!{
{ qwHP8GU
enum StoreType{Long,Const_CharP}; [35>T3Ku
union DataUnion //不能匿名 <5sP%Fs )
{ E JJW
DataUnion(const char*); //声明const char*构造函数 [fr!J?/@
DataUnion(long); //声明long构造函数 x.aqy'/`
const char* ch_; uKd79[1
long l_; ak]H|D" 9
} data_; rb<9/z5-
StoreType stype_; dZ'H'm;,!
TestUnion(TestUnion&); .0#{?R,
TestUnion& operator=(const TestUnion&); xX2/uxi8
public: F}=O Mo:.
TestUnion(const char* ch); s,;L6nX"
TestUnion(long l); WEk3
4crk
operator const char*() const {return data_.ch_;} R(<_p"9(
operator long() const {return data_.l_;} 6gJc?+
}; gL6.,4q+1
!eGUiE=
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Ihg1%.^V\
{//注意data_(ch),这里直接引用data_ .*g^
i`
} *|&&3&7
.Sjg
TestUnion::TestUnion(long l):data_(l),stype_(Long) WO"<s{v
{//注意data_(l),这里直接引用data_ V?o%0V
} h9WyQl7
L$
ZZ]?7j
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) %2EHYBQjN
{ LFPYnK
} 1agI/R
t Ai?B jo
TestUnion::DataUnion::DataUnion(long l):l_(l) SoL"M[O
{ .+dego:
} =z
+iI;
}R2afTn[;
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!