前言 eIBHAdU+g/
=r=[e}&9
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。
@ c,KK~{
B f33%I~
一、在union中存储对象 '2mR;APz
}6ObQa43
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? Rp$t;=SMD
MF:]J
#pragma warning(disable : 4786) VN`T:!&
#include qu- !XC0p
using namespace std; l*_%K}%?V
y^7;I-
class TestUnion ^HYmi\`
{ B7r={P!0
public: u3)Oj7cX
TestUnion(long l):data_(l) #U45;idp
{ r2A%.bL#
}; ,CqJ((
int data_; 37GJ}%Qs
};
EN6a?
}5
np3$bqm
typedef union _tagUtype_ .J:04t1
{ kXimJL_<g
TestUnion obj; e+jp03m\W
}UT; ~wG.'d]
M,xhQ{eBY
int main (void) !R*%F
{ ,FRFH8p
return 0; l9"4"+?j<
} ,4W|e!
^2Sa_.
qj*IKS
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: .BN~9w
N!Dc\d=8q]
class TestUnion BzBij^h
{ %\6ns
public: @i'24Q[6
int data_; #;FHyKx
}; F7$x5h@
mUW|4zl i}
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! uim4,Zm{
}YUUCq&
二、类中union的初始化 YT7,=k _
%qA@)u53
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: C"l_78
Hik8u!#P
#pragma warning(disable : 4786) <[{Ty+
#include BG:l Zj'I
3`sM/BoA
using namespace std; F02S(WWo;
b]S4\BBT
class TestUnion [pMJ9
d$
{ xbJ@ z{
enum StoreType{Long,Const_CharP}; `H+~LVH
union _22;hnG<iy
{ me]O
const char* ch_; Y"qKe,
long l_; Uw R,U#d
} data_; H |8vW
StoreType stype_; DVCO(
fz
TestUnion(TestUnion&); ,4dES|)sP
TestUnion& operator=(const TestUnion&); }G^Bc4@b
public: 0CXh|AU
TestUnion(const char* ch); p\lS)9
TestUnion(long l); L~e\uP
operator const char*() const {return data_.ch_;} 2q}M1-^
operator long() const {return data_.l_;} &_X6m0z
}; |lH~nU.*
9^l[d<
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) &t)dE7u5
{ c\GJfsVk
} K07SbL7g!p
VYw
vT0
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) {SH+lX0]{
{ ZUGuV@&-T
} _Eq*
6GVj13Nr
int main (void) Gy{C*m7Q
{ qc^u%
TestUnion pszobj("yuankai"); {2kw*^,l
TestUnion lobj(1234); ' k~'aZ
cout<(pszobj)< cout< 0{|ib !
return 0; ?^iX%
} z9mmZqhK\
gs;3NW
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: z_fR?~$N2
RFF&-M]
class TestUnion `P;fD/I
{ n]&/?6}
enum StoreType{Long,Const_CharP}; ow :}NI
union DataUnion //不能匿名 F@Bh>Vb
{ d ; (&_;
DataUnion(const char*); //声明const char*构造函数 s_Y1rD*B
DataUnion(long); //声明long构造函数 h%e}4U@X
const char* ch_; yjCY2T E
long l_; 9G(.=aOj,
} data_; @l3L_;6a
StoreType stype_; 4>]^1J7Wz
TestUnion(TestUnion&); 3md yY\+&
TestUnion& operator=(const TestUnion&); P;jl!o$
public: [
bv>(a_,
TestUnion(const char* ch); oQJK}9QR
TestUnion(long l); 9vc3&r
operator const char*() const {return data_.ch_;} W]|;ZzZ=m
operator long() const {return data_.l_;} 77/&M^0
}; :nki6Rkowt
<p<jXwl
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) =IBdnEz:M
{//注意data_(ch),这里直接引用data_ <d$kGCz
} /7Z0|Zw]
#5HJW[9
TestUnion::TestUnion(long l):data_(l),stype_(Long) 5A]IiX4Z
{//注意data_(l),这里直接引用data_ Zf;1U98oC
} (:3rANY|
|6LC>'
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ;w1?EdaO
{ =L~,HS(l,
} @]lKQZ^2&
E"k\eZns&
TestUnion::DataUnion::DataUnion(long l):l_(l) C:/ca)
{ Zab5"JR
} Nt42v
w91gM*A
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!