前言 v[~ U*#i
m2 OP=z@)
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 HM<V$
R
!IT']kA
一、在union中存储对象 yyZjMnuD
v_Jp9
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? MenI>gd?
] e&"CF
#pragma warning(disable : 4786) .kBAUkL:
#include 8^HMK$
using namespace std; P+]39p{
#%x4^A9 q
class TestUnion `} Q+:
{ Z'!jZF~4p
public: [ bE9Y;
TestUnion(long l):data_(l) ]vhh*
{ b Kv9F@
}; v-&^G3
int data_; N'|zPFkg
}; K*p^Gs,
,I'Y)SLx
typedef union _tagUtype_ ~M,nCG^4
{ C %y AMQ
TestUnion obj; O:#t>
;
}UT; PK!=3fK4\F
/ ijj;9EB
int main (void) L}x"U9'C
{ #%B1,.A
return 0; ow%s_yV]R
} "7iHTV
,8EeSnI
v)4 kS
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: FL"I PX;S
<`~]P$
class TestUnion IcI y
{ hFyN|Dqhds
public: VqbMFr<k
int data_; 9F ).i
}; "n:L<F,g
;@
%~eIlu
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 5"]PwC
a(BWV?A
二、类中union的初始化 BDD^*Y
>LwAG:Ud
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: Xl@nv9m
3QM.X^ANH
#pragma warning(disable : 4786) I]jVnQ>&
#include >=r094<
kG@1jMPtQ
using namespace std; z^ KrR
^h4Q2Mv o
class TestUnion @1^iWM j
{ &&Vz=6N
enum StoreType{Long,Const_CharP}; po\Q Me
union D.)R8X
{ (B7M*e
const char* ch_; fW <qp
long l_; HVh+Zk
} data_; PL%U
StoreType stype_; /!P,o}l7
TestUnion(TestUnion&); (w6 024~
TestUnion& operator=(const TestUnion&); &Plc
public: PI)lJ\
TestUnion(const char* ch); DrC4oxS 1
TestUnion(long l); Nw/4z$].J
operator const char*() const {return data_.ch_;} 69p>?zn
operator long() const {return data_.l_;} ~Yb5FYE
}; `DUMTFcMX
+A>>Ak|s
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ToTehVw
{ 6`J*{%mP
} %}J[EV
Uz} #.
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) !NuiVC]
{ xVfAlN37(
} wzwEYZN(q
8LB,8*L^
int main (void) W.'#pd
{ w/IYQC\v
TestUnion pszobj("yuankai"); bqWo*>l
TestUnion lobj(1234); -Wd2FD^x
cout<(pszobj)< cout< ZUyG
}6)J
return 0; TwH%P2)x
} M ~zA
J<'[P$D
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ,.A@U*j
3CL/9C>
class TestUnion ?#YheML?
{
@tGju\E"o
enum StoreType{Long,Const_CharP}; I8TqK
union DataUnion //不能匿名 K!Te*?b
{ PV$)k>H-
DataUnion(const char*); //声明const char*构造函数 ]V0V8fU|
DataUnion(long); //声明long构造函数 }E0~'
const char* ch_; j)xRzImu
long l_; #I8)|p?P
} data_; VHyH't_&s
StoreType stype_; e=Ko4Ao2y
TestUnion(TestUnion&); 1j"G~TM
TestUnion& operator=(const TestUnion&); T$rhz)_q
public: v3PtiKS
TestUnion(const char* ch); h;cl+c|B
TestUnion(long l); Heh.CD)Q
operator const char*() const {return data_.ch_;} 7^)8DwAl
operator long() const {return data_.l_;} !xk`oW
}; E:vgG|??
\kWL:uU
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) (KxI*
{//注意data_(ch),这里直接引用data_ jV{?.0/h|
} !z?&
S!WG|75B
TestUnion::TestUnion(long l):data_(l),stype_(Long) bpP-wA^Hd
{//注意data_(l),这里直接引用data_ 'F2g2W`
} S:B$c>
E$SYXe [,
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) Y*VF1M,2_
{ *.%z
} &3gC&b^i
I+2#k\y
TestUnion::DataUnion::DataUnion(long l):l_(l) %#t*3[
{ 9K!kU6Gh
} ~:FF"T>
K@%o$S?>z_
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!