前言 iu$Y0.H@
l5D4?`|
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 GcG$>&,
xEv?2n@A
一、在union中存储对象 `NNP}O2
4ves|pLET
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 1@9M[_<n5
X`fm5y
#pragma warning(disable : 4786) tBETNt7
#include :\C/mT3xL)
using namespace std; Qn.3B
}*b\=AS=
class TestUnion 8Un0<+b
{ -C8LM ls
public: 3S1{r
)[j
TestUnion(long l):data_(l) t#%J=zF{
{ ,t!I%r
}; m}f{o
int data_; !3{.
V\P)
}; N36B*9m&p
79I"F'
typedef union _tagUtype_ 6R*eJICN
{ 7`e<H 8g
TestUnion obj; {R/e1-;
}UT; |XMWi/p
,!X:wY}dW
int main (void) ["e;8H[K)%
{ +11 oVW
return 0; KUC%Da3
} ..w$p-1
"
t?44[
{1+meE
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ":qS9vW
}h* j{b,
class TestUnion QU(Lv(/O
{ #V$sb1u
public: HZjuL.Tj
int data_; Lhrlz,1
}; t^}"8
J4s`U/F
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! _Fe=:q
Qz"//=hC|H
二、类中union的初始化 U ,!S1EiBs
1bHQB$%z
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: {:KPEN
tgHN\@yj
#pragma warning(disable : 4786) $e.Bz`
#include 0_,un^
{bG. X?b
using namespace std; xk3)#*
"ZA`Lp;%w
class TestUnion _ q
AT%.
{ ~f( #S*Ic
enum StoreType{Long,Const_CharP}; "!uS!BI?
union T5}5uk9
{ g|h;*
const char* ch_; cVYu(ssC4
long l_; $"k1^&&E
} data_; 6q7jI
)l
StoreType stype_; s@Loax6@B
TestUnion(TestUnion&); C%j@s|
TestUnion& operator=(const TestUnion&); ad52a3deR
public: 6j!a*u:}"
TestUnion(const char* ch); ;iJ}[HUo
TestUnion(long l); 44KWS~
operator const char*() const {return data_.ch_;} j&b<YPZ
operator long() const {return data_.l_;} _Y$v=!fY&
}; !3o/c w9
C4t~k
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) prB:E[1
{ 8#4Gs Q"
} [?(qhp!
#a'CoJs
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 1_StgFu u
{ \&U"7gSL
} [4@@b"H
YG)7+94
int main (void) s?fEorG
{ W)Y:2P<.
TestUnion pszobj("yuankai"); uC6e2py<[
TestUnion lobj(1234); /Ao.b|mm
cout<(pszobj)< cout< #qJ6iA6{
return 0; 6Q&i=!fQ
} Ri}JM3\J
;!OME*?m<
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: V#c=O}
5bsv05=e
class TestUnion PWyFys
{ +eop4 |Z
enum StoreType{Long,Const_CharP}; rP/W,!
7:K
union DataUnion //不能匿名 &ha<pj~
{ T( k:\z/
DataUnion(const char*); //声明const char*构造函数 L Z3=K`gj
DataUnion(long); //声明long构造函数 q^~w:$^U
const char* ch_; o[S
Mt
long l_; $N|Spp0
} data_; -qLNs_
_k
StoreType stype_; %6Y}0>gY
TestUnion(TestUnion&); Ie8SPNY-H
TestUnion& operator=(const TestUnion&); q~X}&}UT
public: QqcAmp
TestUnion(const char* ch); G {a;s-OA3
TestUnion(long l); Yi19VU|/
operator const char*() const {return data_.ch_;} GB>T3l"
operator long() const {return data_.l_;}
Bm a.Uln
}; "IWL& cH3
E.^u:0:P
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) k\ZU%"^J
{//注意data_(ch),这里直接引用data_ $]?M[sL\N7
} s&DAO r!i
dQ#oY|a
TestUnion::TestUnion(long l):data_(l),stype_(Long) H{_6e6`e.
{//注意data_(l),这里直接引用data_ lg
1r]
} u:,B&}j
Qr?(2t#
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 0.1?hb|p5T
{ 6*I=%
H|
} t3!~=U
nzU0=w}V
TestUnion::DataUnion::DataUnion(long l):l_(l) 59?$9}ob
{ HLh]*tQG
} ^a#W|-:
4hn'b[
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!