前言 ?j$8Uy$$
8\t7}8f
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 M
#RuI%
~9jP++&
一、在union中存储对象 &IPK5o,
73Zs/
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? yT9RNo/w
GN"LU>9|
#pragma warning(disable : 4786) GQAg
ex)D
#include FHPZQC8
using namespace std; M]zNW{Xt
qf&{O:,Z
class TestUnion n~cm?"
{ 8i$`oMv[y
public: #:5g`Ch4,
TestUnion(long l):data_(l) 0_Z|y/I.
{ Jy[8,X
}; I8wVvs;k
int data_; E6\~/=X=%
}; [?o vJ
@9P9U`ZP
typedef union _tagUtype_ )s[S.`STz
{ ]Lft^,7
TestUnion obj; y/*Tvb #TJ
}UT; =@/^1.`
T7nX8{l[RG
int main (void) u\Q**m2XP
{ v8(u9V%?6
return 0; DMpd(ws
} ba:^zO^
(j
Q6~1
wq`Kyhk
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: s|`)'
h/~BUg'
class TestUnion Q"_T040B
{ ,'DrFlI
public: 6y!?xot
int data_; X(q=,^Mp
}; gx
R|S
W
9MZ
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! }n8;A;axi
4gt "dfy+
二、类中union的初始化 ON!G{=7
e[o
;l
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ,+evP=(cX
TTak[e&j3
#pragma warning(disable : 4786) 3Ya6yz
#include 'UCx^-
Eu~wbU"%
using namespace std; JU+'UK630
T1[ZrY'0
class TestUnion "<R
2oo)^
{ |VF"Cjw?
enum StoreType{Long,Const_CharP}; ai9,4
union *%+buHe
{ 3`8xh9O
const char* ch_; $ !=:ES
long l_; 1caod0gor
} data_; [m&ZAq
StoreType stype_; ]a~LA7VHO
TestUnion(TestUnion&); LZ dNG\-
TestUnion& operator=(const TestUnion&); 70(?X/5#
public: Av4E?@R
TestUnion(const char* ch); OEi9
)I
TestUnion(long l); Qj[O$L0 $
operator const char*() const {return data_.ch_;} |^!@
operator long() const {return data_.l_;} 5W-M8dc6
}; ="E
V@H?U
(ZsR=:9(
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) HKw4}FC*
{ >7Q7H#~w
} %*}f<k{6
6VE5C
g
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) =%G[vm/-)
{ M&-/&>n!
} Vtk|WV?>P+
bUL9*{>G
int main (void) ' "
yl>"
{ =_3qUcOP
TestUnion pszobj("yuankai"); vH8%a8V
TestUnion lobj(1234); <-aI%'?*
cout<(pszobj)< cout< TnAX;+u
return 0; _@76eZd
} j)*nE./3
5nb6k,+E
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 6[7k}9`alz
IQv>{h}
class TestUnion wB"Gw` D
{ 7?#32B
Gr
enum StoreType{Long,Const_CharP}; 54%}JA][
union DataUnion //不能匿名 JFdzA
{ [)u{ -
DataUnion(const char*); //声明const char*构造函数 :E*U*#h/
DataUnion(long); //声明long构造函数 NWj@iyi<
const char* ch_; C
=U4|h ~W
long l_; KHiJOeLc
} data_; OO>2oH
StoreType stype_; pBLO
TestUnion(TestUnion&); *?Y6qalSy
TestUnion& operator=(const TestUnion&); 1^dWmxUZH
public: L,L7WObA
TestUnion(const char* ch); @kymL8"2w
TestUnion(long l); X:/t>0e
operator const char*() const {return data_.ch_;} P2F>iK#U
operator long() const {return data_.l_;} G$<0_0GF
}; Y.#+Yh[
*h6i9V%'
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 0k [6
{//注意data_(ch),这里直接引用data_ nsk
6a
} R0'EoX
?>&Zm$5V
TestUnion::TestUnion(long l):data_(l),stype_(Long) M+:wa@Kl
{//注意data_(l),这里直接引用data_ t68RWzqiG[
} TaG-^bX8B
HskN(Ho
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) eRbO Hj1
{ k*^W
lCZ3
} X.<R['U&\
l[ k$O$jo
TestUnion::DataUnion::DataUnion(long l):l_(l) :B~c>:
{ '"^JNb^I
} CXZeL 1+
!f6
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!