前言 &};zvo~P.
<a3WKw
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 eHUOU>&P]
kAUymds;O
一、在union中存储对象 f!X[c?Xy"
!4+<<(B=E
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 1'Dai `
p!%pP}I
#pragma warning(disable : 4786) G3T]`Atf
#include |[8Th4*n
using namespace std; 9\(|
D#
YoFxW5by
class TestUnion z
F;K
{ Q"#J6@
public: }jPSUdo
TestUnion(long l):data_(l) X:{!n({r=
{ A04U /;
}; v3>UV8c'
int data_; JucY[`|JV
}; y@yD5$/
8&dF
typedef union _tagUtype_ \9EjClfo
{ HZZn'u
TestUnion obj; w0unS`\4
}UT; r3?o9D>
YS_;OFsd
int main (void) ^iYj[~
{ COlaD"Y
return 0; ,a?
oaPH
} 6Kz,{F@
tZo} ;|~'
\|[;Z"4l
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: klhtKp_p
8 Fbo3
class TestUnion FpU>^'2]
{ a8Wwq?@
public: ]]yO1x$Kk
int data_; ?aMOZn?
}; &)<)^.@3G^
08{@rOr
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 93hxSRw
2:ylv<\$
二、类中union的初始化 m#p'iU*va,
9N3eN
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: |ENh)M8}r
Oow2>F%_#
#pragma warning(disable : 4786) (7*}-Uy[C
#include i}?>g -(
?
=+WRjF
using namespace std; TS5Q1+hWHV
5kXYeP3:
class TestUnion Rlirs-WQ
{ ?z
u8)U
enum StoreType{Long,Const_CharP}; Y6d@h? ht
union #LOwGJ$yVz
{ Du){rVY^d
const char* ch_; J$v?T$LVw
long l_; PFK
'$
} data_; ;*&-C9b
StoreType stype_; ,7b[!#?8
TestUnion(TestUnion&); |zE'd!7E
TestUnion& operator=(const TestUnion&); @\I#^X5lv
public: ~u+9J}
TestUnion(const char* ch);
j
<RrLn_
TestUnion(long l); _wL BA^d^
operator const char*() const {return data_.ch_;} 29q _BR *:
operator long() const {return data_.l_;} `@|$,2[C
}; ^sg,\zD 'X
C"enpc_C/
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) W*w3[_"sr
{ WMP,\=6k0
} kO-(~];
S 6,.FYH
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) B?o7e<l[
{ #cLBQJq
} N)>ID(}F1
5NLDYi@3
int main (void) yR.Ong
{ jlg(drTo
TestUnion pszobj("yuankai"); CVR3
A'
TestUnion lobj(1234); 5rUdv}.
cout<(pszobj)< cout<
.3!1` L3
return 0; @ur+;IK$
} T9q-,w/j;
2VCI 1E
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: *HB-QIl
#LN`X8Wz'
class TestUnion 3DG_QVg^v
{ .w,q0<}
enum StoreType{Long,Const_CharP}; ?[>3QE
union DataUnion //不能匿名 Vs{|xG7WD
{ v74&BL]a
DataUnion(const char*); //声明const char*构造函数 0Fr?^3h
DataUnion(long); //声明long构造函数 Oz#{S:24M+
const char* ch_; d*Fj3Wkx
long l_; Q)z8PQl O
} data_; sFTy(A/
StoreType stype_; ji,kkipY?w
TestUnion(TestUnion&); RY*U"G0#w
TestUnion& operator=(const TestUnion&); x3eZ^8^1}
public: f'3$9x
TestUnion(const char* ch); :T(|&F[(
TestUnion(long l); gbagi+8s`%
operator const char*() const {return data_.ch_;} dcWD(-
operator long() const {return data_.l_;} jm r"D>
}; Q.c\/&
m9}P9?
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) w.-!UD9/.x
{//注意data_(ch),这里直接引用data_ *G9V'9
} k+l b@!
9k[9P;"F:
TestUnion::TestUnion(long l):data_(l),stype_(Long) 8qu6.
{//注意data_(l),这里直接引用data_ n@[O|?S
} ?#Q #u|~
F^fdIZx
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 2T[9f;jM'
{ $a ` G
} <yg F(
&XUiKnNW
TestUnion::DataUnion::DataUnion(long l):l_(l) tIS<U(N;
{ QnX(V[
} *EwR!L*
0S$N05
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!