前言 ZcWl{e4
n/|/Womr
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 rk. UW
\FKIEg+(2
一、在union中存储对象 6op\g].P
RDqC$Gu
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? /GeS(xzQ
ZDDwh&h
#pragma warning(disable : 4786) ,@!d%rL:4]
#include F`-[h)e.
using namespace std; Z^~6pH\
%@xYg{
class TestUnion KdR&OBm
{ <.v6w*+{/
public: n9J>yud|
TestUnion(long l):data_(l) [KE4wz+s{
{ BuvBSLC~
}; u?J(l)gd
int data_; CD tYj
}; Q-au)R,
-[`W m7en
typedef union _tagUtype_ 5:PZ=jPR
{ B}FF |0<
TestUnion obj; z::2O/ho
}UT; C=b5[, UCB
785iY865
int main (void) r9t{/})A
{ *FE<'+%
return 0; [ho'Pc3A<
} XM 7zA^-
N-Z 9
p{,fWk
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: /<2_K4(-{4
0iB1_)~
class TestUnion tQ|I$5jNJ
{ Y~:7l5C
public: h/k`+
int data_; nSC>x:jY5/
}; X@G`AD'.M
Sh*P^i.]+
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ^\6UTnS.
TSk6Q'L\v
二、类中union的初始化 l
)4OV>
.)GVb<w
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: >mV""?r]
SeTU`WLEm
#pragma warning(disable : 4786) y5ExEXa
#include <?g{Rn
Rq9gtx8,=
using namespace std; Y5 opZG
3TtW2h>M
class TestUnion h
P1|l
{ #.='dSj
enum StoreType{Long,Const_CharP}; gi6_la+
union K%k,-
{ ,@;<u'1\G
const char* ch_; [y:LA~q
long l_; \'KzSkC8
} data_; QezK&iJg
StoreType stype_; ?l (hS\N,
TestUnion(TestUnion&); zN:752d^+r
TestUnion& operator=(const TestUnion&); Cf N; `
public: <>Im$N ai
TestUnion(const char* ch); ,rdM{ r
TestUnion(long l); G~]BC#nB_
operator const char*() const {return data_.ch_;} 3/e !7
operator long() const {return data_.l_;} 1%+^SR72
}; YH>n{o;-
?
tc',c},h~,
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) k);!H +
{ 3YRzBf:h
} Pm_=
21[F%,{.),
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) IW#(ICeb
{ #n"/9%35f`
} Pla EI p
88K*d8m
int main (void) S!]}}fKEFm
{ (`p(c;"*C!
TestUnion pszobj("yuankai"); /$=^0v+
TestUnion lobj(1234); zyr6Tv61U
cout<(pszobj)< cout< ZZ(@:F
return 0; 24Fxx9g
} 1}pR')YL[
D4|_?O3|m
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: WKf~K4BL>
8\9EDgT
class TestUnion 7,zARWB!?
{ 4Rn i7qH
enum StoreType{Long,Const_CharP}; }NXESZYoi
union DataUnion //不能匿名 rBf?kDt6l
{ Ydx5kUJV<
DataUnion(const char*); //声明const char*构造函数 ;k8}D*?8
DataUnion(long); //声明long构造函数 L7- nPH
const char* ch_; nM`) `!/
long l_; A
M2M87{t
} data_; Exr7vL
StoreType stype_; 7E95"B&w
TestUnion(TestUnion&); B(falmXJ
TestUnion& operator=(const TestUnion&); ||V:',#,W
public: -eMRxa>
TestUnion(const char* ch); qAS^5|(b[
TestUnion(long l); ?>Aff`dHY
operator const char*() const {return data_.ch_;} D6u>[Z[T
operator long() const {return data_.l_;} vF&b|V+,
}; Nz;;X\GI
n1Jz49[r
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) U6Ak"
{//注意data_(ch),这里直接引用data_ Pa}vmn1$
} hbeC|_+
{/<&
TestUnion::TestUnion(long l):data_(l),stype_(Long) (=j!P*
{//注意data_(l),这里直接引用data_ w^gh&E
} pQNFH)=nw
o__q)"^~-
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) L
~w=O!
{ 6{'6_4;Fv(
} ^|C|=q~:
F0Hbklr
TestUnion::DataUnion::DataUnion(long l):l_(l) B]7jg9/
{ Kxn7sL$]=F
} o3=kF
j,XKu5w)Oi
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!