前言 L6^Qn%:OTd
,8KD-" l^g
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 A6APU><dm^
tN'-4<+
一、在union中存储对象 p/|":(U
3[RbVT
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? cO,ELu
}";\8
#pragma warning(disable : 4786) y/>]6Pj
#include N 798("
using namespace std; [@U2a$k+d
:V>M{vd
class TestUnion P"`OuN
{ ]j.??'+rg
public: OY'490
TestUnion(long l):data_(l) sLE@Cm]k
{ \($EYhx
}; "y_A xOH
int data_; J?\z{ ;qa
}; x[Xj[O
jP{LMmV
typedef union _tagUtype_ C3Mr)
{ DwXzmp[qWH
TestUnion obj; $z-zscco
}UT; r-#23iT.~
f)xHSF"
int main (void) ORPQ1%tu
{ ^^[MDjNy@
return 0; KGCm@oy
} 2TN+ (B#Z!
i^[yGXtW
,Db+c3
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ,t4g^67R{
n3, ?klK
class TestUnion y*,3P0*z
{ 'Ldlo+*|5
public: FF:Y7wXW
int data_; #P,mZ}G\
}; BJgg-z{Y
IS;F9{
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ;dt&*]wA
_y Q*
二、类中union的初始化 o(iN}. c
XG
fLi
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: $:I~y|
!1
8iTX}$t\{
#pragma warning(disable : 4786) d($f8{~W
#include V 0Ul`
Ol4)*/oZ
using namespace std; mmrx*sr=
}(AgXvRq
class TestUnion #un#~s
7Q
{ M6E.!Cs
enum StoreType{Long,Const_CharP}; @Oe!*|?mS
union #4. S2m4
{ _w+ix9Fr?
const char* ch_; 2| u 'J
long l_; rA9BY :N@
} data_; (\
`knsE!
StoreType stype_; bXoj/zek
TestUnion(TestUnion&); !br0s(|
TestUnion& operator=(const TestUnion&); k~ #F@_
public: >W,1s
TestUnion(const char* ch); bd[zdL#4K
TestUnion(long l); 4&IBNc,sn
operator const char*() const {return data_.ch_;} ar.w'z
operator long() const {return data_.l_;} 7dl]f#uZU
}; JV|GEn\@N
C<CE!|sfr
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) k$nQY
{ RsJj*REO
} y0vo-)E]-]
g2b%.X4
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 0 r=:l/Pz
{ Y|FJ1x$r
} ~8AcW?4Z
Gd$odKtI
int main (void) +:4J~Cuf
{ 5?),6o);
TestUnion pszobj("yuankai"); yW.s?3X
TestUnion lobj(1234); @; ayl
cout<(pszobj)< cout< w=Xil
return 0; (KaP=t}
} WAlsh
o0Qy?14T-
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: T$/6qZew
~ g$Pb[V
class TestUnion O@jW&-;
{ JFVal#
enum StoreType{Long,Const_CharP}; T69'ta32V
union DataUnion //不能匿名 I^'kt[P'FZ
{
'ypJGm
DataUnion(const char*); //声明const char*构造函数 SS@F:5),
DataUnion(long); //声明long构造函数 K1O0/2O
const char* ch_; |,F/_
long l_; )P\Vd #
} data_; ^YzFEu$
StoreType stype_; 6dO )]
TestUnion(TestUnion&); o
>bf7+D
TestUnion& operator=(const TestUnion&); YK#bzu ,!
public: }?xu/C
TestUnion(const char* ch); (v*$ExF
TestUnion(long l); 9,y*kC
operator const char*() const {return data_.ch_;} /X)fWO S6
operator long() const {return data_.l_;} Hk%m`|Z
}; e$|g
)
'x4#5]
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) s
}q6@I
{//注意data_(ch),这里直接引用data_ AZ cWf8
} T'2(sHk
/7X:=~m
TestUnion::TestUnion(long l):data_(l),stype_(Long) CN0&uyu#4
{//注意data_(l),这里直接引用data_ Z++JmD1J
} /)?]vKMiI
B3uv>\
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) hRZ9[F[[
{ 5S:#I5Wa
} @~Z:W<X
%\ -u&