前言 #X'-/q`.
Nuot[1kS
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 8(Te^] v#
lwX9:[Z
一、在union中存储对象 Kt*fQ
`9
/ ^d9At614
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? ^6kl4:{idE
<M1*gz
#pragma warning(disable : 4786) _lk VT']
#include 0SYJ*7lPX
using namespace std; lqOpADLS3
E/oLE^yL
class TestUnion ME]4tu
{ w/o^OjwQ
public: eUQmW^
TestUnion(long l):data_(l) Y+Z+Y)K
{ tqh)yr;
}; `oikSx$vB.
int data_; }||p#R@?
}; !9
kNL
|OF3O,5z
typedef union _tagUtype_ vw!7f|Pg ~
{ "KK}}$>
TestUnion obj; ,= ApnNUgX
}UT; S;#:~?dU
q;nAq%
int main (void) 13/,^?
{ ffL]_E
return 0; plB8iN`x<
} 59D'*!l-
{l$)X
A4@z+ebb l
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: zqdkt `
ty['yV-;a
class TestUnion h SS9mQ
{ dNf9,P_}
public: +BtLd+)R
int data_; .jqil0#)Y"
}; ]I,&Bme
/r'Fq
=z
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! >$rH,Er
c!6v-2ykv
二、类中union的初始化 ]lfufjj
7=fNvES2
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: xI?'Nh
9?ll(5E
#pragma warning(disable : 4786) Q3l>xh
#include |+Rx)
Z1q<) O1QX
using namespace std; !%t@wQ]\hG
=p[Sd*d
class TestUnion %IVM1
{ paV1o>_Rd
enum StoreType{Long,Const_CharP}; b*h:e.q
union GOdWc9Ta!
{ 2( GYk
const char* ch_; yxu7YGp%
long l_; |khFQ(
} data_; +0[H`5-^
StoreType stype_; 9'H:pb2
TestUnion(TestUnion&); /1/'zF&R-
TestUnion& operator=(const TestUnion&); ,x&WE@tD|
public: @*xP A
TestUnion(const char* ch); t&43)TPb.
TestUnion(long l); -!~pa^j
operator const char*() const {return data_.ch_;} WP\kg\o
operator long() const {return data_.l_;} j7g>r/1eE
}; ^^ix4[1$Z
+pq=i
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ,|$1(z*a{c
{ $ bMmyDw
} dRzeHuF92
Z:h'kgG &
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) %u9Q`
{ Mj>QV(L8t
} /V+7:WDj
k}g4?
int main (void) GL0P&$h
{ aOinD
TestUnion pszobj("yuankai"); R$u1\r1I
TestUnion lobj(1234); F7C+uGTs
cout<(pszobj)< cout< ?
}ff O
return 0; ux^rF
} P*;[&Nn4
9wfE^E1
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: t3.;qDy
mnZfk
class TestUnion VgbT/v
{ GBS+ 4xL|
enum StoreType{Long,Const_CharP}; oc-&}R4=
union DataUnion //不能匿名 GJU(1%-
{ 5.\|*+E~
DataUnion(const char*); //声明const char*构造函数 9f&
!Uw_W
DataUnion(long); //声明long构造函数 |AExaO"jk
const char* ch_; k fY;
long l_; 3jfAv@I ~
} data_; wU'+4N".
StoreType stype_; 0[YksNNl1
TestUnion(TestUnion&); +pK 35u
TestUnion& operator=(const TestUnion&); EFtn!T
public: 3hJ51=_0^
TestUnion(const char* ch); s."N7F
TestUnion(long l); b~<V}tJ
operator const char*() const {return data_.ch_;} zI^:{]p
operator long() const {return data_.l_;} WaX!y$/z
}; Dby|l#X
\uo{I~Qd
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Ed0}$b
{//注意data_(ch),这里直接引用data_ nZYO}bv\
} j7I?K
:op=
H^o_B1
TestUnion::TestUnion(long l):data_(l),stype_(Long) @>ys,dy
{//注意data_(l),这里直接引用data_ <M5fk?n,|
} 6,1oLvU
pfc"^Gi8
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 4k{xo~+%,
{ Xep2)3k>
} _'y`hKeI[
4,YL15.
TestUnion::DataUnion::DataUnion(long l):l_(l) R $dNdd9m
{ q3v5gz^t
} ntPX?/
N2j^fZd_
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!