前言 c~
V*:$F
m`r(p"
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 jRV/A!4
jW@Uo=I[
一、在union中存储对象 Xla~Yg
bA->{OPkT
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? h 9W^[6
Hj,A5#|=J
#pragma warning(disable : 4786) 'uEl~> l7
#include W5MTD]J
using namespace std; pz>>)c`
]z9=}=If
class TestUnion czd~8WgOa
{ 3m)y|$R
public: !C:$?oU
TestUnion(long l):data_(l) U/NoP4~{
{ TRq6NB
}; XpJ7o=?W3
int data_; sLQ^F
}; E?0%Z&1h
wAW5
Z0D
typedef union _tagUtype_ =C.$
UX
{ <UQbt N-B\
TestUnion obj; 8-77d^cprR
}UT; n6a`;0f[R
'q:`? nJ^
int main (void) y
h9*z3
{ @I!0-OjL
return 0; B&uz;L3
} N<injx
3'u-'
s!7y
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Y/zj[>
N//KPh
class TestUnion ?<'}r7D
{ r<^HmpUJ
public: 'SF<_aS(
int data_; @6T/Tdz
}; %d<"l~<5;
I&W=Q[m
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! WEi2=3dV
A2jUmK.&
二、类中union的初始化 iAIuxO
[K0(RDV)%
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下:
7E~;xn;
4@#
`t5H
#pragma warning(disable : 4786) W v+?TEP
#include
wcY?rE9
HRfYl,S,
using namespace std; Dwfu.ZJa
|4 0`B% Z
class TestUnion y/ef>ZZ
{ E#N|wq
enum StoreType{Long,Const_CharP}; ;@Y;g(bw:
union .5ha}=z
{ q'Tf,a
const char* ch_; ^ sLdAC
long l_; +OWX'~fd<
} data_; )
ahA[
StoreType stype_; .jjG(L
TestUnion(TestUnion&); 6zuTQ^pz
TestUnion& operator=(const TestUnion&); t=W}SH
public: <1${1A <Wa
TestUnion(const char* ch); +*/Zu`kzX
TestUnion(long l); }*pi<s
operator const char*() const {return data_.ch_;} fSvM(3Y<Qh
operator long() const {return data_.l_;} :(*V?WI
}; )cMh0SGcM1
=R$u[~Xl2X
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 7}5JDG
{ h^(*Tv-!
} nazZ*lC
A0 C,tVd
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ra
g Xn
{ ;RPx^X~
} y(yHt=r
qHlQ+:n
int main (void) rlSeu5X6
{ q Y?j#fzi
TestUnion pszobj("yuankai"); 4*cEag
TestUnion lobj(1234); ?Z[[2\DR
cout<(pszobj)< cout< h_,i&d@(
return 0; `%9 uE(
} ">,|V-H
^7WN{0
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 9`X\6s
9x9 T<cx
class TestUnion >7T'OC
{ ,K"U>&
enum StoreType{Long,Const_CharP}; :vQrOn18p
union DataUnion //不能匿名 8COGsWK
{ CXx*_@}MU
DataUnion(const char*); //声明const char*构造函数 o&)8o5
DataUnion(long); //声明long构造函数 [
=9T*Sp
const char* ch_; ;)z:fToh
long l_; N gGp
} data_; Zbt.t]N
StoreType stype_; ;~ $'2f~U
TestUnion(TestUnion&); vm7z,FfN
TestUnion& operator=(const TestUnion&); rCbDu&k]
public: n&qg;TT
TestUnion(const char* ch); b;W3j
TestUnion(long l); 1N#|
}ad
operator const char*() const {return data_.ch_;} G+"t/?/
operator long() const {return data_.l_;} L;NvcUFn
}; U175{N%3
6"5A%{J
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) {{D)YldtA
{//注意data_(ch),这里直接引用data_ H.|#c^I
} m_?~OL S
PI:4m%[
TestUnion::TestUnion(long l):data_(l),stype_(Long) +-U- D?-
{//注意data_(l),这里直接引用data_ ):6 8%,
} 5z8d}
I
z2_*%S@
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) *ebSq)
{ i$:*Pb3mV
} j@U]'5EVB
]7F=u!/`<C
TestUnion::DataUnion::DataUnion(long l):l_(l) ~hnQUS`A
{ JPc+rfF
} k"T}2 7
rq/yD,I,
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!