前言 TZPWMCN4
v@"xEf1n[
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 D='/-3f!F]
--.: eFE/
一、在union中存储对象 MT;<\T
Q_LPLmM
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? IN`05 Q
fm:/}7s
#pragma warning(disable : 4786) y&9v0&o
#include +<@7x16
using namespace std; %E~4 Ur
3(6i6 vV
class TestUnion [0F+t,`
{ "YHe]R>3s
public: 7P:0XML}
TestUnion(long l):data_(l) Yq<D(F#qx
{ :]e:-JbT4z
}; OFCkQEG=y>
int data_; ,GZ(>|
}; yq\)8Fe
%=\h=\wt
typedef union _tagUtype_ L{'qZ#N[
{ >0:h(,?V
TestUnion obj;
<k/'mBDk
}UT; u|9^tHT>
`;5UlkVZ5
int main (void) az0( 54M
{ !tHqF
return 0; ObMsncn
} 1wqCoDgkp
fy9{W @E3p
*sB=Ys?
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: qV8;;&8r
S
#&HB
class TestUnion h'w9=Pk~6y
{ 8~\Fpz|Og
public: qs 52)$
int data_; rm(<?w%'?
}; `H^Nc\P#
DQH _@-q
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! aztP`S$h
4D9lZa}
二、类中union的初始化 {HvR24#
Af
^6
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: bo\|mvB~
W&BwBp]K
#pragma warning(disable : 4786) %w6> 3#e
#include ^fXNeBj
HSp*lHU
using namespace std; RE!MX>sOEq
H*EQ%BLW^,
class TestUnion DTn=WGm)
{ %!p14c*J H
enum StoreType{Long,Const_CharP}; 4
lJ@qhV
union RAXqRP,iw
{
6bo,x
const char* ch_; pRUN[[L
long l_; c{rX7+bN
} data_; zO9|s}J8q
StoreType stype_; H,KU!1p
TestUnion(TestUnion&); 9"_qa q
TestUnion& operator=(const TestUnion&); OQW#BBet@
public: 1\kOjF)l
TestUnion(const char* ch); 6<sB
TestUnion(long l); dq"b_pr;
operator const char*() const {return data_.ch_;} X
f!Bsp#\g
operator long() const {return data_.l_;} RZm5[n
}; 0MrtJNF]_O
dSk\J[D
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) r"Pj,}$A
{ % 49@
} )|uPCZdLZ
qJ#?=ITE
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) c<DsCzX
{ +lO
Y
IQ
} +7N6]pK|"
d7$H})[^
int main (void) m$pXe<
{ NVeb,Pf
TestUnion pszobj("yuankai"); i+Ob1B@w
TestUnion lobj(1234); 3,3{wGvHHW
cout<(pszobj)< cout< /=,^fCCN
return 0; roj/GZAy"
} <MA!?7Z|
Nz*qz"T
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: V*U"OJ%
DtXXfp@;
class TestUnion
Rj+}L ~"
{ G*\wu&7!
enum StoreType{Long,Const_CharP}; =h5&\4r=
union DataUnion //不能匿名 $-M1<?5
{ nU)}!` E
DataUnion(const char*); //声明const char*构造函数 NTs< ;ED
DataUnion(long); //声明long构造函数 [)Xu60?Q
const char* ch_; pWbzBgM?nU
long l_; iDp]lu
} data_; zdU<]ge
StoreType stype_; "MM7qV
TestUnion(TestUnion&); mK@\6GOMYP
TestUnion& operator=(const TestUnion&); 5(u7b
public: q6\z]8)
TestUnion(const char* ch); '[`.&-;
TestUnion(long l); +CX2W('
operator const char*() const {return data_.ch_;} F@"Xd9q?
operator long() const {return data_.l_;} 57v[b-SK
}; IOvYvFUUJ
htMsS4^Kvd
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) y !47!Dn
{//注意data_(ch),这里直接引用data_ k[A=:H1"
} R:0Fv9bwS
"EWU:9\0
TestUnion::TestUnion(long l):data_(l),stype_(Long) vb{&T<
{//注意data_(l),这里直接引用data_ i ,4
} *=~
9?
2=(=Wjk.
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) XMa(XOnX
{ gigDrf}
} >(`|oD`,Y
HP*x?|4
TestUnion::DataUnion::DataUnion(long l):l_(l) jR}h3!
{ JEU?@J71O
} E)#3*Wlu$
D'|#5>G
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!