前言 r1TdjnP,2^
Sn0kJIb
}
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 l5 ]
S@'%dN6e
一、在union中存储对象 `{|w*)mD
L6ap|u
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? VEp cCK
tY>Zy1hlI
#pragma warning(disable : 4786) v[2&0&!K#
#include qX*xQA|ak,
using namespace std; wTD}c1J(
RRXp9{x`
class TestUnion 51u\am'T
{ L9<\vJ
public: ?5jLN&A3 G
TestUnion(long l):data_(l) Se_]=>WI
{ ;?k<L\zaw
}; 8ok=&Gq4
int data_; Vef!5]t5
}; 2kt0Rxg
aL_/2/@X8
typedef union _tagUtype_ #N"u 0
{ lWecxD$
TestUnion obj; "%)g^Atp>
}UT; KIi:5Y
"g)V&Lx#X
int main (void) t>AOF\
{ xr{Ym99E$
return 0; WQ}wQ:]
} m^0vux
F(#?-MCs
$btu=_|f
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: cS'{h
zPxR=0|
class TestUnion W7Y@]QMX
{ ggL/7I(
public: + c+i u6+"
int data_; b*.aaOb
}; 6UqAs<c9
vJaWHC$q
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! h=0a9vIXF
P%)r4+at
二、类中union的初始化 6Iqy"MQuq
pr,,E[
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: )AxD|A
I/XSW #
#pragma warning(disable : 4786) p20JUzy
#include Scx!h. \5
1*yxSU@uY
using namespace std; e6>G8d
e`S\-t?Z
class TestUnion v2 E <~/|
{ -iS^VzI|I
enum StoreType{Long,Const_CharP}; ZMb+sUK
union Y+UJV6
{ Q"ZpT
const char* ch_; l'/`2Y1
long l_; *V%"q|L8
} data_; K6t"98
StoreType stype_; vX\9#Hj
TestUnion(TestUnion&); rHTZM,zM=H
TestUnion& operator=(const TestUnion&); !8[T*'LJ-
public: 4`,7tj
TestUnion(const char* ch); DtFHh/X
TestUnion(long l); L7Hv)
operator const char*() const {return data_.ch_;} v@soS1V!
operator long() const {return data_.l_;} o0]YDX@T
}; = V2Rq(jH
O-X(8<~H=
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) Ga5*tWj
{ :Y\ ~[Y
} **L&I5Hhm
pX{wEc6}
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) jwT` Z
{ gDVsi
} .@E5dw5
DPjs?M<
int main (void) Lo%vG{yTr
{ R\5,H!V9n
TestUnion pszobj("yuankai"); &F
uPd}F
TestUnion lobj(1234); a1~|?PCbY
cout<(pszobj)< cout< J<;io!
return 0; &J&'J~N
} hNM8H
6qHD&bv\%C
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: dazNwn
LNWS
class TestUnion "t&=~eOe3
{ -0d9,,c
enum StoreType{Long,Const_CharP}; eO <N/?t
union DataUnion //不能匿名 S(Af o`
{ |E7J5ha
DataUnion(const char*); //声明const char*构造函数 qC> tni%
DataUnion(long); //声明long构造函数 Vo@7G@7K(
const char* ch_; U-9Aq
long l_; X|T|iB,vT
} data_; !xfDWbvHV
StoreType stype_; #\w N2`" W
TestUnion(TestUnion&); .Qx5,)@9
TestUnion& operator=(const TestUnion&); XnZ$%?$
public: x<gmDy*
TestUnion(const char* ch); yws'}{8
TestUnion(long l); Kf:!tRE
operator const char*() const {return data_.ch_;} ZKXE7p
i
operator long() const {return data_.l_;} P!W%KobZ7|
}; 7P+1W
\
i90 X0b-A
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 'z;(Y*jb
{//注意data_(ch),这里直接引用data_ Xx{| [2`
} VGc*aQYa
b^$`2m-?@f
TestUnion::TestUnion(long l):data_(l),stype_(Long) ZLT?G
{//注意data_(l),这里直接引用data_ V|MHDMD=
}
p>7qyZ8
X$>F78e*
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) x(TF4W=j
{ ks0Q+YW
} ?Fl}@EA#M
n?fy@R
TestUnion::DataUnion::DataUnion(long l):l_(l) R%WY!I8C
{ fWmc$r5n](
} ,2fi`9=\
]ZcivnN#
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!