前言 |yQZt/*SOZ
}dWq=)*
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 Kgi<UkFP
X[&Wkr8x '
一、在union中存储对象 ymx>i~>7J
ZaV8qAsP
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? ['B?i1 .
UBaAx21x
#pragma warning(disable : 4786) 0 yuW*z
#include MHX?@.
v
using namespace std; $_o-~F2i5
->g*</
class TestUnion '%dfzK*Z
{ x,|hU@h
public: V C24sU
TestUnion(long l):data_(l) V-Sd[
{ h?BFvbAt
}; vdx0i&RiL
int data_; g!?:Ye`5
}; ?fUlgQ}N
bzuEfFaL
typedef union _tagUtype_ r^3acXl
{ QxVq^H
TestUnion obj; G
MX?
}UT; $c:ynjL|P-
)4<__|52"1
int main (void) W&&;:Fr
{ $Q96,rb}k;
return 0; HkUWehVm
} c#Sa]n
q_g+Jf
P-D
)4gJd?
8R
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 6@{(;~r
VEqS;~[
class TestUnion }L+L"l&
{ %,6#2X nX%
public: Sa?ksD2IaB
int data_; TDFkxB>
}; #LL?IRH9^
zF8dKFE~
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! :Q $K<)[
7VqM$I
二、类中union的初始化
gX]-\
njScz"L~
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: Q<^Tl(`/N?
s:/8[(A
#pragma warning(disable : 4786) 0=* 8
#include \N!AXD
U(Nu%
using namespace std; % NA9{<I
fPn>v)lN{
class TestUnion #sPHdz'3M
{ %r%M lj:#
enum StoreType{Long,Const_CharP}; KxYwJ
union Rs-]N1V
{ 86 W9rR
const char* ch_; F)&@P-9+
long l_; \>:CvTzF
} data_; x(etb<!jd
StoreType stype_; #{?PbBE}
TestUnion(TestUnion&); dJ2Hr;Lc
TestUnion& operator=(const TestUnion&); [SHXJ4P*
public: %k-3?%&8
TestUnion(const char* ch); )uj Ex7&c
TestUnion(long l); OGde00
operator const char*() const {return data_.ch_;} \r /ya<5
operator long() const {return data_.l_;} b J=Jg~&
}; TUV&vz{
,SynnE68
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) v 1z
{ \K@'Z
} Cjqklb/
yj;sSRT
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) kzn5M&f>
{ dv8>[#
} U3T#6Rptl
y#Fv+`YDl
int main (void) Xu<k3oD7
{ b$ve sJ
TestUnion pszobj("yuankai"); kbTm^y"
TestUnion lobj(1234); 1|kvPo#
cout<(pszobj)< cout< ;1`fC@rI
return 0; uD1e!oU
} QMa;Gy
k. MUdU^
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: n[ T[DCQ,
p7veQ`yNc
class TestUnion #MX'^RZ>2
{ =|M>l
enum StoreType{Long,Const_CharP}; ,Sq/y~
union DataUnion //不能匿名 A+::O@_s
{ %_+2@\
DataUnion(const char*); //声明const char*构造函数 6+.uU[x@
DataUnion(long); //声明long构造函数 N^HUijw<
const char* ch_; 2^mJ+v<
long l_; L\)ZC
} data_; -yE/f2PgQ
StoreType stype_; QrB@cK]
TestUnion(TestUnion&); ?WF/|/
TestUnion& operator=(const TestUnion&); |X0Y-
public: SSz~YR^}Sr
TestUnion(const char* ch); bvv|;6
TestUnion(long l); xC*6vH]?
operator const char*() const {return data_.ch_;} ),U X4%K=
operator long() const {return data_.l_;}
U*(izD
}; &u /Nf&A
1Ty<\bZ=
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 56+s~hG
{//注意data_(ch),这里直接引用data_ O4r0R1VQM
} NLUT#!Gr
P|.] DJ
TestUnion::TestUnion(long l):data_(l),stype_(Long) /tP|b_7O
{//注意data_(l),这里直接引用data_ :rHJ4Tl
} J8S'/y(LE<
jT8#C=a7
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) wF <n=
{ XWA:J^
} D2](da:]8)
]Y2RqXA*
TestUnion::DataUnion::DataUnion(long l):l_(l) g#F?!i-[F
{ 2"Ecd
} p[hZ@f(z
b%<9Sn
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!