前言 "^u|vCqw
Jzr(A^vwo
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ;a68>5Lm*
^,?]]=mE
一、在union中存储对象 5!AzEB
?vZ&CB
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? W2n%D& PE
5SDHZ?h
#pragma warning(disable : 4786) KB-7]H
#include ZJ!/49c*>
using namespace std; iKDGYM
s |qB;
class TestUnion A}$A~g5Ap
{ \
X uu|]
public: w7O(I"
TestUnion(long l):data_(l) ?4xTA
{ #j@Su )+
}; ]e+S ~me
int data_; -PxA~((g5
};
`/#6k>
$ZE OE8.\
typedef union _tagUtype_ -FJ5N}R
{ S9mj/GpL3
TestUnion obj; \5J/?
}UT; 3C.bzw^
W[+E5I
int main (void) ]` 3;8,
{ 7:;P>sF@
return 0; r]2}S=[
} Nk]r2^.z[
RM,r0Kv17Y
3q<\
\8Y*
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: cp[k[7XGD
2TY|)ltsF
class TestUnion pnDD9u-4;
{ n;4`IK|
public: {ImZ><xe/
int data_; 3<?#*z4]_
}; Z5\u9E"]
]Y:|%rvVH
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! m ?LOd9
v dyu =*Y
二、类中union的初始化 OZ0q6"
+K]kGF
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: Z&YW9de@
"w=.2A:q
#pragma warning(disable : 4786) FjVC&+c
#include 03[(dRK>=
#O qfyY!
using namespace std; 8D)2/$NsY}
zR">'bM:
class TestUnion Fb
VtyQz
{ G^5}T>TV
enum StoreType{Long,Const_CharP}; vY:A7yGW
union |h@'~c
{ wSnY;Z9W_
const char* ch_; -@e9!/GP,
long l_; ,J~kwJ$L
} data_; u:NSPAD)
StoreType stype_; h)fi9
TestUnion(TestUnion&); 2t*@P"e!
TestUnion& operator=(const TestUnion&); 0k0y'1SL
public: C]p3,G,oN
TestUnion(const char* ch); v|"Nx42
TestUnion(long l); T[;O K
operator const char*() const {return data_.ch_;} {w1sv=$+
operator long() const {return data_.l_;} (sz=IB ;
}; d7qHUx'=z
C1Slx!}
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 8$BZbj%?hx
{ }L3k pw
} m
=
"N4!
/MO|q
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ]]J2#mN:n
{ D}r,t_]Eb
} Jo1n>Mo-j
hqmKUlo
int main (void) ;|5m;x/a
{ ^duNEu0*
TestUnion pszobj("yuankai"); pc
J5UJY
TestUnion lobj(1234); c~K^ooS-
cout<(pszobj)< cout< dd@qk`Zl&A
return 0; K1AI:$H
} N=YRYUo
3i/$YX5@
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: DBI[OG9
DDsU6RyN
class TestUnion !ZPaU11
{ ,W;\6"Iwx'
enum StoreType{Long,Const_CharP}; &.,ZU\`zT
union DataUnion //不能匿名 6hv4D`d;o
{ K3Zc>QL{
DataUnion(const char*); //声明const char*构造函数 WLma)L`L
DataUnion(long); //声明long构造函数 @kw#\%Uz
const char* ch_; 0'{0kE[wn
long l_; (p08jR
'5
} data_; m_LW<'
StoreType stype_; M^JRHpTn
TestUnion(TestUnion&); Sp3?I2 o
TestUnion& operator=(const TestUnion&); \$n?J(N
public: D<B/oSy
TestUnion(const char* ch); :Y`cgi0vkd
TestUnion(long l); G%_6"s
operator const char*() const {return data_.ch_;} RsIR}.*
operator long() const {return data_.l_;} UT|FV
twO
}; |!NKKvf
484lB}H
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) k\W%^Z
{//注意data_(ch),这里直接引用data_ v<c~
'?YzO
} qPY
OO
d~1Nct$:
TestUnion::TestUnion(long l):data_(l),stype_(Long) ~GZ!;An
{//注意data_(l),这里直接引用data_ ">PpC]Y1
} I?nj_ as
/R7qR#
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) =LEKFXqM
{ R{uq8NA- W
} @|! 9~F
H7bdL 8/
TestUnion::DataUnion::DataUnion(long l):l_(l) H. U wM
{ y1z<{'2x
} 3#o!K
`oQ)qa_
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!