前言 f)`_su
U
(twwDI
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 C-i9F%..
.lclW0*
一、在union中存储对象 Sz_bjh yT}
)Gf"#TM[
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? ch|4"&g
sw<mmayN
#pragma warning(disable : 4786) rI/;L<c
#include ~#z8Q{!O
using namespace std; b@GL*Z
Af~>}-`a
class TestUnion ObK-<kGcB
{ [1+ o
public: ;DQ{6(
TestUnion(long l):data_(l) W7bA#p(
{ ( v<l9}!
}; 0GEM3~~D.?
int data_; q"Ct=d
}; nitKX.t8
EL*OeyU1l
typedef union _tagUtype_ Z~&$s
{ m<7Ax>
TestUnion obj; j#}wg`P"A
}UT; ]!@z3Hv3
~ IPel
int main (void) 9|kc$+(+6
{ V*xo3hU
return 0; Hz?C9q3BX
} \<cs:C\h7
v[k;R
ZGILV
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: /INjP~C
$KSdNFtM)A
class TestUnion GyirE`
{ MHl ffj
public: U
+c?x2\
int data_; UE:';(t
}; |6]2X W
bl8zcpdL
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! +JyD W%a:L
OoW,mmthj>
二、类中union的初始化 ??\1eo2gB
41-u*$
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: g 0Rny
ua!i3]18
#pragma warning(disable : 4786) !p:kEIZ)y
#include Ge'[AhA
`S`,H
using namespace std; $N
!l-lu=
@u@N&{b5"
class TestUnion \`ya08DP(
{ l(irNKutgo
enum StoreType{Long,Const_CharP}; @fI1|v=eF
union T^z
{ B^7B-RBi0
const char* ch_; I_?+;<n
long l_; 1/JtL>SKE
} data_; 9i6z p'
StoreType stype_; $-J0ou8~
TestUnion(TestUnion&); H0!LiazA>
TestUnion& operator=(const TestUnion&); /$z(BX/
public: /nPNHO>U
TestUnion(const char* ch); xbVvK+
TestUnion(long l); 8fI]QW
operator const char*() const {return data_.ch_;} nj90`O.K
operator long() const {return data_.l_;} Z.^DJ9E<1
}; ";kwh8wB
g6 AEMer
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) PZ#\O
{ 3]46qk'
} Z=[qaJ{]
r$8(Q'
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) V4["+Y
{ n]3Lqe;
} g-C)y
06
f9%M:cl
int main (void) !t;B.[U *
{ #<$pl]>}t
TestUnion pszobj("yuankai"); +.czj,Sq
TestUnion lobj(1234); /8cfdP Ba
cout<(pszobj)< cout< GbXa=*
<-<
return 0; l:@`.'-=
} 0:1[F!]'b
S17iYjy#8T
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: E;o
"^[we
K/flg|uZ/V
class TestUnion -XJXl}M.
{ a<E\9DL
enum StoreType{Long,Const_CharP}; M~?2g.o'D
union DataUnion //不能匿名 jqzG=/0~{
{ 6"o,)e/z
DataUnion(const char*); //声明const char*构造函数 De<kkR{4
DataUnion(long); //声明long构造函数 d`w3I`P1
const char* ch_; 'K!u}py
long l_; gN/kNck
} data_; IYG,nt!
StoreType stype_; o8RVmOXe
TestUnion(TestUnion&); 7hzd.
TestUnion& operator=(const TestUnion&); c,yjsxETW
public: J4) ?hS
TestUnion(const char* ch); JK%UaEut=
TestUnion(long l); { Mv$~T|e7
operator const char*() const {return data_.ch_;} LBIsj}e
operator long() const {return data_.l_;} ^~7/hm:
}; mNQ~9OJ1
lZ*V.-D^]
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) S^c;i
{//注意data_(ch),这里直接引用data_ WV8vDv1jt
} 2(i@\dZCb<
} %bP9
TestUnion::TestUnion(long l):data_(l),stype_(Long) _SQQS67fu"
{//注意data_(l),这里直接引用data_ g7l?/p[n
} 6k=*O|r
"9v4'"
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ]aZ3_<b
{ %wQE
lkB
} qS!U1R?s
NI^jQS
M]
TestUnion::DataUnion::DataUnion(long l):l_(l) xTGdh
{ PK&\pkX
} L;
o$vI~U,
"*T4%3dA
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!