前言 o`P%&
[8,yF
D_U
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 )ZqTwEr@[
SY^t} A7:/
一、在union中存储对象 Xudg2t)+K
2Yn <2U/^R
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? NzOo0tz:
=&2Lb
#pragma warning(disable : 4786) NzSoqh{R
#include r)~ T@'y
using namespace std; Id|L`
w
}O^zl#
class TestUnion U\;6mK)M^J
{ ,J>5:ht(6
public: `t9?=h!
TestUnion(long l):data_(l) }\#Rot>Y
{ Vz~nT
}; -
'W++tH=
int data_; Ry K\uv
}; gy0haW
FUOI3
typedef union _tagUtype_ e5B Qr$j
{ %_L\z*+
TestUnion obj; r1LViK
}UT; x`mN U
'BPp ]R#{
int main (void) JSW}*HR
{ i2(1ki/|O
return 0; kg3EY<4i
} }J1tdko#
#Av.iAs
_D_LgH;}
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: mvZw
b7tOo7a H)
class TestUnion $UCAhG$
{ rKf-+6Na
public: :^x?2%
~K.
int data_; [tA;l+Q\&
}; YY!6/5*/]
>ByXB!Wi+
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! p)3U7"q
O1*NzY0Y%-
二、类中union的初始化 D]~MC
<l9-;2L4
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: iN0nw]_*
),!;| bh
#pragma warning(disable : 4786) FR!? #!
#include '07P&g-
!M]\I &
using namespace std; aj,T)oDbt6
)
^3avRsC
class TestUnion Gz[fG
{ /iV}HV0
enum StoreType{Long,Const_CharP}; ?Ovqp-sw
union hk;7:G
{ _({A\}Q|
const char* ch_; IGFR4+
long l_; CL}{mEr}
} data_; *`Yv.=cd
StoreType stype_; e|D;OM
TestUnion(TestUnion&); 'X!?vK^]p
TestUnion& operator=(const TestUnion&); S (N\cw$
public: %T9 sz4V
TestUnion(const char* ch); !o+_T?
TestUnion(long l); zyg
}F
operator const char*() const {return data_.ch_;} n`
TSu$
operator long() const {return data_.l_;} UNi`P9D]3
}; JA_BKA
-yg?V2
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ^ Dt#$Z
{ x5WW--YR+
} z.VyRB i0
*(>}Y
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) IMl!,(6;
{ .rJiyED?!
} m&iH2|
]UG*r%9
int main (void) dk<XzO~g
{ rf%7b8[v
TestUnion pszobj("yuankai"); k` (jkbEZ
TestUnion lobj(1234); b(I2m
cout<(pszobj)< cout< 3#45m+D
return 0; eBO@7F$
} .pvV1JA'
@M8|(N%
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 3QOUU,Dt$
K[7EOXLy
class TestUnion "h7tnMS
{ .+([
enum StoreType{Long,Const_CharP}; ?[MsQQd~
union DataUnion //不能匿名 =@5x"MOz
{ Vax^8 -
DataUnion(const char*); //声明const char*构造函数 ;u(Du-Os!
DataUnion(long); //声明long构造函数 Y05P'Q
const char* ch_; 7 #=}:3c
long l_; 7RvUH-S[
} data_; 6k/U3&R
StoreType stype_; :ECi+DxBK
TestUnion(TestUnion&); @MK"X}3
TestUnion& operator=(const TestUnion&); )*d W=r/$V
public: eb8w~
TestUnion(const char* ch); L~^*u_U]
TestUnion(long l); X}6#II
operator const char*() const {return data_.ch_;} 1]T`n /d V
operator long() const {return data_.l_;} x4#T G
}; *AIEl"29
CC3v%^81l^
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) JkA|Qdj~Mr
{//注意data_(ch),这里直接引用data_ ._96*r=o
} ,s^<X85gp\
l~Lb!; ,dN
TestUnion::TestUnion(long l):data_(l),stype_(Long) Pu>N_^ C
{//注意data_(l),这里直接引用data_ ksjUr 1o
} r
CRgzC
AP\ofLmq
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ,A5) <}
{ ^aRgMuU
} efuK
EC?Efc+O
TestUnion::DataUnion::DataUnion(long l):l_(l) b r,+45:
{ hD<f3_k
} Y+/lX 6'
zG
c[Z3N
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!