前言 /:-8 ,`
`Mj>t(
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 f|eUpf%)
EyJWi<
一、在union中存储对象 EA@p]+P
\4;}S&` k
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? l;TWs_N
<pAN{:
#pragma warning(disable : 4786) y7[D9ZvZ
#include !/pE6)a
using namespace std; t?&
a?6:J
1=fP68n
class TestUnion S!*wK-
{ Uy8r
!9O
public: oqu; D'8
TestUnion(long l):data_(l) c rx8+
{ FjUf|
}; rGPFPsMQ]
int data_; >hg?!jMjrr
}; :u}FF"j
UPs7{We W
typedef union _tagUtype_ ~`7L\'fs
{ XE/K|o^Hp
TestUnion obj; h_O6Z2J1
}UT; p[kEFE,%
z)z_] c-X+
int main (void) 6pyLb3[e
{ +Usy
return 0; AQCU\E
} lLq9)+HGN
0FL PZaRP
"?_r?~sJx
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: zqd_^
pq<302uBQ
class TestUnion } v#Tm
{ 9?4EM^-
public: lIs<&-0
int data_; %<4ZU!2L
}; HzdtR
FQc8j:'
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! *|Cmm>z"7
e -sZ_<GH
二、类中union的初始化 ^Q)&lxlxpx
irg%n
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 6xLLIby,
dd $}FlT
#pragma warning(disable : 4786) "oZ$/ap\
#include !F@9xG
GqYE=Q
using namespace std; a!n |/9
6
X-xN<S q
class TestUnion U9uy(KOW
{ :cx}I
enum StoreType{Long,Const_CharP}; VR/*h%
union (5-4`:1ux
{ _]g?3Gw7!
const char* ch_; bV'^0(Zv
long l_; ^#^\@jLm
} data_; @wzzI 7}C
StoreType stype_; m[k@\xS4e
TestUnion(TestUnion&); 5]c'n
TestUnion& operator=(const TestUnion&); G)vq+L5%
public: ,5tW|=0@
TestUnion(const char* ch); 4P1<Zi+<
TestUnion(long l); nhbCk6Y5LZ
operator const char*() const {return data_.ch_;} =TTk5(m
operator long() const {return data_.l_;} m2j&v$
}; h3}gg@Fm
, [V#o-Z
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) &mG1V
{ f{m,?[1C,
} H%}ro.u
mJj
[f8
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) BtPUUy.
{ @W{VT7w
} >EMsBX
ZmJ!ZKKch
int main (void) dKKh ^D`~
{ #Tr>[ZC
TestUnion pszobj("yuankai"); k|Xxr
TestUnion lobj(1234); X =sC8E dx
cout<(pszobj)< cout< UJ}Xa&*H\
return 0; ;q8tOvQ
}
PT`];C(he
{iz,iv/U
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Aqc
Cb[1r
~v
/N G
class TestUnion BdK2I!mm
{ $r>\y (W
enum StoreType{Long,Const_CharP}; U}6FB =
union DataUnion //不能匿名 U c6]]Bbc
{ \[nvdvJv
DataUnion(const char*); //声明const char*构造函数 tHvc*D
DataUnion(long); //声明long构造函数 QNGICG-
const char* ch_; $& 0hpg
long l_;
$O+e+Y
} data_; gK`o;` ^
StoreType stype_; w2
L'j9
TestUnion(TestUnion&); 't3@dz_dG
TestUnion& operator=(const TestUnion&); FN25,Q8:*I
public: h1y6`m9
TestUnion(const char* ch); `]+-z+
TestUnion(long l); t
Q0vX@I<v
operator const char*() const {return data_.ch_;} zW,Nv>Ac5
operator long() const {return data_.l_;} @,Re<%\
}; R5y+bMZ
))pp{X2m
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) {3jV ,S
{//注意data_(ch),这里直接引用data_ Tb2Tb2C
} AK#`&)0i
DgJG: D{
TestUnion::TestUnion(long l):data_(l),stype_(Long) 1 z4s1Y
{//注意data_(l),这里直接引用data_ :;wb{q$O
} FY^#%0~
qkM<t?uS
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) R)%1GG4
{ M"E ]r=1
} *zf@J'
)2U#<v^
TestUnion::DataUnion::DataUnion(long l):l_(l) 1j_x51p
{ ;+) M~2 =
} b),_rr
vYYLn9}5
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!