前言 ?u:mscb
Qjnh;uBO
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 9I
[:#,zdf
2Q]W
一、在union中存储对象 `$FX%p
eFS$ ;3FP1
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? @M-Q|
K0C"s'q
#pragma warning(disable : 4786) islHtX
VE
#include \o2l;1~
using namespace std; I+.U.e^gx
MZf?48"f
class TestUnion 4gev^/^^
{ &=M4Z/Ao
public: .o]I^3tfc
TestUnion(long l):data_(l) "M/) LXn:0
{ cC/32SmY4
}; sq(5k+y*J
int data_; rr\u)D#)
}; tN4&#YK<
O/ItN5B
;
typedef union _tagUtype_ mOHOv61
{ pCo3%(
TestUnion obj; 6'e^np
}UT; YIZu{
<A|z
int main (void) 6LCR ;~
]
{ m;rr7{7X
return 0; 8tv4_Lbx
} C@]D*k
X 5}=|%Y
uqI'e_&=&5
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 6bjZW ~
<&+jl($"
class TestUnion -~xQ@ +./
{ #6YpV)
public: Hf1b&8&:K
int data_; f_LXp$n
}; \<xo`2b
)16+Pm8
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 5Uy*^C7M^
us1$
二、类中union的初始化 <"`f!k#[
Ci4c8
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: Qx|HvT2P
toPFkc6`
#pragma warning(disable : 4786) LE5N2k
#include {`
bX*]
>7cj.%
using namespace std; qc)+T_m
9ei'oZ
class TestUnion \h s7>5O^K
{ \}k R'l
enum StoreType{Long,Const_CharP}; gpzFY"MS=
union .mqMzV
{ jr.{M
const char* ch_; d_&pxy?
>
long l_; o+{i26%
} data_; %`$:/3P$U
StoreType stype_; zd-
*UFi
TestUnion(TestUnion&); qBK68B)
TestUnion& operator=(const TestUnion&); i?@7>Ca
public: Evg#sPu\
TestUnion(const char* ch); _99 +Vjy
TestUnion(long l); h:C:opa-=
operator const char*() const {return data_.ch_;} L>WxAeyu1K
operator long() const {return data_.l_;} Bfdfw+
}; >$CNR*}@
lH/"47
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) [N%InsA9k
{ ?G~rYETvw
} bf1$:09
j"TEp$x
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 5eFtcK
{ sh` 3$ {
} {2 T:4i5
F=*t]X[z}
int main (void) \Wppl,"6c
{ :@E^oNKa0
TestUnion pszobj("yuankai"); <?L5bhq
TestUnion lobj(1234); c w)J+Lyh
cout<(pszobj)< cout< aL;zN%Tw
return 0; 2sG1Hox
} ,aP5)ZN-
A0;{$/
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: fU%Ys9:wU
};"_Ku4#-
class TestUnion .8ikcs
{ 5\}Y=Pa
enum StoreType{Long,Const_CharP}; %RF$Y=c'C
union DataUnion //不能匿名 .-MJ5 d:
{ ;"EDFH#W
DataUnion(const char*); //声明const char*构造函数 SJLs3iz_)
DataUnion(long); //声明long构造函数 "W4|}plnu
const char* ch_; Yh"9,Z&wiR
long l_; ngd4PN>{4
} data_; i
Pl/I
StoreType stype_; zp'hA
TestUnion(TestUnion&); ?;5/"/i
TestUnion& operator=(const TestUnion&); Nknd8 >Hy+
public: Kc1w[EQ
TestUnion(const char* ch); fo/sA9
TestUnion(long l); 67}8EV!/k
operator const char*() const {return data_.ch_;} +
>:}
operator long() const {return data_.l_;} v1}ijls
}; Td7Q%7p:
N~`r;E
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) aYpc\jJ
{//注意data_(ch),这里直接引用data_ C9k"QPE
} \7xc*v [
4z~;4
TestUnion::TestUnion(long l):data_(l),stype_(Long) [rAi9LSO"
{//注意data_(l),这里直接引用data_ XknNb{. r
} @{3_7
GvA4.s,
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) )G]J@36
{ Xf{p>-+DL
} /L!
=##
"iK'O =M
TestUnion::DataUnion::DataUnion(long l):l_(l) AOL=;z9c#
{ PV=sqLM~
} &n83>Q
MOB'rPIUI
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!