前言 \!>3SKs(e
cU;iUf
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 4NGA/
G
L_vISy%\b
一、在union中存储对象 aAJU`=uq
J]v%q,"
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? O]lSWEe
8WtsKOno
#pragma warning(disable : 4786) &Nj3h(Ll
#include -j%,Oo
using namespace std; xgbJ2Mh
:ZTc7}
class TestUnion W"zab
{ HIQ_%L4]
public: ?,p;O
TestUnion(long l):data_(l) {aY%gk?y#>
{ 1xD=ffM>8N
}; E^QlJ8
int data_; =G]1LTI
}; qC}-_u7s
1KMLG=
typedef union _tagUtype_ m5L-67[sB
{ Du`JaJI
TestUnion obj; {)"iiJ
}UT; X*M#FT-
uv=.2U46
int main (void) }E0,z
{
`dFq:8v
return 0; }lh I\q
} L%BNz3:Dt
PUF/#ck
|o{:ZmzM
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: afv~r>q(-
qDv93
class TestUnion 4#ug]X4Y')
{ ,$+lFv3LE
public: ,RJtm%w
int data_; 8dZ0rPd?
}; x97
j
9;_sC
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! d{XO/YQw
:z4)5=
6M
二、类中union的初始化 cV 5CaaL
6I1,:nLL<
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ~;1l9^N|
#bMuvaP~
#pragma warning(disable : 4786) |UK}
#include Pf|siC^;s~
{k>Ca
using namespace std; vY%d
VTG9$rQZ
class TestUnion <<(wa
j
{ IIg^FZ*]_
enum StoreType{Long,Const_CharP}; Q7R~{5r>W
union ZT,B(#m
{ \]=7!RQ\
const char* ch_; k%D+Y(WGz8
long l_; 9A}# 6
} data_; Yj)#k)x
StoreType stype_; eln&]d;
TestUnion(TestUnion&); ?mWw@6G,
TestUnion& operator=(const TestUnion&); G]fRk^~
public: D[^m{ 9_
TestUnion(const char* ch); U4gF(Q
TestUnion(long l); )Z(TCJ~~!
operator const char*() const {return data_.ch_;} %%NlTE8*
operator long() const {return data_.l_;} zoOaVV&1
}; Cz72?[6
pcYG~pZ9
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) Ys@}3\Mc
{ LM}Ib.
} `|,`QqDQ
zY,r9<I8_x
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) %1O;fQL
{ NXNY"r7~
} lmfi
FP;Ccl"s
int main (void) T2SP
W@#Z3
{ Z2TL #@
TestUnion pszobj("yuankai"); g{8,Wx,,
TestUnion lobj(1234); i|T)p_y(!a
cout<(pszobj)< cout< r.#t63Rb
return 0; Z7_m)@%;kk
} R,F[XI+=N
!R1.7}O
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: enp)-nS0
Svc|0Ad&
class TestUnion O+?<h{"
{ o3I Tr';
enum StoreType{Long,Const_CharP}; :lB=Lr)
union DataUnion //不能匿名 4F{)i
{ I9:Cb)hbU]
DataUnion(const char*); //声明const char*构造函数 ^j".
DataUnion(long); //声明long构造函数 |P -8HlOr
const char* ch_; Q(<)KZIK
long l_; 6`v7c!7
} data_; ~v]!+`_J
StoreType stype_; J.ck~;3
TestUnion(TestUnion&); E}sO[wNPf
TestUnion& operator=(const TestUnion&); dHK`eS$sb
public: dl~%MWAVb
TestUnion(const char* ch); E-I-0h2
TestUnion(long l); 5dB'&8DX
operator const char*() const {return data_.ch_;} e pU:
operator long() const {return data_.l_;} &_~+(
}; |lJX 3
=,Dqqf
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) -C<zF`jO
{//注意data_(ch),这里直接引用data_ :{IO=^D=$
} ,Fi>p0bz
hRty [
TestUnion::TestUnion(long l):data_(l),stype_(Long) "FTfk
{//注意data_(l),这里直接引用data_ yil[gPy4B
} p;W.lcO`0
|1b_3?e
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) \hhmVt@@
{ d4nH_?
} ^}:#
l2l(_$@3
TestUnion::DataUnion::DataUnion(long l):l_(l) sFQ^2PwbS
{ |b*?
qf
} %,Ap7X3:QT
sVJ!FC
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!