前言 >$2E1HW.
WwW"fkv
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 |if'_x1V
fph-v -cl
一、在union中存储对象 J1.qhy>
(l
Lu?NpIi
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? riID,aut
O[; +i
#pragma warning(disable : 4786) ;5<P|:^
#include jyNb(Z
using namespace std; <\h*Zy
gzor%)C
class TestUnion 7nm}fT
z7
{ j2M4H@
public: Was'A+GZ
TestUnion(long l):data_(l) TW>?h=.z
{ rxQ<4
}; f7Yz>To
int data_; 6A}eSG3
}; KL
"Y!PN:
:JR<SFjm
typedef union _tagUtype_ 4 &|C}
{ LaDY`u0G%
TestUnion obj; |Td_S|:d
}UT; ; VBpp<
m`'=)x|
int main (void) VO9XkA7
{ [KMS<4t'
return 0; C(s\LI!r
} w}d}hI
PQ,+hq
2sUbiDe-
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: c)03Ms4
D
e|VJ9|;3
class TestUnion j$+gq*I&E
{ ovz#
public: +I&J7ICV0
int data_; r]0(qg
}; `0?^[;[u[
t~ -J %$
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! sW?B7o?
bjlkX[{}I
二、类中union的初始化 or7pJy%4"
va^0JfQ
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: A';n6ne%i
' X}7]y
#pragma warning(disable : 4786) @LcT-3 u
#include qp\BV #E
[yC"el6PM
using namespace std; /tP7uVL
R
qtzFg#
class TestUnion iOll WkF
{ o_O+u%y
enum StoreType{Long,Const_CharP}; 847 R
union EMhr6</
{ -1CEr_(P^
const char* ch_; `dO}L
long l_; @89I#t6A.
} data_; !y%+GwoW
StoreType stype_; jXWNHIl)@
TestUnion(TestUnion&); pisB,wP$2
TestUnion& operator=(const TestUnion&); 7 W{~f?Sh
public: #d% vT!Bz~
TestUnion(const char* ch); g?V&mu
TestUnion(long l); Y9tV%
operator const char*() const {return data_.ch_;} XCm\z9F
operator long() const {return data_.l_;} =-qf ;5[|
}; q`[K3p
{y b D
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) sQtf,e|p
{ 5DOE3T`^Oc
} jN6b*-2
y
AOg\+
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) "5}%"-#
{ +2Ql~w@$^l
} waCboK'
]`d2_mu
int main (void) f^?uY8<
{ ;E#\
TestUnion pszobj("yuankai"); (z2Z)_6L*L
TestUnion lobj(1234); `NSy"6{Z
cout<(pszobj)< cout< %[ /<+
return 0; f>z`i\1oO
} 5oJ Dux }
.LObOR5J7
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: h@@d{{IqT
*NlpotW,f
class TestUnion &6/%kkv
{ U CRAw3=
enum StoreType{Long,Const_CharP}; _q)!B,y-/N
union DataUnion //不能匿名 J$QBI&D
{ LN^UC$[tk
DataUnion(const char*); //声明const char*构造函数 {zP#woz2Q
DataUnion(long); //声明long构造函数 0[)VO[
const char* ch_; PrSkHxm
long l_; l E^*t`+
} data_;
c#QFG1
StoreType stype_; qo_]ZKL44
TestUnion(TestUnion&); e\9g->DUs
TestUnion& operator=(const TestUnion&); _!!}'fMC
public: M6Pw/S!
TestUnion(const char* ch); ] H&c'
TestUnion(long l); C(o.Cy6
operator const char*() const {return data_.ch_;} 8%ik853`
operator long() const {return data_.l_;} mM5|K@0|
}; nJT4w|Yx
JUQg 'D
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 94{)"w]
{//注意data_(ch),这里直接引用data_ XV=S)
} FVgMmYU
2]2H++
TestUnion::TestUnion(long l):data_(l),stype_(Long) 8a>SC$8"
{//注意data_(l),这里直接引用data_ %hINpZMr
} M4?8xuC
gvyT-XI
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) >'`Sf ?+|
{ %LQ/q3?_
} n+;vjVS%
P+Z\3re
TestUnion::DataUnion::DataUnion(long l):l_(l) 1,`H:%z%
{ cJ/]+|PQ
} //.>>-~1m
U-EhPAB@
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!