前言 k0V]<#h87
o}KVT%}
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 U~ a\v8l~
@Drl5C}+
一、在union中存储对象 #!O)-dyF
Jaw1bUP!oK
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? !|4]V}JQ
_dk[k@5W{'
#pragma warning(disable : 4786) Pa d)|
#include G^dp9A
using namespace std; Ij4q &i"
Y3[KS;_fr9
class TestUnion i3|xdYe$
{ 8/)\nV$0Y
public: '1b8>L
TestUnion(long l):data_(l) Bcv{Y\x;ko
{ ;AOLbmb)H4
}; =bD.5,F)
int data_; ya~;Of5
}; T=-UcF
y-.{){uaD
typedef union _tagUtype_ M}11 tUl
{ |A*4Fuc&
TestUnion obj; Fw-Rv'\
}UT; w" [T
TX$dxHSPK
int main (void) u=qK_$d4
{ )m
=xf1
return 0; t6+W
} y]@JkF(
d6tv4Cf
sNpA!!\PM
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 6}R*7iMs
Qm3F=*)d
class TestUnion B6IKD
{ nm<VcCc
public: AzJ;EtR
int data_; gkxHfm
}; *l
=f=
F5x*#/af
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! (kY0<
S"G(_%
二、类中union的初始化 uQ_C<ii"W
g4,ldr"D
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 8=Oym~
F%p DF\
#pragma warning(disable : 4786) +i!HMyM
#include K5LJx-x*j
diu"Nt
using namespace std; &':C"_|&r
2C:u)}R7D
class TestUnion r{r~!=u
{ xP>cQEL ot
enum StoreType{Long,Const_CharP}; GNM>hQ)h:
union w]qM
{ .>TG{>sH
const char* ch_; Ua|iAD1
long l_; :X}SuM?c
} data_; #lqH/>`>
StoreType stype_; SN{A@dyt
TestUnion(TestUnion&); VS ECD;u4c
TestUnion& operator=(const TestUnion&); y[l{
UBue:
public: /77cjesZ9
TestUnion(const char* ch); S[$9_J f
TestUnion(long l); <S7SH-{_\
operator const char*() const {return data_.ch_;} j$_?g!I=gK
operator long() const {return data_.l_;} ^cPVnl
}; `qmwAT
h9m|f|cH
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) c"kB @P
{ %E@o8
} m_Ed[h/I
tik*[1it
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) | WJ]7C
{ \PT!mbB?
} g)Hsd0
.?3roQ
int main (void) FEu}zt@
{ 4rL`||
TestUnion pszobj("yuankai"); /q>ExXsEC
TestUnion lobj(1234); bf.+Ewb(
cout<(pszobj)< cout< tgCp2`n
return 0; 9*FA=E
} (@*|[wN
JXkx!X_{
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: vjGJRk|XED
=/a`X[9vI
class TestUnion 0$`pYW]
{ ] +%`WCr9
enum StoreType{Long,Const_CharP}; z6M5'$\y
union DataUnion //不能匿名 Y1r'\@L w
{ vA:ZR=)F
DataUnion(const char*); //声明const char*构造函数 ec#`9w$
DataUnion(long); //声明long构造函数 gh[q*%#
const char* ch_; 3O*iv{-&
long l_; : 9(kU
} data_; 8iD7K@
StoreType stype_; rU9")4sQ
TestUnion(TestUnion&); PO'K?hVS^w
TestUnion& operator=(const TestUnion&); lGp:rw`
public: {~51h}>b#
TestUnion(const char* ch); <`Fl Igo
TestUnion(long l); x1wD`r
operator const char*() const {return data_.ch_;} ;8vB7|54.
operator long() const {return data_.l_;} D+0il=5
}; UGM:'xa<T
9=iMP~?xF
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) @ ^F{
{//注意data_(ch),这里直接引用data_ kb~
s,@p
} Oz\J+
,)\G<q
yO6
TestUnion::TestUnion(long l):data_(l),stype_(Long) 9(HGe+R4o
{//注意data_(l),这里直接引用data_ @+M1M2@Xz
} ]g9SUFM
q'H6oD`
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) R6 ej
{ Kk=>"?&
} YG*<jKcX
>#r0k|3J^J
TestUnion::DataUnion::DataUnion(long l):l_(l) *wqR .n?
{ _G-6G=q
} GBg
Iw?^
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!