前言 v(2N@s<%
u;_~{VJ-
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 p)IL(_X)
+x"uP
一、在union中存储对象 FRd"F$U
^AP8T8v
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? X.t4;
q?(]
Y*
#pragma warning(disable : 4786) ]1!" q40)]
#include 3%Y:+%VE
using namespace std; jfuHZ^ YA
qE~_}4\Z9
class TestUnion AYbO~_a\N
{ eQbHf
public: <>3)S`C`p
TestUnion(long l):data_(l) IO+]^nY`
{ qNEp3WY:
}; 6z 9
'|;,4
int data_; TQ4@|S:OF
}; `$T$483/
I'uwJy_I\
typedef union _tagUtype_ cszvt2BIg
{ WUYI1Ij;
TestUnion obj; J$3g3%t
}UT; _M^.4H2
5W Ql?yMP
int main (void) %T/@/,7h
{ K!-OUm5A
return 0; ntW@Fm:bw>
} 9|+6@6VY!
P=94
s\-,RQ1
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: (GSP3KKo*G
Cu[-<>my
class TestUnion p-[WpY3
{ )j_El ]?
public: c$g@3gL
int data_; t2N W$
-E
}; ,>
zEG
V_+&Y$msi~
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! u7!9H<{>P
cSb;a\el$
二、类中union的初始化 Y9+_MxC"
S0,\{j
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 3z+l-QO8
o<`hj&s
#pragma warning(disable : 4786) %=aKW[uq]
#include XIW0Z C
S&-K!XyJ
using namespace std; x;/LOa{LR
#4^d#Gj
class TestUnion YlHP:ZW-cu
{ WK>F0xMs1
enum StoreType{Long,Const_CharP}; X ,QsE{
union ,;)ZF
{ -#|D>
const char* ch_; qA)OkR'm
long l_; kka5=u
} data_; ;5Sdx5`_
StoreType stype_; @]=40Yj~w
TestUnion(TestUnion&); WgtLKRZ\
TestUnion& operator=(const TestUnion&); L|=5jn9 :
public: $T'!??|IF
TestUnion(const char* ch); 6Z2 ,:j;
TestUnion(long l); 0t <nH%N}^
operator const char*() const {return data_.ch_;} $83B10OQ&L
operator long() const {return data_.l_;} `3+i.wR
}; g68p9#G
++0)KSvw
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) %M(RV_R+6
{ c3vb~l)
} "s+4!, k
AJPvwu}D
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ;P@]7vkff
{ m#7(<#
} >Fel) a
u!_l/'\
int main (void) $]v}X},,
{ ,erw(7}'.
TestUnion pszobj("yuankai"); @A/k"Ax{r
TestUnion lobj(1234); 1vj/6L
cout<(pszobj)< cout< [,zq
return 0; 4U}qrN~=
} ym%UuC3^w
&gXh:.
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: EYAaK^ &
Yd^@Ei9
class TestUnion G=zWhqieh
{ =&HLz
7|
enum StoreType{Long,Const_CharP}; H];B?G';C
union DataUnion //不能匿名 G-aR%]7$g
{ M+/xw8}a
DataUnion(const char*); //声明const char*构造函数 'Uok<;
DataUnion(long); //声明long构造函数 mB?x_6#d9
const char* ch_; .fA*WQ!lb
long l_; wKV4-uyr
} data_; #+I'V\[
StoreType stype_; kxn&f(5
TestUnion(TestUnion&); }Mcb\+[
TestUnion& operator=(const TestUnion&); [ERZ".?
public: sibYJK Oy
TestUnion(const char* ch); ]-fkmnmWX
TestUnion(long l); %,$ n^{v
operator const char*() const {return data_.ch_;} Fnw:alWr
operator long() const {return data_.l_;} U.%Kt,qB
}; qNp1<QO0
xP;r3u
s
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) O7K.\
{//注意data_(ch),这里直接引用data_ {@Mr7*u
} o2 14V \
wX$:NOO
TestUnion::TestUnion(long l):data_(l),stype_(Long) /ZLY@&M
{//注意data_(l),这里直接引用data_ vvoxK 0
} / HTY>b
qe~x?FO_>
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) wp[Ug2;G
{ $pGT1oF[E
} @f!X%)\;x
:6^7l/p
TestUnion::DataUnion::DataUnion(long l):l_(l) ;JW_4;-
{ M6Fo.eeK3
} $vO&C6m$
P]E-Wp'p
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!