前言 "n,?)
Jat|n97$
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 hq.XO=0" k
t|/{oAj
一、在union中存储对象 C"X; ,F<
x=Ef0v
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 3m2hB%SNb
9d5|rk8VS
#pragma warning(disable : 4786) tCoT-\Q
#include "9>.,nzt
using namespace std; 1?!z<<
j,:vK
class TestUnion =Fu~ 0Wc
{ 1m c'=S{
public: ;:)1:Dy5
TestUnion(long l):data_(l) 57nSyd]PR
{ 5;:P^[cH9
}; vh29mzum
int data_; Zndv!z
}; OE{PP9eh
qj$6/V|D
typedef union _tagUtype_ Imv]V6"D=
{ wO>P<KBU
TestUnion obj; ,m"0Bu2
}UT; Y2Z<A(W
\DDRl{
int main (void) G; onJ>
{ #YEOY#
return 0;
mrc% 6Ri
} :4HZ>!i
&@&0n)VTd
R=/^5DZ}
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: S(&]?!
` D9sEt_/
class TestUnion ,.Sd)JB'
{ \R}`S`fIw`
public: j1Ng[
int data_; vc r5
}; z[E gMS!
4fuKpLA
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ~WKcO&
H.H$5(?O
二、类中union的初始化 2A,iY}R
-C
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: df'xx)kW
` 6'dhB
#pragma warning(disable : 4786) 7y/Pch
#include *
11|P
@/DHfs 4O
using namespace std; Q*GJREC
reU*apZ/
class TestUnion |K7zN\
Wq
{
Qr n^T
enum StoreType{Long,Const_CharP}; 'IykIf
union qad`muAd
{ \/
9s<
const char* ch_; (mvzGXNz4
long l_; @C=Dk
} data_; @ff83Bg
StoreType stype_; G\I DgPj`
TestUnion(TestUnion&); Qgel^"t]i
TestUnion& operator=(const TestUnion&); YtWO=+rX
public: ;FI"N@z
TestUnion(const char* ch); *pOdM0AE
TestUnion(long l); f(}AdW}?
operator const char*() const {return data_.ch_;} n}T;q1
operator long() const {return data_.l_;} }ag
-J."5M
}; ,[j'OyR
`'gadCTb=
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) HK/T`p#
{ ^rP`
.Z
} >E:V7Fa
n$})}kj
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) [!Jd.zm
{
AD=qB5:
} 1(;_1@P
":G\
int main (void) =;!$Qw4
{ U,_jb}$Sq7
TestUnion pszobj("yuankai"); 3EHn}#+U
TestUnion lobj(1234); hh$V[/iK
cout<(pszobj)< cout< E/Ng
return 0; lls-Nir%
} l JR
6[{|'
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 5VXI/Lw#
x9NcIa9
class TestUnion <691pkX
{ 7H~J?_
enum StoreType{Long,Const_CharP}; HLa3lUo
union DataUnion //不能匿名 z(yJ/~m
{ $^ wqoW%t
DataUnion(const char*); //声明const char*构造函数 82z\^a
DataUnion(long); //声明long构造函数 B_u1FWc
const char* ch_; 3a_=e
B
long l_; 7v8V0Gp
} data_; Pm
Zb!|
StoreType stype_; [J`%iU
TestUnion(TestUnion&); $}* bZ~
TestUnion& operator=(const TestUnion&); 5,;>b^gXY`
public: #KOr-Yg|U
TestUnion(const char* ch); 1%R8q=_
TestUnion(long l); t\/i9CBn
operator const char*() const {return data_.ch_;} xlW`4\ Pa
operator long() const {return data_.l_;} I>(3\z4s
}; 6~t;&)6J
?$>#FKrt
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) g<@P_^vo
{//注意data_(ch),这里直接引用data_ "Q>gQKgL
} f
<,E
[#}0)
TestUnion::TestUnion(long l):data_(l),stype_(Long) &Ti:IC%M
{//注意data_(l),这里直接引用data_ gYtv`O
} TH%J=1d
"k0b j>
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) pr;z>|FgA>
{ /p&V72
} 5vfzSJ
;g:!WXd
TestUnion::DataUnion::DataUnion(long l):l_(l) O/|,rAE
{ IO*}N"
} \E!a=cL!
(iT?uMRz
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!