前言 "D@m/l
5Ko"-
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 F~RUb&*/<
1Kwl_jf
一、在union中存储对象 ilFM+x@
0!+ab'3a
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? zse!t
S,Tm=} wj
#pragma warning(disable : 4786) 9x{T"'
#include 15 nc
using namespace std; `Gsh<.w!7
t*Lo;]P
class TestUnion 9n@jK%m
{ P`U5kNN
public: I0)iC[s8;
TestUnion(long l):data_(l) L~vNW6#W
{ li
NPXS+
}; 2evM|Dj
int data_; +R#*eo;o7
}; Nnv&~D>
Q Z9)uI
typedef union _tagUtype_ `.[hOQ7
{ GlD@Ud>o)
TestUnion obj; Q9W*)gBvn
}UT; UP, 0`fh(y
-pkeEuwv{
int main (void) azOp53zR
{ t(}&<<1Bz
return 0; wiwJD}3h'
} nC>#@*+jK
r("7
X2f
Wy4v~]xd%
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 9f
BD.9A
{L<t6A
class TestUnion #1m!,tC
{ 7d'@Z2%J0
public: _)%4NjWKk
int data_;
:i:Zc~%
}; wl(}F^:/`
RZ?>>Ll6
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ?8vjHEE
n7{1m$/
二、类中union的初始化 !kmo%+
(v(_XlMK
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: Prjl ;[I}
X*FK6,Y|(
#pragma warning(disable : 4786) G_dia6
#include *OsXjL`f
6p1TI1(
using namespace std; 'OF)`5sj
I<[(hPQUf
class TestUnion qn4Dm ^
{ \a|gzC1G
enum StoreType{Long,Const_CharP}; 2.; OHQTE
union ZO0_:T#Z
{ _KD(V2W
const char* ch_; s'LG3YV-<
long l_; Rzb663d
} data_; 0}P&G^%"
StoreType stype_; C'zMOR6c
TestUnion(TestUnion&); A.z~wu%(
TestUnion& operator=(const TestUnion&); [~jhOv^
public: RsrZ1dhPvV
TestUnion(const char* ch); ?%;uR#4
TestUnion(long l); Xwx;m/
operator const char*() const {return data_.ch_;} kTFN.kQx@
operator long() const {return data_.l_;} 1u&P,&T
}; C ,fIwqOr3
'n>|jw)
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) %f:'A%'Qb
{ g:f0K2)\r:
} @&h<jM{D
0*tEuJ7
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) fnB-?8K<
{ Uhg[#TUK
} %e1<N8E4
^P{'l^CVX
int main (void) hXMC!~Th
{ EaP#~x
TestUnion pszobj("yuankai"); +S3'ms
TestUnion lobj(1234); .cu5h
cout<(pszobj)< cout< 9N'$Y*. d<
return 0; CQv
[Od
} "rAm6b-`
.X:{s,@
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: [Q^kO;
IM
+Dm
class TestUnion 8<_WtDg
{ QjQJ "
enum StoreType{Long,Const_CharP}; sPd5f2'
union DataUnion //不能匿名 &4{%3 w_/
{ d(]LRIn~1
DataUnion(const char*); //声明const char*构造函数 4J I;NN
DataUnion(long); //声明long构造函数 !gT6So
const char* ch_; !;R{-
long l_;
ym${4
} data_; qqkZbsN
StoreType stype_; lgnF\)
TestUnion(TestUnion&); -lAA,}&+!
TestUnion& operator=(const TestUnion&); *[vf47)r!
public: FWD9!M K
TestUnion(const char* ch); )hQ`l d7B
TestUnion(long l); ]%mg(&p4
operator const char*() const {return data_.ch_;} YY]LK%-
operator long() const {return data_.l_;} 4Y-9W2s
}; o+aB[+
qrt+{5/t
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) 2;kab^iv'
{//注意data_(ch),这里直接引用data_ ,,{Uz)>'W6
} :uI}"Bp
<|m"Q!f
TestUnion::TestUnion(long l):data_(l),stype_(Long) KDn`XCnk,
{//注意data_(l),这里直接引用data_ Sfvi|kZX
} *b7v)d#
hcN$p2-
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) _L:
/2
{ *$hO C%(
} >,~JQ%1
xJO[pT v
TestUnion::DataUnion::DataUnion(long l):l_(l) G`)I _uO
{ [&Qrk8EN
} ! Noabt
8fDnDA.e
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!