前言 =YGP%}_.p{
g`OOVaB
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 5!ubY
6Ph
HJ qQlEq
一、在union中存储对象 z"K(
bw6
q{GSsDo-:V
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? p%"yBpSK
^v!im\ r
#pragma warning(disable : 4786) }E5#X R
#include ay(!H~q_U
using namespace std; )@qup _M@
(a}
class TestUnion P=^#%7J/l
{ W3/ 7BW`
public: 5)yOw|Bd
TestUnion(long l):data_(l) V+qJrZ,i
{ g6g$nY@Jm
}; hoR=%pC*
int data_; #jZ@l3
}; {KDgK
KO|pJ3
typedef union _tagUtype_ "W@XP+POAY
{ C,r`I/;
TestUnion obj; h4anr7g{
}UT; EF=dXm/\
NGD*ce"w
int main (void) Q0cY/'>4
{ ck+b/.gw`
return 0; qon{
g
} tKZ&1E
C4{\@v}t
ISS\uj63M
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改:
s8_aL)@f
:Sc8PLT
class TestUnion zBt`L,^
{ :,kU#eZ$-
public: G*\abL
int data_; ZCQ<%f
}; JA)o@[lF
"#twY|wW
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! Cqgk
|rFR8srPG
二、类中union的初始化 -2\ZzK0tM
5r4gmy>
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: gcg>Gjp
i_u
{5 U;
#pragma warning(disable : 4786) e3eVvl5]
#include mF'-Is
=3|pHc hJ4
using namespace std; fpvvV(
Ad;S=h8:
class TestUnion |mxNUo-
{ S<nP80C
enum StoreType{Long,Const_CharP}; .G}k/`a
union w<65S
{ PW%1xHLfk
const char* ch_; 5g``30:o
long l_; WRD
A `
} data_; [5Fd P0
StoreType stype_; >?5xDbRj
TestUnion(TestUnion&); Sty!atEWT
TestUnion& operator=(const TestUnion&); jJ
aV
public: *bA+]&dj\
TestUnion(const char* ch); u#+RUtM
TestUnion(long l); 9g
Bjxqm
operator const char*() const {return data_.ch_;} ?MC(}dF0
operator long() const {return data_.l_;} Xsd$*F@<
}; JI"/N`-?;b
/vjGjb=3U
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) s=d+GMa
{ \sK:W|yy
} 5vTv$2@
(=1q!c`
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) AkrTfi4hC
{ ZXsYn
} QsF4Dl
p9-0?(]
int main (void) lC#RNjDp/~
{ G02ox5X
TestUnion pszobj("yuankai"); !4R>O6k
TestUnion lobj(1234); ~G>jw"r
cout<(pszobj)< cout< TbLe6x
return 0; Q,.By&
} 3;*z3;#}
/_V'DJV
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: jfUJ37zNZr
Y4#y34We
class TestUnion ]gu1#
{ SLkuT`*
enum StoreType{Long,Const_CharP}; sVu k
union DataUnion //不能匿名 .H8mRvd?
{ pOm@b`S%
DataUnion(const char*); //声明const char*构造函数 ^7u X$
DataUnion(long); //声明long构造函数 Kax#OYLpg
const char* ch_; K@HQrv<
long l_; ,"Tjpdf
} data_; y%4 Gp
StoreType stype_; RqXi1<6j#
TestUnion(TestUnion&); ]pnYvXf>!
TestUnion& operator=(const TestUnion&); Z>F@nTzb>
public: .o}%~g <d
TestUnion(const char* ch); J58#$NC
`'
TestUnion(long l); 1otspOy
operator const char*() const {return data_.ch_;} =7 VCtd/
operator long() const {return data_.l_;} Z_FNIM0f
}; c/
_yMN
-vV'Lw(
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) /D[dO6.
{//注意data_(ch),这里直接引用data_ 2F1ZAl
} *g1L$FBG
*Bs^NU.
TestUnion::TestUnion(long l):data_(l),stype_(Long) ic-IN~J-
{//注意data_(l),这里直接引用data_ ASW4,% cl
} Ep mJWbU
cC%j!8!
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) R4b-M0H
{ xO7Yt
l
} iK!dr1:wSw
p1D()-
TestUnion::DataUnion::DataUnion(long l):l_(l) 9?
2
{ lUv =7"
[
} xW>ySEf
lkA^\+Ct
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!