前言 tL#~U2K
h D5NX
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 +"mS<
l<3X:)
一、在union中存储对象 )NF5,eD
%_P[
C}4
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 8U8%XI EJ
E5;6ks)
#pragma warning(disable : 4786) bF2RP8?en
#include 1s-dqHz"s
using namespace std; ~Un+Zs%24
8Cx6Me>,=
class TestUnion q\DN8IJ
{ YL?2gBT
public: hw5NHZ I'
TestUnion(long l):data_(l) z:Y
Z]
{ ,r5'nDV=d
}; r!+..c
int data_; QT8GP?F
}; C4[) yJ
Yamu"#
typedef union _tagUtype_ X&LaAqlSG
{ k2 _i;v
TestUnion obj; cePe0\\
}UT; 6
4,('+
;OMR5KAz
int main (void) @GVONluyU`
{ CE5A^,EsB
return 0; hr@kU x
} $.+_f,tU
kuq&8f~!
42oW]b%P{;
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: B}(r>8?dm
/nq\*)S#&
class TestUnion ?<;9=l\Q
{ QjlQsN!
public: 8l.bT|#O
int data_; @k-C>h()C
}; s'4O]k`
Vi m::
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! L*6R5i>
WEaG/)y
二、类中union的初始化 eIDrN%3
Xi~7pH
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: H*H~~yQ
MD):g@
#pragma warning(disable : 4786) ;!hwcO kX
#include {{r.?m#{
&wa2MNCG8
using namespace std; ,*kh{lJ
tE8aL{<R
class TestUnion h}y]Pt?
{ Zxw
cqN
enum StoreType{Long,Const_CharP}; @=ro/.
union +$YHdgZ.
{ Yi?v|H<a
const char* ch_; 5i@WBa
long l_; 41v#|%\w
} data_; <*Gd0 v%
StoreType stype_; Cu t7
TestUnion(TestUnion&); f6,?Yex8B
TestUnion& operator=(const TestUnion&); 29HyeLB@
public: F~$ay@g
TestUnion(const char* ch); -Hh.8(!XoO
TestUnion(long l); gy`WBg(7x
operator const char*() const {return data_.ch_;} |yinV fZ0C
operator long() const {return data_.l_;} j.ZXLe~
}; / q| o
*B)J(^M!q
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 8B`w!@hf
{ Fhrj$
} ,p>@:C/M
0z$::p$%u
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) hHk9O?
{ $KVCEe!X
} i7b^b>B|e
:w<Ga8\tZ
int main (void) |jB/d@RE
{ dw>1Ut{"3
TestUnion pszobj("yuankai"); P:>]a$Is
TestUnion lobj(1234); 5S*aZ1t18
cout<(pszobj)< cout< $DlO<
return 0; Q_)$Ha{>H,
} "x0/i?pqa
D0}r4eA
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: kQ`p\}7_
_+9o'<#u(
class TestUnion >}E
{ G3o `\4p
enum StoreType{Long,Const_CharP}; n52Q-6H
union DataUnion //不能匿名 $jOp:R&I^3
{ "s.hO0Z
DataUnion(const char*); //声明const char*构造函数 [Y4Wm?
DataUnion(long); //声明long构造函数 E*x ct-m#
const char* ch_; 74=zLDDS
long l_; !C@+CZXLx
} data_; 7NRm\%^q
StoreType stype_;
kIR/.Ij}
TestUnion(TestUnion&); \beYb0(+
TestUnion& operator=(const TestUnion&); VfFbZds8f
public: $H`{wJ?2(
TestUnion(const char* ch); KPAvN M
TestUnion(long l); sDB,+1"Y$
operator const char*() const {return data_.ch_;} UP7?9\
operator long() const {return data_.l_;} |=:<[FU
}; 9&bJ]
C~IE_E&Q`
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) f@ILC=c<
{//注意data_(ch),这里直接引用data_ ,u=+%6b)A
} zHKx,]9b
UyAy?i8K
TestUnion::TestUnion(long l):data_(l),stype_(Long) "r~/E|Da<
{//注意data_(l),这里直接引用data_ ffMk.SqI
} F/cA tT.M?
Ro_jfM
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) Am|)\/K+Z
{ c,:nWf
} 81H9d6hqcD
S%jW}v';
TestUnion::DataUnion::DataUnion(long l):l_(l) ;Z9(ll:<$
{ N9s+Tm
} L_tjclk0J
\YSprXe
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!