前言
1l}Am>}
3k_\xQ
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 oVUsI,8
qe1>UfY
一、在union中存储对象 NV{= tAR
Z<C39s
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? jl;N
Fk%
}3
~*/30V
#pragma warning(disable : 4786) yhK9rcJq6}
#include B[&l<*O-y
using namespace std; yIpgZ0:h
7Fa<m]k
class TestUnion GdScYAC
{ "7(@I^'t6
public: 0:`YY8j1k
TestUnion(long l):data_(l) y4n~gTo(?
{ pIm ]WNX(
}; w5-^Py
int data_; ~
c~j
}; ~P!=fU)
9-A@2&J1
typedef union _tagUtype_ o}wRgG
{ [D?xd/G
TestUnion obj; Ub\&k[F
}UT; +=L+35M
01aw+o
int main (void) RM%Z"pc Y6
{ v7+|G'8M`
return 0; kiin7 8W
} iRW5*-66f
.aK=z)
\8{Tj54NA
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 2l+'p[b0>
02^\np
class TestUnion K;`*n7=IA
{ 1-4[w
*u>
public: w3fD6$
int data_; 3!?QQT,!)
}; x )q$.u+
4Im}!q5;:<
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! T sJ71
'r^'wv]
二、类中union的初始化 f .h$jyp(
*D7oHwDU
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: @6U&7!
z;0]T=g
#pragma warning(disable : 4786) &t@ $]m(
#include FFN.9[Ly
!P6y_Frpe
using namespace std; <dk9n}y<,
at3YL[,[Z
class TestUnion ,=%c
e
{ eLyIQo W
enum StoreType{Long,Const_CharP}; ybB<AkYc
union iVqF]2>
{ ~3Z(0gujD
const char* ch_; R, zp&L
long l_; 4
>D5t)254
} data_; h!hv{c
StoreType stype_; +hT9V1'-D
TestUnion(TestUnion&); $- Z/UHT
TestUnion& operator=(const TestUnion&); 38JU-aq
public: i079 V
TestUnion(const char* ch);
q,'~=Y5
TestUnion(long l); SYOU&*
operator const char*() const {return data_.ch_;} 8wS9%+
operator long() const {return data_.l_;} mvtuV`
}; }4>#s$.2
URTJA<r8D
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 61TL]S8
{ S7hfwu&7F
} KkHlMwv
1[dQVJqMp(
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 4MgG]
{ }M\G
} g{7?#.7
><@& &u.
int main (void) 'Cywn^Ym#
{ %__.-;)o
TestUnion pszobj("yuankai"); JnH5v(/
TestUnion lobj(1234); 6tM@I`l
cout<(pszobj)< cout< Xb*>7U/'T
return 0; lU3Xd_v
O
} dnX^ ?
ui^v.YCMI
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: *\wf(o>Q
?Vr~~v"fg8
class TestUnion ]"1\z>Hg
{ "w{,ndZ
enum StoreType{Long,Const_CharP}; `udZ =S"/L
union DataUnion //不能匿名 ~U4;YlQP
{ 0k|/]zfb
DataUnion(const char*); //声明const char*构造函数 DZ;2aH
DataUnion(long); //声明long构造函数 (WS<6j[q
const char* ch_; 'seuO!5
long l_; -(.\> F
} data_; -_Iuvw
StoreType stype_; iwEHEi%
TestUnion(TestUnion&); YpbJoHiSH
TestUnion& operator=(const TestUnion&); `JG7Pl/ih
public: EY!P"u;
TestUnion(const char* ch); $%J$
TestUnion(long l); o Bp.|8-
operator const char*() const {return data_.ch_;} 5 s2/YG=
operator long() const {return data_.l_;} >5]w\^QN9_
}; !]WC~#|{B
4>[tjz.?k
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) %6<2~
{//注意data_(ch),这里直接引用data_ *FoPs
} A}n5dg0u
AwGDy +
TestUnion::TestUnion(long l):data_(l),stype_(Long) TsZX'Yn
{//注意data_(l),这里直接引用data_ E@;v|Xc
} X<$8'/p r
: ]JsUb{YK
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) qfEB VS(
{ N6-bUM6%I
} GEf[k OQ
K,GX5c5
TestUnion::DataUnion::DataUnion(long l):l_(l) ;%aWA
{ ?"qS%EH
} _^0)T@
}\\6"90g*
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!