前言 %s|`1`c
>v
sy P
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 n\X'2
p,(gv])ie
一、在union中存储对象 X`,=tM
!c 3c%=W
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? S-^:p5{r
8ClOd<I
#pragma warning(disable : 4786) j@7%%
#include pfs'2AFj
using namespace std; B^;G3+}
#o>~@.S#:0
class TestUnion eUY/H1
{ lKtA.{(
public: pZVT:qFF
TestUnion(long l):data_(l) /b|V=j}W
{ WNO|ziy
}; n8FmIoZ&`
int data_; 9A7LDHst7
}; Lo<-;;vQ
X-lB1uq^
typedef union _tagUtype_ *6C ]CS
{ /-{C,+cB
TestUnion obj; Ht{Q=w/9
}UT; x/<eY<Vgm?
hggP9I:s,
int main (void) Lm!/iseGv
{ 6h?v/\
return 0; ryC7O'j_P
} b6]MJ0do
b{~64/YJ
k}0Y&cT!rU
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: fRt`]o:Om
zUQn*Cio e
class TestUnion 8LPvb#9=
{ 4\#b@1]}
public: # $N)
int data_; $;J:kd;<
}; EF8~rKO3
&E/0jxM1
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! #;+ABV
?z[k.l+6w
二、类中union的初始化 G`D~OI
h1_9Xp~N
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ~;QzV?%
"p"M9P'
#pragma warning(disable : 4786) X2PyFe
#include 3g{T+c*
*LZB.84
using namespace std; ozCH1V{p
"0V8i%a
class TestUnion 4WAs_~
{ o8ERU($/
enum StoreType{Long,Const_CharP}; #
o;\5MOE%
union ^&|KuI+u
{ A8zh27[w%
const char* ch_; Z'<I
Is:J
long l_; |eu:qn8
} data_; K^yZfpa8
StoreType stype_; 9 aacW
TestUnion(TestUnion&); {L#+v~d^'n
TestUnion& operator=(const TestUnion&); (p1}i::Y8
public:
L7rEMq
TestUnion(const char* ch); . 1q4Q\B<
TestUnion(long l); z0F'zN3J
operator const char*() const {return data_.ch_;} ;;]^d_
operator long() const {return data_.l_;} aGx[?}=
}; *[ww;
kw$*o
k
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) uO{'eT~
{ `at>X&Ce,
} Ir4M5OR\
kKHGcm^r
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) B s {n
{ |9;MP&68
} ixjhZk i<
Mv 1V
Vk
int main (void) 8j^3_lD
{ ;XDGlv%
TestUnion pszobj("yuankai"); na0-v-
TestUnion lobj(1234); L>X39R~
cout<(pszobj)< cout< nB.u5
return 0; 6?uo6 I
} ?>}&,:U}
{{+woL'C
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: a'prlXr\4
rE5q
BEh
class TestUnion "l7))>lL
{ QP={b+8
enum StoreType{Long,Const_CharP}; Lk8NjK6
union DataUnion //不能匿名 ;R4qE$u2^
{ e<E]8GAF
DataUnion(const char*); //声明const char*构造函数 :WM[[LOaC
DataUnion(long); //声明long构造函数 .G/2CVMj
const char* ch_; kfQi}D'a
long l_; dl;
} data_; ecqL;_{o
StoreType stype_; p J#<e
TestUnion(TestUnion&); 0%OV3`
TestUnion& operator=(const TestUnion&); t9Y?0O}/
public: 7w8I6
TestUnion(const char* ch); kA/V=xO<
TestUnion(long l); *0!IHr"fn
operator const char*() const {return data_.ch_;} \NTNB9>CO
operator long() const {return data_.l_;} 4.o[:5'
}; !3JYG
k,M%"FLQ
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Au[H!J
{//注意data_(ch),这里直接引用data_ 'du{ky
} r[votdFo
0f]LOg
TestUnion::TestUnion(long l):data_(l),stype_(Long) -<RG'I~
{//注意data_(l),这里直接引用data_ 50VH>b_
} *j/[5J0'M
{I"`(
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) Q?7:XbN
{ O%R*1
P9
} C?h`i ^ >2
Ej7>ywlW
TestUnion::DataUnion::DataUnion(long l):l_(l) 0*umf.R
{ )?D w)s5
} { kF"<W
hq[RU&\
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!