前言 7oPBe1P,K+
f 8E
S
GU
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 u OEFb
;APpgt4
一、在union中存储对象 FU0&EO
lqOv_q
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 7
:s6W%W1*
<3;/,>^ Pm
#pragma warning(disable : 4786) HFwT
#include Aa&3x~3+
using namespace std; ~ e[)]b3
c@{,&,vsj
class TestUnion B @]( ,
{ XcA4EBRj
public: bwo" s[w
TestUnion(long l):data_(l) O'deQq[
{ m=2TzLVv
}; /^v4[]
int data_; SZ-% 0z
}; 6^zuRY;
R|{6JsjG10
typedef union _tagUtype_ -aGv#!aIl
{ -t
%.I=|
TestUnion obj; |pr~Ohz
}UT; 0[0</"K%1m
=,I,K=+_x
int main (void) vKDPg p<j
{ 9dw02bY`
return 0; 4EuZe:'X
} u~?]/-.TY
$g#j,
dL")E|\\k
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: K:P gkc
bTKzwNx
class TestUnion l\5qa_{z
{ mxjY-Kq
public: ltHC+8aZ
int data_; XH)MBr@Fz
}; iD@2_m)
2o/}GIKj
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! W.o
W=<
PG)dIec
二、类中union的初始化 G:'-|h
R\yw9!ESd
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ms3Ec`i9
vVKiE 6^
#pragma warning(disable : 4786) q{c6DCc ]\
#include 1S\q\kz->D
%Q}#x
using namespace std; av
wU)6L
*8"5mC;"
class TestUnion LPT5d 7K@
{ E](Ood
enum StoreType{Long,Const_CharP}; 7P]_03
union n?aogdK$V
{ Abce]-E
const char* ch_; 5nqj
long l_; Tb}`]Y`X
} data_; I2|iqbX40Q
StoreType stype_; 0_qqBL.4
TestUnion(TestUnion&); Cb.~Dv
!
TestUnion& operator=(const TestUnion&); KWy4}7a@,s
public: 3,tKqR7g
TestUnion(const char* ch); 0?SdAF[:z
TestUnion(long l); w{K_+}fAC
operator const char*() const {return data_.ch_;} *8js{G0h
operator long() const {return data_.l_;} |??uVA)\X
}; |/ZpZ7
6P?
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) rN$_(%m_N
{ kHX- AsRc
} ^"l>;.w
$}W=O:L+D
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) ;% !'K~
{ %S.R@C[3
} GRO[&;d`
+n^$4f
int main (void) u Dm=W36
{ &bs/a]?Z7
TestUnion pszobj("yuankai"); .0.Ha}{6b
TestUnion lobj(1234); gGe `w
cout<(pszobj)< cout< |nz,srr~
return 0; Gnj|y?'
} gjL>FOe8u
lXW.G
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: WZ@nuK.39T
*"O7ml]
class TestUnion ./[%%"
{ O)`R)MQ)
enum StoreType{Long,Const_CharP}; 2@:Go`mg
union DataUnion //不能匿名 gHvxmIG
{ l5D8DvJCj
DataUnion(const char*); //声明const char*构造函数 #Cvjv;
QwY
DataUnion(long); //声明long构造函数 vy1:>N?#5
const char* ch_; J L`n12$m
long l_; gAgzM?A1(
} data_; noOG$P#
StoreType stype_; Mh[;E'C6
TestUnion(TestUnion&); LJfd{R1y+
TestUnion& operator=(const TestUnion&); !4]wb!F
public: yYp!s
TestUnion(const char* ch); q*?LXKi
TestUnion(long l); /u*((AJ?Qv
operator const char*() const {return data_.ch_;} #r#UO
operator long() const {return data_.l_;} ^0ipM/Lg
}; ~F+{P4%`<
hqD]^P>l1
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) C{-e(G`Yd
{//注意data_(ch),这里直接引用data_ b)3dZ*cOJ
} <k6Zx-6X<
ZnI_<iFR*
TestUnion::TestUnion(long l):data_(l),stype_(Long) g"hm"m}i
{//注意data_(l),这里直接引用data_ a%7%NN*i
} jzdK''CHi
Z-*L[
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) M7fw/i
{ 80&JEtRh
} %W+*)u72(
/b@8#px
TestUnion::DataUnion::DataUnion(long l):l_(l) GO+cCNMa"
{ z6ArSLlZ
} u!
x9O8y
+i4S^B/8i
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!