前言 +X
88;-
R[]Mdt<
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 G7/ +ogV
1<aP92/N&
一、在union中存储对象 g2Z`zQA7
}3WxZv]I}
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? '[%j@PlCX
cQ}{[YO
#pragma warning(disable : 4786) +^F Zq$NP
#include "qy,*{~
using namespace std; +k R4E23:
qwAT>4
class TestUnion &m;*<}X
{ 4Ftu
public: l,aay-E
TestUnion(long l):data_(l) SOaoo^,O
{ AbW6x
}; +R75v )
int data_; &_8947
}; }"%N4(Kd
<(#ej4ar,
typedef union _tagUtype_ ~v6D#@%A
{ |CbikE}kL
TestUnion obj; @BMx!r5kn
}UT; lq7E4r
:7;@ZEe
int main (void) H3oFORh
{ "_?nN"A7
return 0; {?7Uj
} w_V P
J
b*lkBqs$
MomwX
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ;8 lfOMf
vW@=<aS Z
class TestUnion Y8t8!{ytg
{ j<e2d7oN
public: P[fq8lDA
int data_; Ab;.5O$y
}; t sRdvFFq
A^S gI-y|
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! <IW$m!{VG
@IZnFHN
二、类中union的初始化 ~pky@O#b
u9p$YJ
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: j![\& z
ql~J8G9
#pragma warning(disable : 4786) u_Z+;{]Pj
#include e&>2
n
>=w)x,0yX
using namespace std; 9+!hg'9Qn
:[d9tm
class TestUnion ^xk'Z
{ `">=
enum StoreType{Long,Const_CharP}; &uVnZ@o42
union RT8 ?7xFc
{ G^@5H/)
const char* ch_; 9W);rL|5
long l_; 7a}k
} data_; bvOq5Q6
StoreType stype_; +
>!;i6|
TestUnion(TestUnion&); b\,+f n
TestUnion& operator=(const TestUnion&); y8xE
6i
public: wb ;xRP"w
TestUnion(const char* ch); qmP].sA
TestUnion(long l); ]eV8b*d6
operator const char*() const {return data_.ch_;} K:WDl;8(d
operator long() const {return data_.l_;} 62NsJ<#>
}; b#o|6HkW
I]_5}[I
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) :rP=t ,
{ Zj
Z^_X3
} iU:cW=W|M\
>8[Z.fX
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) z'7]h TA
{ y>ktcuML
} )O6>*wq
z0Z%m@
int main (void) 1xx}~|F?|
{ &xExyz~`
TestUnion pszobj("yuankai"); A":T1s
TestUnion lobj(1234); @PIp*[7oC
cout<(pszobj)< cout< 8xMX
return 0; vw@S>GlGg
} NCD04U5y
dgP3@`YS
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: #p{4^
uEx-]F
class TestUnion YchH~m|
{ _','9|
enum StoreType{Long,Const_CharP}; {\\Tgs
union DataUnion //不能匿名 hCo|HB
{ FC4wwzb
DataUnion(const char*); //声明const char*构造函数 f,Ghb~y
DataUnion(long); //声明long构造函数 !TcJ)0
const char* ch_; e~(5%CO>#j
long l_; -7|H}!DFT
} data_; $Z>'Jp
StoreType stype_; o;RI*I
TestUnion(TestUnion&); .eC1qWZJpd
TestUnion& operator=(const TestUnion&); UL9n-M=
public: [.}oyz;}N
TestUnion(const char* ch); ;O#>Y
TestUnion(long l); \^1E4C\":
operator const char*() const {return data_.ch_;} . 'yCw#f
operator long() const {return data_.l_;} $`'/+x"%
}; ^/k*h J{
:2)/FPL6
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) d0 /#nz
{//注意data_(ch),这里直接引用data_ ll?X@S
} (Awm9|.{+
|+"(L#wk
TestUnion::TestUnion(long l):data_(l),stype_(Long) t3^&;&[
{//注意data_(l),这里直接引用data_ %xt^698&X
} V^~:F
W!(LF7_!
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) >KKMcTOYY
{ &Hnz8Or!
} FE;x8(;W8
uvS)8-o&F
TestUnion::DataUnion::DataUnion(long l):l_(l) E<*xx#p
{ wUM0M?_p[
} ,"0:3+(8;
Q=dy<kg']
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!