前言 `
8UWE {
j o_
sAb
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 xnbsg!`;7W
5m7b\Mak
一、在union中存储对象 QrC/ssf}
k_?~<vTM
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? Hbk&6kS
FJT1i@N
#pragma warning(disable : 4786) _]=9#Fg7{
#include CZ3].DA|z
using namespace std; 9!}q{2j
G52Z)^
class TestUnion ErDL^M-`
{ LeHiT>aX!
public: @]=f?+y[ 2
TestUnion(long l):data_(l)
HE;V zR
{ ZXt?[Ll
}; :}9j^}"c3
int data_; /K|:9Q$K6
}; FZXyfZw!|
OJ/SYZ.r
typedef union _tagUtype_ {155b0
{ ?4G(N=/&
TestUnion obj; JMlV@t7y<
}UT; n3ZAF'
cJ/]+|PQ
int main (void) //.>>-~1m
{ U-EhPAB@
return 0; "K?Q
} 0pN{y}x,
b/<mRQ{
[AR>?6G-
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: a2yE:16o6
eN/G i<
class TestUnion OVR?*"N_
{ mW4%2fD[
public: m<: IFx#
int data_; _ 08];M|
}; 2a `J%A
l>&sIX
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! .Xd0
Q=1h
8!zbF<W9
二、类中union的初始化 mp\%M
1<
c+2%rh1
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: %idk@~H Cg
S&?7K-F>_o
#pragma warning(disable : 4786) i:Y\`J
#include /\E [
t1ze-Ht;
using namespace std; T?npQA07=
/IR#A%U
class TestUnion +\`rmI
{ 6GINmkA
enum StoreType{Long,Const_CharP}; 6t}XJB$+7
union 2dbRE:v5
{ 6I |A-h
const char* ch_; J%Mnjk^_\S
long l_; 'RTtE
} data_; QCpM|,drS
StoreType stype_; ;h~er6&
TestUnion(TestUnion&); V1<`%=%_W
TestUnion& operator=(const TestUnion&); +a$|Sc
public: X:=c5*0e
TestUnion(const char* ch); 2o5;Uz1{
TestUnion(long l); }1 QF+Cf
operator const char*() const {return data_.ch_;} )q3"t2-
operator long() const {return data_.l_;} v01#>,R
}; Q$a
YaL]>.;Z:"
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) k+1gQru{d
{ t;47(U
} #C*&R>IvY
]ii+S"U3
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) u) *Kws
{ R1%y]]*-P
} .y): Rh^
AK2WN#u@Z
int main (void) n29(!10Px
{ ddDS=OfH
TestUnion pszobj("yuankai"); q;A;H)?g
TestUnion lobj(1234); CMl~=[foW
cout<(pszobj)< cout< 'M/([|@
return 0; p2d\ZgWD=)
} }htPTOy5
T20VX 8gX
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: YBjdp=als
zY%. Rq-
class TestUnion g1|w? pI1
{ 3M<!?%v\A
enum StoreType{Long,Const_CharP}; ~V+l_:
union DataUnion //不能匿名 Z'M`}3O
{ 5 DFZ^~
DataUnion(const char*); //声明const char*构造函数 #Ufo)\x
DataUnion(long); //声明long构造函数 PW)aLycPK
const char* ch_; =~|:t&v=c
long l_; {THqz$KN
} data_; |y1;&<
StoreType stype_; GAl+Zg##
TestUnion(TestUnion&); |4C^$
TestUnion& operator=(const TestUnion&); LE;g
0s
public: 6 hiC?2b{x
TestUnion(const char* ch); h$fe -G#
TestUnion(long l); u%2KwRQ
operator const char*() const {return data_.ch_;} BHr|.9g]%%
operator long() const {return data_.l_;} $YM_G=k
}; lG"H4Aa>
g.C5r]=+&
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) }5b M1h#z
{//注意data_(ch),这里直接引用data_ FpVV4D
} i_l+:/+G+
M{KW@7j
TestUnion::TestUnion(long l):data_(l),stype_(Long) r@$ w*%
{//注意data_(l),这里直接引用data_ ~F[L4y!sL
} .j?kEN?w
#n7Yr,|Z
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) p^X^1X7
{ =NDOS{($
} pP.'wSj
REA;x-u*
TestUnion::DataUnion::DataUnion(long l):l_(l) KoHGweKl#
{ rt!r2dq"
} V4K'R2t
Y25uU%6t_
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!