前言 f'
3q(a<p
MP!d4
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 PX<J&rx
a=hxJ1O
一、在union中存储对象 ~])t 6i
@Ub"5Fl4
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? J/[=p<I)
g7OqX \
#pragma warning(disable : 4786) gK[YQXfTy
#include px}|Mu7z~
using namespace std; >_|O1H./4
EUN81F?
class TestUnion Ry%Mej:
{ .6`9H 1
public: @wE5S6! B\
TestUnion(long l):data_(l) (X?%^^e!
{ 4cl\^yD
}; z7Q?D^miy
int data_; NhaI<J
}; kPF9Z "l
(Q.waI
typedef union _tagUtype_ LIZRoG8
{ ha(Z<
TestUnion obj; K':K{ee>
}UT; i`dCG[
w*oQ["SL
int main (void) aVK3?y2
{ *Df,Ijh $
return 0; "a8j"lPJ
} N6 (
(^u1~1E 5
>(?9?
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: hvDNz"ec{
`kZ@Zmj#
class TestUnion }M3fmAP}
{ ,PWgH$+
public: }Ub6eXf(2
int data_; :9$F'd\
}; Q4f/Z
Hhari!RXC
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! YN!>}
FE2f'e
二、类中union的初始化 [&&1j@LQ*
m0c P (
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: \H=&`?
!+L/Khw/C
#pragma warning(disable : 4786) iy 14mh\ ~
#include ?i06f,-
t4-pM1]1_
using namespace std; f"u%J/e &
k;w- E
class TestUnion .)<(Oj|4
{ j}~86JO+Cw
enum StoreType{Long,Const_CharP}; $+>M{fg?
union BPdfYu,il
{ o[cV1G
const char* ch_; l,,>& F
long l_; Bc6|n :;u
} data_; }RwSp!}C
StoreType stype_; i1>-QDYnJ
TestUnion(TestUnion&); DR c)iE>@
TestUnion& operator=(const TestUnion&); Lz:(6`S
public: Yx eOI#L
TestUnion(const char* ch); ~wJFa'2
TestUnion(long l); 8erSt!oM
operator const char*() const {return data_.ch_;} >|twyb
operator long() const {return data_.l_;} 't6V:X
}; sIK;x]Q)
TJ1+g
\
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) M
$Es%
{ .8P.)%
} p TeOW9
"87ghj_}
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) K00
87}H
{ s;64N'HH
} /C4^<k\
-eN\ !
int main (void) sK7+Q
{ `kU/NKq
TestUnion pszobj("yuankai"); A` AaTP
TestUnion lobj(1234); Dg}
Ka7H
cout<(pszobj)< cout< D,g1<:<
return 0; nSkPM5\TI
} qUOKB6
C@bm
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: o]p|-<I Q
|Tm!VFd
class TestUnion <oo
{ '*?WU_L(g
enum StoreType{Long,Const_CharP}; &9"-`-[e:
union DataUnion //不能匿名 }b0; 0j
{ <_XWWT%
DataUnion(const char*); //声明const char*构造函数 t$A%*JBKm
DataUnion(long); //声明long构造函数 %"af748!+D
const char* ch_; -$WYj"
long l_; L30$%G|
} data_; @)-$kk*
StoreType stype_; y^}6!>Ou:
TestUnion(TestUnion&); <~n$1aA
TestUnion& operator=(const TestUnion&); j'BMAn ?
public: m
q{];
TestUnion(const char* ch); rORZerM
TestUnion(long l); OBP1B@|l$+
operator const char*() const {return data_.ch_;} 2c:#O%d(
operator long() const {return data_.l_;} =<NljOR4`
}; k}0^&Quc4
RhvfC5Hq
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) <F.Tx$s
{//注意data_(ch),这里直接引用data_ JGH60|
} CJXg@\\/
2w-51tqm
TestUnion::TestUnion(long l):data_(l),stype_(Long) !Z5[QNVaV
{//注意data_(l),这里直接引用data_ Pw;!uag
} TM|)Ljm
M>>qn_yq4
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ,i,q!M{-
{ 8WXJ.
} yNqe8C,>e
vMs$ceq
TestUnion::DataUnion::DataUnion(long l):l_(l) '8T=~R6
{ E4W zU
} }-o{ASC#
y:h}z).
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!