前言 JY16|ia
r~!lD9R~
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 %ZK}y{u\
-,&Xp>u\
一、在union中存储对象 FcA0 \`0M
!MC Wt
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? OBZj-`fq J
-)@.D>HsOt
#pragma warning(disable : 4786) D }\`5L<
#include jo^*R'}
using namespace std; H &JKja}`
KB5{l%>
class TestUnion :$j~;)2
{ 1;W>ceN"
public: qU}DOL|
TestUnion(long l):data_(l) &BgaFx**
{ Ogb_WO;)
}; VsC]z,
oV
int data_; s@$AYZm_
}; P(`IY+
RY'y%6Z]ZO
typedef union _tagUtype_ bA)Xjq)Rr
{ ,>$#e1!J
TestUnion obj; ?,j:Y0l.L
}UT; xn"g_2Hi
$spf=t"nh
int main (void) M Pt7 /
{ G 1$l %B
return 0; EY>A(
} =N=,;<6%A
Lg^m?~{
)oj`K,#
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: h2q]!01XP
7-5q\[ZK
class TestUnion $H#&.IjY
{ mK4a5H
public: *f(}@U
int data_; {b?)|@)is
}; !
>:O3*/
dw&Xg_$
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! j<!$ug9VA
Cxh9rUe.
二、类中union的初始化 {M$1?j"7
NlKnMgt~
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 0`x<sjG\q
8]Pf:_e,+
#pragma warning(disable : 4786) F kWJB>
#include .,c8cq?
8ZN J}
using namespace std; EU+sTe >
:70oO}0m.
class TestUnion f5G17: Q
{ ENGw <
enum StoreType{Long,Const_CharP}; 3{%/1>+x5
union ?XHJCp;f
{ $Ec;w~e
const char* ch_; 34oC285yc
long l_; J@Li*Ypo
} data_; HsO=%bb
StoreType stype_; KAe)
X_R7
TestUnion(TestUnion&); =3}+f-6"'
TestUnion& operator=(const TestUnion&); 4y knX%[
public: sOHh&e
TestUnion(const char* ch); {ng
TestUnion(long l); rOcfPLJi0
operator const char*() const {return data_.ch_;} DF|qNX
operator long() const {return data_.l_;} S`J_}>
}; bk8IGhO|m!
>6aCBS?2
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) <cl$?].RE!
{ 4gYP .h:,
} L\b$1U!i
~zuMX;[
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) p}j{<y
{ 08'JT{i id
} 5Wn6a$^
D0(gEb
int main (void) p1 o?^A&
{ 9 /9,[ A
TestUnion pszobj("yuankai"); FMR0?\jnT
TestUnion lobj(1234); ']qC,;2
cout<(pszobj)< cout< {xOu*8J
return 0; .d.7D ]Yn
} ntjUnd&v\
)of_"gZ$3A
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: ^tpy8TQ
bi,%QZZ
class TestUnion 3 \kT#nr
{ PZ"xW0"-
enum StoreType{Long,Const_CharP}; Uz1u6BF
union DataUnion //不能匿名 E
fqa*,k
{ )`g[k"yB3
DataUnion(const char*); //声明const char*构造函数 @w2}WX>
DataUnion(long); //声明long构造函数 J,E&Uz95%
const char* ch_; A]R"C:o
long l_; Bw{W-&$o
} data_; d/7c#er
StoreType stype_; v}iJ:'
TestUnion(TestUnion&); L*FnFRhU
TestUnion& operator=(const TestUnion&); 60hf)er
public: F.O2;M|x
TestUnion(const char* ch); T nPC\.x
TestUnion(long l); 'o5[:=K
operator const char*() const {return data_.ch_;} Q9rE_}Z
operator long() const {return data_.l_;} J :,
}; V @8X.R>
YP#OI6u
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ,E/vHI8
{//注意data_(ch),这里直接引用data_ %S@XY3jZY
} uV;Z
-'ZP_$sA
TestUnion::TestUnion(long l):data_(l),stype_(Long) I</Nmgf
{//注意data_(l),这里直接引用data_ S~m*t i(
} O1/!)E!
ti'OjoJL
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) k"AY7vq@!P
{ 9#_49euy|P
} e_,_:|t
_)^(-}(_D
TestUnion::DataUnion::DataUnion(long l):l_(l) 4CNK ]2
{ jQf1h|e
} f!1KGP
>O~xu^N?
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!