前言 iw<#V&([J
mj0{Nd
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 qkC+9Sk
v\*43RL
一、在union中存储对象 ]%I cUd}
aH)$#6${Ap
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? D%v4B`4ua'
@psyO]D=j%
#pragma warning(disable : 4786) ReOp,A/y
#include 6#XB'PR2p
using namespace std; ko2Kz
k
jw$3cwddH
class TestUnion E6n3[Z
{ 4 vwa/?
public: <}b`2/wP
TestUnion(long l):data_(l) Zam.g>{]
{ BP2-LG&\
}; 'v^CA}
int data_; v8"plx=3
}; o{yEF1,c\
~lMw*Qw^
typedef union _tagUtype_ X l#P@60
{ Z~{0XG\Y
TestUnion obj; C.V")D=
}UT; a'w~7y!}
4g]Er<-P
int main (void) y0qrl4S)v
{ *,hS-
return 0; Y-6
?x
} > 4ex:Z
vlth\[
pv&:N,p
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: {g}!M^|
Pk[:+. f(
class TestUnion 2bxkZS]
{ w#eD5y~'oo
public: WyVFhAuU
int data_; /2-S/,a
}; ep .AW'+
1"3|6&=
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! Ar4E $\W
GwxxW
二、类中union的初始化 LY2oBX@fC
6 ]W!>jDc
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: B7(~m8:eH7
~n%~ Z|mMF
#pragma warning(disable : 4786) _x 'R8/
#include `,d*>
xy$73K6
using namespace std; 4>nY't;0
{8UYu2t
class TestUnion
RvKP&
{ NR-d|`P;
enum StoreType{Long,Const_CharP}; F<q'ivj:w
union 9Y!N\-x`
{ l CHaRR7
const char* ch_; k@U8K(:x
long l_; km2('t7?
} data_; jZeY^T)f"
StoreType stype_; ~4h<nc
TestUnion(TestUnion&); r=P)iE:
TestUnion& operator=(const TestUnion&); zb.^ _A
public: HQ~`ha.
TestUnion(const char* ch); %0C<_drW
TestUnion(long l); M*FUtu
operator const char*() const {return data_.ch_;} $X8(OS5d'
operator long() const {return data_.l_;} {'VP_ZS1v
}; 1S9(Zn[2,
S[,!
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) MTo<COp($
{ xgHR;USH
} .gTla
8uq^Q4SU
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) S9R(;
{ vdw5T&Q{{C
} I Wcgh`8
P'.MwS
int main (void) &5puGnTZ
{ eqbQ,, &
TestUnion pszobj("yuankai"); |N_tVE
TestUnion lobj(1234); bA}9He1
cout<(pszobj)< cout< $U%M]_
return 0; X{4jyi-<
} %@
UH,Ew
.[&0FHnJ5
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: VuA7rIF$66
.GcIwP'aU-
class TestUnion TI4#A E
{ r09gB#K4
enum StoreType{Long,Const_CharP}; hhd%j6
union DataUnion //不能匿名 MB.\G.bV
{ XN9s!5A<L)
DataUnion(const char*); //声明const char*构造函数 >qj.!npQD
DataUnion(long); //声明long构造函数 U-Ia$b-5!
const char* ch_; yUV0{A-q{0
long l_; j1{|3#5V
} data_; oV"d%ks
StoreType stype_; $ N`V%<W
TestUnion(TestUnion&); |dIP &9
TestUnion& operator=(const TestUnion&); *D`]7I~}
public: y/=:F=H@w
TestUnion(const char* ch); H$'|hUwds%
TestUnion(long l); O/g|E47
operator const char*() const {return data_.ch_;} >[t0a"
operator long() const {return data_.l_;} +&hhj~I.
}; %smQ`u|
ycYT1Sg8
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) _vOV(#q2a
{//注意data_(ch),这里直接引用data_ p7 s#j
} eu=G[>
+m?;,JGt
TestUnion::TestUnion(long l):data_(l),stype_(Long) 48%-lkol)
{//注意data_(l),这里直接引用data_ &L7u//
} cr GFU?8
$t*>A+J
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) &gF*p
{ GJZGHUB=>
} 5x$/.U
\YUl$d0
TestUnion::DataUnion::DataUnion(long l):l_(l) l^`& Tnzv
{ "53'FRj_\
} Z_b^K^4
b\6)whh
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!