前言 ]f0'YLG
DylO;+
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ;*M@LP{*L
"J 1A9|
一、在union中存储对象 ?<TJ}("/
89g
a+#7
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? JfIXv
MK=oGzK
#pragma warning(disable : 4786) 0lg$zi x(
#include
H.@$#D
using namespace std; 2Jd(@DcJ2C
|'nQvn:{
class TestUnion Nc7"`!;-
{ |Ev|A9J!
public: d8wVhZKI"
TestUnion(long l):data_(l) 7v ZD
{ ~Ld5WEp k3
}; , ~O>8VbF
int data_; IMH4GVr"
}; $Es\ld
K8;SE!
typedef union _tagUtype_ iZ-R%- }B
{ 5@w6pda
TestUnion obj; Mw/9DrE7/
}UT; nn_O"fZi
]?tRO
int main (void) =9GALoGL
{ *c$[U{Px
return 0; j Q5 F}
} qk2E>
p%I'd^}.!
p"ZvA^d\
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: hv|a8=U!R
f+cb83}n]
class TestUnion @:C)^f"
{ g"m'
C6;
public: Zv;nY7B
int data_; h;gc5"mG
}; {aY) Qv}
l{{,D57J
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! {dpC;jsW1
w}xA@JgQ%
二、类中union的初始化 @7twe;07r
-tj#BEC[H(
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: k$3pmy*
JU?;Kq9R
#pragma warning(disable : 4786) .9nqJ7]
#include )QE6X67i
xE:jcA
d$}
using namespace std; lYG`)#T
^wIB;!W
class TestUnion Nw*<e ]uD
{ >n"0>[:4
enum StoreType{Long,Const_CharP}; NnLK!Q
union [ohLG_9
{ FS1\`#Bm)
const char* ch_; 0cS$S Mn{
long l_; U>2KjZB
} data_; 9 C[~*,qx
StoreType stype_; Nk7y2[
TestUnion(TestUnion&); I%5vI}
TestUnion& operator=(const TestUnion&); t*IePz] /
public: Lh[0B.g<
TestUnion(const char* ch); u cpU$+
TestUnion(long l); w2
Y%yjCV
operator const char*() const {return data_.ch_;} DBAyc#
operator long() const {return data_.l_;} Hr?lRaV
}; A8'RM F1
^Arv6kD,
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) `MI\/oM@
{ ET}Z>vU}+
} 1K Fd
~U
LYDiqOrx
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 4 Ej->T.
{ TKB8%/_p
} n
_K1%
1/M^7Vb.
int main (void) Tb i?AJa}
{ YV.' L
TestUnion pszobj("yuankai"); *yhA8fJ
TestUnion lobj(1234); Z@zo~*o
cout<(pszobj)< cout< v"k ?e
return 0; ^*ZaqMA
} :uCwWv
EO !,rB7I
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: t2dsYU/
h4`8C]
class TestUnion 1-y8Hy_a2
{ 6>]_H(z7
enum StoreType{Long,Const_CharP}; V4,Gt]4
union DataUnion //不能匿名 6Z_V,LD9L
{ a|t~&\@
DataUnion(const char*); //声明const char*构造函数
/a1uG]Mt
DataUnion(long); //声明long构造函数 w%])
const char* ch_; (<Cq_Kw
long l_; t\Vng0
} data_; )E9!m
StoreType stype_; 2.v{W-D[
TestUnion(TestUnion&); &|Gg46P7
TestUnion& operator=(const TestUnion&); ^#R`Uptib
public: #/YS
TestUnion(const char* ch); mjD^iu8?
TestUnion(long l); \IL)~5d
operator const char*() const {return data_.ch_;} >$m<R&
operator long() const {return data_.l_;} VIF43/>(
}; U"GxXrl
p<L7qwOii
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) B?j t?
{//注意data_(ch),这里直接引用data_ /|v4]t-
} H:DR?'yW
[%K6-\S
TestUnion::TestUnion(long l):data_(l),stype_(Long) x1 |/
{//注意data_(l),这里直接引用data_ 9y!0WZE{e
} ]+I9{%zB%8
9lq5\ tL-
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) .YF1H<gwa
{ !ZTghX}D
} PNm@mC_fh
|+Wn5iT
TestUnion::DataUnion::DataUnion(long l):l_(l) [ cB^6v
{ H'WYnhU&
} (_pw\zk>
g (w/
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!