前言 iI1n2>V3y
: esg(
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 /7c~nBU
g2cVZ!GIj
一、在union中存储对象 (t^n'V
l:|D,q
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? (?)7)5H
\;5\9B"i
#pragma warning(disable : 4786) }ET,ysa
#include ,~PYt*X4
using namespace std; 4<,|*hAT
}
l667N
class TestUnion }=](p-] 5
{ 5f'DoT
public: alMYk
TestUnion(long l):data_(l) l~s7Ae
{ lJ;J~>
}; EV M7Q>
int data_; NcS.49
}; ;Y9=!.Ak0y
ff?t[GS
typedef union _tagUtype_ Rg&-0b
{ )}v3q6?_
TestUnion obj; R9vT[{!i
}UT; $"JpFT
NR%Y+8^M
int main (void) ,Z9>h[JF
{ iOw3MfO
return 0; *hhmTc#
} /hW d/H]
!\ND(
V)M1YZV{
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 5X.ebd;PT
rt-\g1x
class TestUnion Pf_F59"
{ 4p`XG1Pt
public: #EO1`9f48x
int data_; e9pOisZ;8
}; l*aj#%ha
?WI3/>:<
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! I_)*)d44_
fN%jJ-[d
二、类中union的初始化 >u+q1j.
ZM#=`k9
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: _mE^rT
P@}P k
#pragma warning(disable : 4786) 0*%&>
#include eitu!=u
5MTgK=c
using namespace std; R,2=&+ e
]
f>]n
class TestUnion '!h/B;*(
{ D87|q4
enum StoreType{Long,Const_CharP}; &-yGVx
union .\3`2
{ 'm=*u
SJK
const char* ch_; 8OhDjWVJ
long l_; 7k%T<;V
} data_; 5ABhj* 7
StoreType stype_; fIC9WbiH-
TestUnion(TestUnion&); P'Q$d+F,
TestUnion& operator=(const TestUnion&); m*0,s
public: L6P1L)
TestUnion(const char* ch); 1^J`1
TestUnion(long l); 5`[n8mU
operator const char*() const {return data_.ch_;} ^)yTBn,
operator long() const {return data_.l_;} G* b2,9&F
}; >RI>J.~
;Q0bT`/X
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) @ez Tbc3
{ #C*8X+._y
} /
jTT5
:6kj EI
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) h~Q)Uy5N(D
{ >-<8N-@"n
} R>@uY(>dJ
Vn=qV3OE]
int main (void) KLQTKMNv
{ B@v\eF;
TestUnion pszobj("yuankai"); ,3DXFV'uxb
TestUnion lobj(1234); Fig&&b a
cout<(pszobj)< cout< `D5HC
return 0; I3S9Us-\
} ?NNn:t iD
~3h-j K?
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: pY8q=Kl
KGHq rc
class TestUnion `em9T oJV
{ SF]@|
enum StoreType{Long,Const_CharP}; 1M3%fW
union DataUnion //不能匿名 U_yE&6 T
{ 7EhN u@5-
DataUnion(const char*); //声明const char*构造函数 N)8HR9[!
DataUnion(long); //声明long构造函数 8G%yB}pa
const char* ch_; )x,8D ~p'
long l_; O{z}8&oR:
} data_; n";02?@F
StoreType stype_; r} _c
TestUnion(TestUnion&); 'Yy&G\S
TestUnion& operator=(const TestUnion&); 9?T{}| ?
public: ^D67y%
TestUnion(const char* ch); BfTcI)
TestUnion(long l); /nx'Z0&+X
operator const char*() const {return data_.ch_;} :7N3N
operator long() const {return data_.l_;} 8
(jUe
}; 4B+9z^oQ
CDy^UQb
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) $WQq?1.9
{//注意data_(ch),这里直接引用data_ TB6m0qX(
} >"3>s%
#Sg\q8(O
TestUnion::TestUnion(long l):data_(l),stype_(Long) L?&'xzt B
{//注意data_(l),这里直接引用data_ ni&*E~a
} 6X
g]/FD
}*U[>Z-eO
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 2Nc>6
{ -5G)?J/*
} 96Wp!]*
=;~I_)Pg1
TestUnion::DataUnion::DataUnion(long l):l_(l) 1{"llD
{ ?z-}>$I;
} ^>4o$}
OvL\u{(<F
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!