前言 &Mh.PzO=b
GO"`{|o
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 mH o#"tc
gf|uZ9{
一、在union中存储对象 [FFr}\}bY
x/|W;8g4
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? M4^G3c<
-Q
WvB
#pragma warning(disable : 4786) CM6% g f3
#include 144Y.
using namespace std;
Q!X?P
OO:S2-]Y>e
class TestUnion uLhGp@Dx
{ B8&q$QV
public: q_M N
TestUnion(long l):data_(l) \PrJy6&
{ pUIN`ya[[
}; Q(|@&83].
int data_; X+X:nL.t
}; yD\q4G
1w,_D.1'
typedef union _tagUtype_ !xs}CxEyA
{ /MZ<vnN7f
TestUnion obj; 2Q^q$@L
}UT; oD)x\ )t8
uEPp%&D.+
int main (void) !)s(Lv%]
{ L/k35 x8
return 0; c%&,(NJ]K
} ?]Yic]$n
ot0teNF
|t,sK aL
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: $BqiC!~
(tK_(gO
class TestUnion sh/,"b2!P
{ qv!(In>u
public: K#3^GB3P
int data_;
:1'
}; 7Cz~nin>7
26V6Y2X
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! T(!1\ TB
r~b.tpH
二、类中union的初始化 a>4/2#J
6pt,]FlU
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: qe]D4K8`Q3
I?T
!
#pragma warning(disable : 4786) _u]Z+H"
#include 92TuuN#{
D
T5d]MU
using namespace std; u>XXKlW:
;
476t
class TestUnion *5'8jC"2g
{ YPK@BmAdE
enum StoreType{Long,Const_CharP}; o&JoeKXor
union ,!=
sGUQ)
{ <ZC.9
const char* ch_; Kz'GAm\
long l_; oj 8r*
} data_; YwVA].p@TI
StoreType stype_; Hav &vV
TestUnion(TestUnion&); 7qC
/a
c
TestUnion& operator=(const TestUnion&); ;qmnG3;Q
public: ;>,B(Xz4i
TestUnion(const char* ch); qq)5)S
TestUnion(long l); ZflB<cI
operator const char*() const {return data_.ch_;} s_^`t+5
operator long() const {return data_.l_;} |d0X1(
}; =dXHQU&Q
}Qo]~/
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) b9g2mWL\T
{ 2/SUEnaLy_
} g[cnaS|?
=!Ik5LiD
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) {i>AQ+z61f
{ _L,~WYRo
} MN: {,#d0
&A:&2sP8
int main (void) Dj/Hz\
{ a1,)1y~
TestUnion pszobj("yuankai");
?K-4T
TestUnion lobj(1234); \8(Je"S
cout<(pszobj)< cout<
1^_W[+<S/
return 0; >~g-
} F:zmO5L5
?e%*q^~Cu
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: )U/Kz1U
=
MByD&o`
class TestUnion 5;`Ot2
{ JMAdsg/
enum StoreType{Long,Const_CharP}; g?
vz\_
union DataUnion //不能匿名 jV%
VN
{ 4s{=/,f
DataUnion(const char*); //声明const char*构造函数 {OG1' m6=/
DataUnion(long); //声明long构造函数 gs<~)&x
const char* ch_; nJ2B*(S'v.
long l_; m mF0RNE
} data_; p39$V[*g(
StoreType stype_; wOH:'sk["
TestUnion(TestUnion&); Q g/Rw4[
TestUnion& operator=(const TestUnion&); ru:"c^W:[
public: G[}v?RLI
TestUnion(const char* ch); mJ%^`mrI
TestUnion(long l); <*vR_?!
operator const char*() const {return data_.ch_;} F`KXG$
operator long() const {return data_.l_;} KKwM\
}; u?V}pYX
@@ j\OR
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) \p:)Cdn
{//注意data_(ch),这里直接引用data_ NG3?OAQTw
} q,K|1+jn
G
1{m" 1M
TestUnion::TestUnion(long l):data_(l),stype_(Long) wn"\@Qv G
{//注意data_(l),这里直接引用data_ 4EYD5
} [kJ;Uxncz~
zE;|MU@|
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) BMq> Cj+
{ .QY>@b\
} TY/'E#.
Pk&=\i<
TestUnion::DataUnion::DataUnion(long l):l_(l) -.Wwo(4
{ drpx"d[c
} =LGM[Z3$s
n)N!6u
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!