前言 XTo7fbW*
vWZXb`
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 b7Jxv7$e
S0)JIrrHC
一、在union中存储对象 &CQO+Yr$l
Y.\x.Hg
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? $[A\i<#
tqZ+2c<W3
#pragma warning(disable : 4786) NS~;{d\
#include DK\XC%~m
using namespace std; \xj;{xc
+yp:douERi
class TestUnion Z*ip=FYR
{ d=PX}o^
public: N+=|WeZ
TestUnion(long l):data_(l) u3C_Xz
{ RqtBz3v
}; eHy UY&N/
int data_; U}RBgPX!
}; &ASR2J
ujZ`T0
typedef union _tagUtype_ bI55G#1G
{ h6Z:+
TestUnion obj; `8ac;b
}UT; f9W:-00QD
kFv*>>X`
int main (void) t$18h2yOL
{ d )O^(y1r
return 0; e@Lxduq
} =~GP;=6
(Jk&U8y
@PEFl"
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: <w{?b'/q
/ce;-3+
class TestUnion c Mgd
{ #wI}93E
public: d+
jX49Vt
int data_; _x!idf
}; }OpUG
N/bOl~!y
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! STp9Gh-
RpQeQM=
二、类中union的初始化 vR!+ 8sy$
JaCX}[R
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: m&:&z7^p
zj1~[$
(
#pragma warning(disable : 4786) {>
YsrD C
#include Io1j%T#ZT
7nek,8b
using namespace std; HIXAA?_eh=
JWixY/
class TestUnion ^#HaH
{ 7k(}U_v
enum StoreType{Long,Const_CharP}; H<(F$7Q!\
union p~ b4TRvA6
{ %S`&R5
const char* ch_; 0%ul6LvM
long l_; <RY =y?%z
} data_; ;
oyV8P$
StoreType stype_; eDJnzh83
TestUnion(TestUnion&); X0G,tl
TestUnion& operator=(const TestUnion&); "m K`3</G
public: N1a]y/
TestUnion(const char* ch); gV2vwe
TestUnion(long l); 2:*15RH3
operator const char*() const {return data_.ch_;} m,k0 h%
operator long() const {return data_.l_;} IZ=Z=k{
}; ipu!{kJ
S&_03
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 'D+xs}\
{ rH3U;K!
} c/|{yp$Ga>
*;fTiL
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) IT| h;NUG
{ L4>14D\
} q)?%END
?UtKu
int main (void) 9/k2zXY
{ >)kKP8l7
TestUnion pszobj("yuankai"); V<QpC5
TestUnion lobj(1234); b^/u9
cout<(pszobj)< cout< )|~&(+Q?]
return 0; }r:"X<`
} B\J[O5},
+
[w 0;W_
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: D+]mKPB
I-]G{
class TestUnion ]9oj,k
{ -9b=-K.y
enum StoreType{Long,Const_CharP}; ;_,jy7lf
union DataUnion //不能匿名 7Qd4L.
{ K4Q{U@ZJ
DataUnion(const char*); //声明const char*构造函数 9@*pC@I)
DataUnion(long); //声明long构造函数 h4hAzFQ.s
const char* ch_; ?"yjgt7+y
long l_; !j6k]BgZ
} data_; LT%~Cuf
StoreType stype_; MhMiSsZ
TestUnion(TestUnion&); o?baiOkH
TestUnion& operator=(const TestUnion&); .>"xp6
public: '12m4quO
TestUnion(const char* ch); Hn/t'D3
TestUnion(long l); E`)e
;^
operator const char*() const {return data_.ch_;} )s!A\a`vEd
operator long() const {return data_.l_;} ,U{dqw8E{
}; +^AdD8U
opfnIkCe
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) /TMVPnvz.
{//注意data_(ch),这里直接引用data_ F5*-HR
} ]46h!@~aC
v;(cJ,l
TestUnion::TestUnion(long l):data_(l),stype_(Long) V IzIl\<aM
{//注意data_(l),这里直接引用data_ C*YQ{Mz(f
} T"g_a|7Tj
[<@L`ki
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) V^s, 3C
{ $_<[kci%
} .x=abA$!9
&lzY"Y*hA0
TestUnion::DataUnion::DataUnion(long l):l_(l) [G_ ;78
{ 4e#g{,
} G#7*O`
$O |Xq7dp
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!