前言 )Ch2E|C?=8
JEahGzO
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 >L;eO'D
*W0y: 3dB3
一、在union中存储对象 "$ Y_UJT7
jkiFLtB@V
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? bx{$Y_L+p
![YX]+jqNp
#pragma warning(disable : 4786) @eD):Y
#include tD(7^GuR
using namespace std; VY;{/.Sa
OjJXysslXO
class TestUnion h|VeG3H
{ <lw`
3aa(
public: j9?}j#@
TestUnion(long l):data_(l) 'IZI:V"
{ B$ajK`x&I
}; .aAL]-Rj
int data_; u frW\X
}; i'H/ZwU
n>+mL"hs
typedef union _tagUtype_ ryW'Z{+r'
{ Hv
sob
TestUnion obj; &]e'KdXF
}UT; q3.j"WaP
`k[-M2[
int main (void) P&9Gga^I
{ v 1z
return 0; \K@'Z
} )6,de2Pb
yj;sSRT
y .#")IAF
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: dv8>[#
U3T#6Rptl
class TestUnion cC=[Saatsf
{ 3 Nreqq
public: f&eK|7J_Yf
int data_; WG6FQAo^8
}; f,V<;s
@ezH'y-v
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! \m7-rV6r
-8eoNzut
二、类中union的初始化 -=)+dCyB^
E*.{=W }C
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: e,F1Xi#d
k9:{9wW
#pragma warning(disable : 4786) y.e^h RKb
#include o<<xY<
1rv)&tKs
using namespace std; ])|d"[ur=
//T>G_1
class TestUnion )PG6gZYW
{ T]t+E'sQ
enum StoreType{Long,Const_CharP}; {5%5}[/x
union Ss~;m']68
{ "x=f=;
const char* ch_; i@P)a'W_
long l_; <,Ue
0
} data_; ?ooe'V@
StoreType stype_; wfU7G[
TestUnion(TestUnion&); eqP&8^HP
TestUnion& operator=(const TestUnion&); .z)%)PVV
public: w[9|cgCY
TestUnion(const char* ch); Bg&i63XL$$
TestUnion(long l); 0Fk5kGD,&K
operator const char*() const {return data_.ch_;} :*ing
operator long() const {return data_.l_;} 0y
7"SiFY
}; Y?
x,
xIxn"^'
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) sm0x LZ
{ ]w;rfn9D
} -~v|Rt
uJFdbBDSh
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) U7`A497Z
{ yRSTk2N@
} XWA:J^
D2](da:]8)
int main (void) ]Y2RqXA*
{ g#F?!i-[F
TestUnion pszobj("yuankai"); 2"Ecd
TestUnion lobj(1234); p[hZ@f(z
cout<(pszobj)< cout< $^OvhnL/
return 0; .q%WuQw
} ue4Vcf
0J?~N`#O|
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: lV1G<qP
[`^a=:*
class TestUnion ,_Z5m;
{ POdUV
enum StoreType{Long,Const_CharP}; N['qgO/
union DataUnion //不能匿名 &>%T^Y|J4
{ SnE(o)Q
DataUnion(const char*); //声明const char*构造函数 aa>xIW,u
DataUnion(long); //声明long构造函数 >#hO).`C
const char* ch_; FN\E*@>X=
long l_; 4 !y%O
} data_; j Dy-)2<
StoreType stype_; T(f/ ?_%
TestUnion(TestUnion&); Min
^>
TestUnion& operator=(const TestUnion&); <F}_ /q1
public: 5Yl<h)1
TestUnion(const char* ch); RoU55mL
TestUnion(long l); #9X70|f
operator const char*() const {return data_.ch_;} ^C_#<m_k
operator long() const {return data_.l_;} ppZDGpp
}; p 3 w
ptDY3n~'
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) BRlT7grgq
{//注意data_(ch),这里直接引用data_ y^%n'h{
} ?YZ- P{rTS
=at@ Vp/y
TestUnion::TestUnion(long l):data_(l),stype_(Long) 7(qE0R&@
{//注意data_(l),这里直接引用data_ P"W2(d
} &;+-?k|
KVD8YfF
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) [-\%4
{ 4:|S` jm
} D@Vt^_
>sK!F$
TestUnion::DataUnion::DataUnion(long l):l_(l) ;?8_G%va
{ tS|(K=$
} fjU8gV
,=Mt`aN
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!