前言 nFe%vu8a
aZEn6*0B
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ^
wY[3"{
<>m }}^
一、在union中存储对象 !QDQ_
#
O4gg
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? #2`D`>7456
1SrJ6W @j[
#pragma warning(disable : 4786) 4%1D}9hO6
#include ]v#r4Ert
using namespace std; c1%H4j4/
*>VVt8*Et
class TestUnion _ Ro!"YVX
{ l2;CQ7
public: >5Wlc$bc
TestUnion(long l):data_(l) SZJ$w-<z
{ z<.?x%4O
}; )[1)$-Ru
int data_; f]7M'sy |
}; LN_xq&.
7Sz?S_N/j
typedef union _tagUtype_ F @Te@n
{ #GJ
dZ
TestUnion obj; E*?<KZe"
}UT; [o*7FEM|<
L28*1]\Jh
int main (void) ;Jd3u
-
{ A>{p2?`+!
return 0; o!4!"O'E
} zD3mX<sw
9<Kj6t_
+:3*
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: gIA@l`"
V'w@rc\XN
class TestUnion w&xDOyW]
{ 2< hAa9y
public: 3BpZX`l*p
int data_; =TqQbadp
}; yjJ5P`j]
vP+@z-O
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! n ]dL?BJ
^xPmlS;X
二、类中union的初始化 @-OnHE
k1VT /u
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: V^Hu3aUx8
~q&pF"va8
#pragma warning(disable : 4786) .'a&33J
#include !45.puL0
7bDHXn
using namespace std; ]0L&v7[
xV%6k{_:G
class TestUnion b,KcBQ.
{ *!^<m0
enum StoreType{Long,Const_CharP}; 8BvonYt=8
union jNeI2-9c}
{ h5yzwj:C?
const char* ch_; :UJ a&$)
long l_; m~uOXb
} data_; y*MF&mQ[
StoreType stype_; ':R,53tjl
TestUnion(TestUnion&); 7mm1P9Z
TestUnion& operator=(const TestUnion&); `gKf#f
public: .k[o$z\EkF
TestUnion(const char* ch); .5!t:FPOv
TestUnion(long l); gl).cIp w
operator const char*() const {return data_.ch_;} Et_V,s<|
operator long() const {return data_.l_;} 0| ;
.6\
}; UU8pz{/
HK+/:'Pu
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) I7^zU3]Ul
{ pu,?<@0YK
} zS]8V?`
7)%+=@
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) WL{(Ob
{ <'G~8tA%v
} TY(bPq
r]ShZBAbYp
int main (void) xJ2*LM-
{ Ma|qHg
TestUnion pszobj("yuankai"); tTU=+*Io
TestUnion lobj(1234); P9T5L<5
cout<(pszobj)< cout< .Yw'oYnS
return 0; e*j.
} ZtHm\VTS
%7g:}O$
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 1wW)tNKIF
/k"`7`!
class TestUnion :R.&`4=X
{ (RtueEb.~E
enum StoreType{Long,Const_CharP}; {647|j;e
union DataUnion //不能匿名 y$<Vha
{ t tXjn
DataUnion(const char*); //声明const char*构造函数 L,;D@Xi
DataUnion(long); //声明long构造函数 <W]g2>9o9
const char* ch_; ];%0qb
long l_; -)vEWn$3<
} data_; 2YuN~-
StoreType stype_; %&
_V0R\k
TestUnion(TestUnion&); exdx\@72
TestUnion& operator=(const TestUnion&); $Ci0I+5w
public: X,8<oX1r
TestUnion(const char* ch); hp"L8w
TestUnion(long l); ^t7x84jhL
operator const char*() const {return data_.ch_;} *._|- L
operator long() const {return data_.l_;} Dup;e&9g
}; .d/:30Y
4d:{HLX,
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) s_.]4bl.8
{//注意data_(ch),这里直接引用data_ ,#W
} 5<L_|d)0"
D#S\!>m
TestUnion::TestUnion(long l):data_(l),stype_(Long) 6!^[];%xN
{//注意data_(l),这里直接引用data_ #0 6-:
} jPnM>=
}3R13
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) |w}xl'>q
{ ;WL1B
} a(]`F(L
1}ZKc=Pfu
TestUnion::DataUnion::DataUnion(long l):l_(l) $;G{Pyp
{ w;v7_
} %r)avI
{A|TowBN
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!