前言 |]cDz
[ d7]&i}*|
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 6{X>9hD
I}IW!K
一、在union中存储对象 ?|GxVOl
`=DCX%Vw
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? +:%FJCOT
RAI&;"
#pragma warning(disable : 4786) DZ.trtK
#include 34Khg
using namespace std; ~{G:,|`
.boizW1+
class TestUnion "\r~,S{:
{ )6
<byO
public: ~J{[]wi
TestUnion(long l):data_(l) 1T,PC?vr{
{ Wb)l8[=
}; +|YZEC
int data_; ~9{;VKgK
}; 'a^tL[rLP1
,GU/l)os`
typedef union _tagUtype_ ~!9Px j*
{ cCGXB|9fYR
TestUnion obj; \N , ' +
}UT; ]=VS~azZ5
=e8L7_;
int main (void) A'QGTT
{ 0uO=wOIhH
return 0; &MZy;Sq
} PFy;qk
#x@lZ! Y
`{lAhZ5
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改:
*3`oU\r
UW[{d/.wC
class TestUnion i6#]$ B
{ cgxFEv
public: A
a} o*
int data_; )QCM2
};
L|lmStwe
I
cR;A\z
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! x3 6 #x
q6JW@GT
二、类中union的初始化 9me}&Fdr
,o@~OTja*
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: +i@yZfT
dEd ]U49u
#pragma warning(disable : 4786) 4[,B ;7
#include YG 5Z8@kH
VMZ]n%XRXW
using namespace std; =6Sj}/
LX\*4[0%K
class TestUnion (21 W6
{ ?(/j<,m^
enum StoreType{Long,Const_CharP}; 8\)U|/A7
union S`@6c$y k
{ SQt|(r)
const char* ch_; 2'<=H76
long l_; }x?H ~QQT
} data_; OVUs]uK
StoreType stype_; oa &z/`@
TestUnion(TestUnion&); C?60`^
TestUnion& operator=(const TestUnion&); wHOlj)CZ
public: Le`/
TestUnion(const char* ch); :Dk@?o@2;C
TestUnion(long l); 833%H`jQc
operator const char*() const {return data_.ch_;} B]|6`UfB
operator long() const {return data_.l_;} 6i]Nr@1C
}; jKj=#O
^5;vx
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) OHHNWg_5
{ xA&
} V/3 {^Fcr
29Z!p2{hk
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) vr{'FMc
{ =|E
09
} r*6"'W>c6
<o&o=Y8
int main (void) F<yy>Wf
{ y8w0eq94
TestUnion pszobj("yuankai"); 7`blGzP_
TestUnion lobj(1234); YgfSC}a
cout<(pszobj)< cout< C#Hcv*D
return 0; CJ9cCtA
} TsaW5ho<p
Xr?>uqY!M
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: *?_qE
v)@,:u)
class TestUnion L289'Gzg
{ x?, ~TC4
enum StoreType{Long,Const_CharP}; /~i.\^HX
union DataUnion //不能匿名 FOCoiocPi
{ 8pYyG
| \
DataUnion(const char*); //声明const char*构造函数 L w>-7)
DataUnion(long); //声明long构造函数 C9<4~IM
w
const char* ch_; ]urK$
long l_; DeOXM=&z
} data_; ;W7 hc!
StoreType stype_; g!1I21M1~
TestUnion(TestUnion&); 'FShNY5
TestUnion& operator=(const TestUnion&); 3<c*v/L{C\
public: 1P_Fe[8
TestUnion(const char* ch); bnijM/73
TestUnion(long l); [O^}rUqq
operator const char*() const {return data_.ch_;} .aNO( /kO
operator long() const {return data_.l_;} "_ LkZBW.
}; DVObrL)znL
7dSh3f!
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) L)q`D2|'
{//注意data_(ch),这里直接引用data_ QTVa
} It%T7
X#
3PfiQ|/b
TestUnion::TestUnion(long l):data_(l),stype_(Long) y0,Ft/D
{//注意data_(l),这里直接引用data_ qh%i5Mu
} gf+o1\5t@
__8&Jv\
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) csYy7uzi
{ T3=(`
} p`
$fTgm
dIma{uv
TestUnion::DataUnion::DataUnion(long l):l_(l) xXO RIlD
{ .+OB!'dDK^
} P"b8!k?
/K f L+"^|
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!