前言 E5@U~|V[
Ewg5s?2|
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 TXx%\V_6
B]jI^(P
一、在union中存储对象 >:7W.QLRU
_h;#\ )%~
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? jn[%@zD }
O{WJi;l
#pragma warning(disable : 4786) tu(k"'aJ
#include 4'L%Wz[6
using namespace std; J`F][ A
:i'jQ<|wZN
class TestUnion ~]t/|xep
{ ODE9@]a
public: eLC}h %
TestUnion(long l):data_(l) NY]`1yy
{ Zr!he$8(2
}; (W.euQy
int data_; erG@8CG
}; dno=C
mMLxT3Ci8
typedef union _tagUtype_ )./pS~
{
&Uqm3z?v
TestUnion obj; P\#z[TuHKC
}UT; e>"/Uii
"n'LF?/H'
int main (void) K.CwtUt`54
{ #)im9LLC#
return 0; 6OeRBD&
} 6@ `'}
>C|/%$kk:f
WHh=hts\
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: +;nADl+Q
n|,kL!++.
class TestUnion cZnB 2T?
{ =l&A9 >\
public: tF> ?]
int data_; W/Rb7q4v
}; 0:<dj:%M
B5%N@g$`j
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! JpuF6mQ
t-#Y6U}b+
二、类中union的初始化 \W73W_P&g
UMe@[E=
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: {.
r/tV5IH
DkO>?n:-C
#pragma warning(disable : 4786) 0>jo+b\D$
#include K>H_q@-?f
X2#;1 ku
using namespace std; /mST<{(_G\
4%5H<:V7
class TestUnion n
ETm"
{ XO |U4#ya
enum StoreType{Long,Const_CharP}; 7X| M\WUq
union }^J&D=J5V
{ UYu 54`'kg
const char* ch_; -:txmMT
long l_; nU Oy-c
} data_; eit>4xMu
StoreType stype_; MYqxkhcLH1
TestUnion(TestUnion&); *.ffyBI*~
TestUnion& operator=(const TestUnion&); ^FLuhLS\*
public: 7 R1;'/;
TestUnion(const char* ch); Z4#lZS`'A
TestUnion(long l); /uSEG<D
operator const char*() const {return data_.ch_;} ,"/<N*vh
operator long() const {return data_.l_;} oL' :07_
}; gd9ZlHo'Id
pH&Q]u;O
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) pf.T{/%
{ 'ad|@Bh
} h%kB>E~
G7lC'~}
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) N"~P` H![x
{ 7QiJ1P.z
} % ~%>3
H9)$ #r6i
int main (void) +nKxSjqI
{ A{hwT,zV:
TestUnion pszobj("yuankai"); Gq5)>'D?
TestUnion lobj(1234); >M7e'}0;
cout<(pszobj)< cout< u(KeS`
return 0; i,/|H]Mzr
} KZV$rJ%G
cm]D"GFLY
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: e=nEx Y
z41
p$
class TestUnion o{\@7'G
{ &o/&T{t}
enum StoreType{Long,Const_CharP}; * wN+Ak q
union DataUnion //不能匿名 UP:+1Sp9
{ &libC>a[
DataUnion(const char*); //声明const char*构造函数 3"'|Ql.H
DataUnion(long); //声明long构造函数 ]3#_BL)M8p
const char* ch_; U[~BW[[@f
long l_; ~..h=
} data_; tZ1iaYbvV
StoreType stype_; wxPg*R+t
TestUnion(TestUnion&); <_""4
TestUnion& operator=(const TestUnion&); [_j.pMH/P
public: FE1dr_i
TestUnion(const char* ch); kl[bDb1p
TestUnion(long l); %>cc%(POO
operator const char*() const {return data_.ch_;} Uc
e#v)
operator long() const {return data_.l_;} `xbk)oW#
}; )|/t}|DIx
NWB/N*
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ?7:"D e
{//注意data_(ch),这里直接引用data_ }}~^!
} C78d29
o
<LA2q`T
TestUnion::TestUnion(long l):data_(l),stype_(Long) \`x'r$CV
{//注意data_(l),这里直接引用data_ n[WXIE<
} J.":oD
6"
3!9JC
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ^~MHxF5d
{ (FMG W
(
} /S9Mu
)1Y
R4}G@&Q
TestUnion::DataUnion::DataUnion(long l):l_(l) 13A11XTp
{ 7w)#[^
} >FHTBh& Y
c[ff|-<g
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!