前言 *tRJ=
i;|%hDNWA
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 sE/9~L
B|, 6m 3.
一、在union中存储对象 _LK>3Sqd
}a<MVG:>SF
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? JH)&Ca>S
/E]4N=T
#pragma warning(disable : 4786) X/7: *
#include zv0RrF^
using namespace std; <mm}IdH
e6F:['j
class TestUnion nosEo?{
{ dk(-yv'
public: :A[bqRqe
TestUnion(long l):data_(l) DdSUB
{ 'rR\H2b
}; V 9<[v?.\
int data_; S0yPg9v
}; yv'rJI~ Ps
P?0b-Qr$a
typedef union _tagUtype_ jG.*tuf
{ O-y"]Wrv
TestUnion obj; p19Zxh
}UT; +=}%
7o
U{ O\
int main (void) kb%W3c9HO
{ sdO;vp^:b
return 0; VX>_Sps
} T8Khm O
CZa9hsM
Mys;Il"
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Ffhbs D
S`6'~g
class TestUnion uY;/3?k&
{ d&ZwVF!
public: #g|j;{P
int data_; C/cGr)|8%
}; lo(Ht=d
}40/GWp<f
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! XsR%_eT
i#-Jl7V[a
二、类中union的初始化 Y3Qq'FN!I
@O3w4Zs
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: J}YI-t
1mjv~W
#pragma warning(disable : 4786) JPpYT~4
#include FVD}9ia
\hq8/6=4s
using namespace std; _Ng*K]0/E
@qe>ph[UA
class TestUnion GqAedz ;.
{ yNT2kB'
enum StoreType{Long,Const_CharP}; JDhA{VN6
union lZua"Ju
{ M"FAUqz`
const char* ch_; -w2ga1
long l_; SP*5 W)6
} data_; &t8_J3?Z
StoreType stype_; 'qP^MdoE%~
TestUnion(TestUnion&); pvM8PlYo]`
TestUnion& operator=(const TestUnion&); zk/!#5JtK
public: #0P<#S^7
TestUnion(const char* ch); -'0AV,{Z
TestUnion(long l); zbi
operator const char*() const {return data_.ch_;} E:o:)h?$
operator long() const {return data_.l_;} 'LOqGpmVc
}; U-?
^B*<
g:6yvEu$ -
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 0iE).Za0g
{ FEZ6X
} ."^dJ |fN
395o[YZx*
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) |HU
qqlf
{ `MwQ6%lf
} k1U~S`>$
(g)@wNBW
int main (void) ?% X9XH/!
{ h@~X*yLKh
TestUnion pszobj("yuankai"); :^s7#4%6
TestUnion lobj(1234); LWL>hd
cout<(pszobj)< cout< I>3]4mI*a
return 0; Y) h%<J
} W@C56fCa
*0hiPj:
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: (XwLKkw0n
ZYt
__N
class TestUnion ~fF}
{ r:5Ve&~
enum StoreType{Long,Const_CharP}; M$W#Q\<*#r
union DataUnion //不能匿名 #rpqt{ml
{ &+j^{a
DataUnion(const char*); //声明const char*构造函数 I:_*8el&d
DataUnion(long); //声明long构造函数
b:QFD|
const char* ch_; Riw7<j
long l_; SN{*:\>,
} data_; pu:D/2R2;k
StoreType stype_; H/3Zdj 9
TestUnion(TestUnion&); $i@EfujY
TestUnion& operator=(const TestUnion&); P{Z71a5
public: Qkib;\2
TestUnion(const char* ch); ;F""}wzn
TestUnion(long l); n2{{S(N
operator const char*() const {return data_.ch_;} 9f^PR|F
operator long() const {return data_.l_;} |3,V%>z
}; k2uiu
1D[P\r-
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) MH.,s@
{//注意data_(ch),这里直接引用data_ E.`dk.
}
`,Nn4
o w_y
TestUnion::TestUnion(long l):data_(l),stype_(Long) ^CPfo/!
{//注意data_(l),这里直接引用data_ i5KwYoN
} KF_Wu}q
d
gc@#O#K~h^
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ~{vdP=/WP
{ yJ8}*Gj&
} +qj*P9
WQ}!]$<"y
TestUnion::DataUnion::DataUnion(long l):l_(l) &U~r}=
{ (Q5@MfK`
} UB$`;'|i
NceB'YG|
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!