前言 8KR17i1
g] IPNW^n
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 UZiL NKc
r#ADxqkaV
一、在union中存储对象 mDwuJf8}
OS
L~a_
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 56C'<#
qa:muW
#pragma warning(disable : 4786) qixnaiZ
#include kp?_ir
using namespace std; HCktgL:E=
YyYp-0#
class TestUnion fWg3gRI
{
's"aPqF?
public: )!zg=}V
TestUnion(long l):data_(l) HuA4eJ(2
{ ~:C`e4
}; a(-t"OL\
int data_; 2I=4l
}; \dB z-H'@
54]UfmT%I
typedef union _tagUtype_ tC+11M
{ 0'5N[Bvp
TestUnion obj; *m&'6qsS
}UT; (LVzE_`
yi-)4#YN
int main (void) Zwtz )ZII
{ 7/=r-
return 0; ,k:>Z&:
} |hvclEu,
ncR]@8
T}'*Gry
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: a}k5[)et
7;#o?6!7
class TestUnion +I.{y
{ 0o@eE3^
public: u3 4.
int data_; -?)z@Lc
}; )\izL]=!t
<{HV|B7
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ,F|49i.K
2) Q/cH\g
二、类中union的初始化 NdI~1kemr
@7?L+.r$9
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: I^``x+a
DL '{
rK
#pragma warning(disable : 4786) Fy^8]u*Fu
#include s%zdP
phcYQqR
using namespace std; al]-*=v7}
/ \k\HK8
class TestUnion AHP;N6Y6
{ #/>OW2Ny
enum StoreType{Long,Const_CharP}; @PKY>58)
union o7fJ@3B/
{ Kl :x?"g)
const char* ch_; ?$H=n{iW
long l_; w"h3e
} data_; 5mI}IS|@
StoreType stype_; T$Rf
TestUnion(TestUnion&); Fau24-g
TestUnion& operator=(const TestUnion&); /o nZ14
public: h`MTB!o
TestUnion(const char* ch); JHsxaX;c
TestUnion(long l); vq5o?$:-
operator const char*() const {return data_.ch_;} AUm5$;o,/
operator long() const {return data_.l_;} U!524"@%U`
}; e:;u_be~
Z2I2 [pA
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) WQltUaF
{ !='L `.
} c"S{5xh0&
>+ku:<Hw%.
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 1xb1?/n1#
{ |il P>b
} 2fMKS
p) m0\
int main (void) OP\m~1
{ 43BqNQ0
TestUnion pszobj("yuankai"); \2y[Hy?
TestUnion lobj(1234);
o+FDkqEN
cout<(pszobj)< cout< !s[[X5
return 0; O g!SFg*
} sk~inIj-
6{?B`gm7g
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: L<ET"&b;4
9<1dps=c
class TestUnion Hus.Jfam
{ '>#8
F.
enum StoreType{Long,Const_CharP}; ;a~
e
union DataUnion //不能匿名 Na$[nv8qh
{ t,308Z
DataUnion(const char*); //声明const char*构造函数 EVDcj,b"^
DataUnion(long); //声明long构造函数 $VUX?ii$7=
const char* ch_; %HcCe[d5l
long l_; 'Em633
} data_; CjUYwAy$k
StoreType stype_; o6)U\z
TestUnion(TestUnion&); VX$WL"A
TestUnion& operator=(const TestUnion&); c;$4}U4
public: Fye>H6MU
TestUnion(const char* ch); ;v:(
TestUnion(long l); 2]5{Xmmo9
operator const char*() const {return data_.ch_;} aaR& -M@
operator long() const {return data_.l_;} W#p7M[
}; =n5'~1?X?
r0XEB,}
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Cd}^&z
{//注意data_(ch),这里直接引用data_ }xk(aM_
} Wb-C0^dTn
X/,)KTo7
TestUnion::TestUnion(long l):data_(l),stype_(Long) .$18%jH#
{//注意data_(l),这里直接引用data_ vQljxRtW
} y?<KN0j
aTuu",f
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) gc.Lh~
{ cq4~(PXTg
} UZyg_G6
4o*i(W
TestUnion::DataUnion::DataUnion(long l):l_(l) !ZYPz}&N_
{ JLoF!MK}
} y7,I10:D
*q=T1JY
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!