前言 0"#HJA44
|?9HU~B
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 Ca-j?bb!
/Kbl%u
一、在union中存储对象 D'4\*4is
HT@=evV
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? V)4J`xg^
4K74=r),i
#pragma warning(disable : 4786) *ui</+
#include 6B-16
using namespace std; t,'<gI
JtZ7ti
class TestUnion =M-p/uB]
{ wY}@'pzX
public: s^SJY{
TestUnion(long l):data_(l) ]^]wP]R_
{ kVL.PY\K
}; }WV:erg`
int data_; pk~WrqK}
}; M=Wz
)e{}V\;q
typedef union _tagUtype_ QW"! (`K
{ Pz^544\~ou
TestUnion obj; 4P0}+
}UT; @ P|y{e6
?Ob3tUz2
int main (void) Ss`LLq0LO
{ W!<U85-#S
return 0; j.YA2mr
} +|rj4j)L&'
_*zt=zn>
vv7I_nK?
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: OJxl<Q=z
}\LQ3y"[
class TestUnion 8i pez/
{ Debv4Gr;^
public: =lC7gS!U
int data_; n:X y6H
}; 7o4\oRGV
3a|\dav%
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! m kexc~l
oU/5 a>9~
二、类中union的初始化 {b{s<@?
54/=G(F
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: y)*RV;^
H>C=zo,oiC
#pragma warning(disable : 4786) Cyp'?N
#include olcDt&xv]
Y$zSQ_k;U
using namespace std; Q.[0ct
P* o9a
class TestUnion t^L]/$q
{ 5X+A"X
;C
enum StoreType{Long,Const_CharP}; g+lCMW\
union 0aAoV0fMDz
{ 2?x4vI
np;
const char* ch_; BuwY3F\-O
long l_; Xeajxcop#
} data_; 4R*,VR.K
StoreType stype_; #b`ke/P
TestUnion(TestUnion&); fZ. ONq
TestUnion& operator=(const TestUnion&); *](iS
public:
l^qI,M
TestUnion(const char* ch); ~m |BC*)
TestUnion(long l); nrb Ok4Dz
operator const char*() const {return data_.ch_;} M_8{]uo
operator long() const {return data_.l_;} {8OCXus3m
}; |^aKs#va
]{iQ21`a-
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) #*}+J3/
{ "}!G!k:
} #`IN`m|
MJvp6n
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) Vc2`b3"Br
{ m2o0y++TjW
} ]tD]Wx%
SdWV3
int main (void) >/|*DI-HJ
{ o@Oqm> ]SS
TestUnion pszobj("yuankai"); nlYNN/@"
TestUnion lobj(1234); OCUr{Nh
cout<(pszobj)< cout< kl`W\t F
return 0; HhpDR
} 68
sB)R
;fJ.8C
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: TN.rrop`#g
/\Ef%@
class TestUnion 9UkBwS`
{ }}[2SH'nH
enum StoreType{Long,Const_CharP}; ~V-XEQA
union DataUnion //不能匿名 :0ep(<|;
{ +H.`MZ=
DataUnion(const char*); //声明const char*构造函数 ]A"h&`Cvt
DataUnion(long); //声明long构造函数 ;]iRk
const char* ch_; -%~4W?
long l_; M{\I8oOg
} data_; q@&6#B
StoreType stype_; R@0R`Zs
TestUnion(TestUnion&); p[-O( 3Y
TestUnion& operator=(const TestUnion&); :svqE+2
public: zTp"AuNHN
TestUnion(const char* ch); ;r8X.>P*
TestUnion(long l); =WLY 6)]A
operator const char*() const {return data_.ch_;} SIllU
operator long() const {return data_.l_;} TJN4k@\$2
}; Si7*& dw=
aYeR{Y]
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) JLYi]nZ
{//注意data_(ch),这里直接引用data_ %RVZD#zr
} y(&Ac[foS}
6mE\OS-I
TestUnion::TestUnion(long l):data_(l),stype_(Long) y2v^-q3
{//注意data_(l),这里直接引用data_ iwq!w6+
} F:VIzyMq<
GeqPRah
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) :Al!1BJQ
{ 5bIw?%dk(
} SKtr tm
OVJ0}5P*
TestUnion::DataUnion::DataUnion(long l):l_(l) ~dSr5LUD
{ ZG:{[sT
} s.#`&Sd>
z{6Z
11|
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!