前言 23Nw!6S
FVaQEMZ^
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 D ,o}el
X voo=
一、在union中存储对象 B{'( L|
#a'Ex=%rM
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? auK?](U
e\!0<d
#pragma warning(disable : 4786) *>n;SuT_
#include 8 ~J(](QA
using namespace std; Y@N,qHtz
A8uVK5
class TestUnion 0n;<
ge&~R
{ y5*Z3"<
public: B0dQ@Hq*
TestUnion(long l):data_(l) U%q7Ai7
{ mID"^NOi#
}; :,'wVS8"]
int data_; :6vm+5!
}; >z%&xgOa
G Uon/G8
typedef union _tagUtype_ }o(zj=7
{ C8Qa$._
TestUnion obj; $$Oey)*
}UT; zgNc4B
ew#B[[
int main (void) K
1 a\b"
{ mH%yGBp_
return 0; [5G6VNh=
} m1B+31'>^
WD]pU
nbm&wa[
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ADDSCY=,
="Ho%*@6
class TestUnion &cxRD
{ qf!p 9@4F[
public: e1%/26\
int data_; /Z~<CbKKl
}; Cs9.&Y
xe{!wX
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! /178A;Jy
_ba>19csq%
二、类中union的初始化 2NC.Z;
CG0
M
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: t&H?\)!4
,l!Ta"
#pragma warning(disable : 4786) '*5i)^
#include [x+FcXb
';3{T:I
using namespace std; g)#W>.Asd
DJ'zz&K
class TestUnion 06O2:5zF
{ &dM.
d!
enum StoreType{Long,Const_CharP}; <0b)YJb4M
union Y$Zx,
{ .E`\MtA
const char* ch_; 8K:y\1
long l_; i,>khc
} data_; AL9chYP}/
StoreType stype_; )c8rz[i
TestUnion(TestUnion&); qTdh eX/
TestUnion& operator=(const TestUnion&); \MyLc/Gh5
public: J] {QB^?
TestUnion(const char* ch); ;LcZ`1
TestUnion(long l); +R3k-' >
operator const char*() const {return data_.ch_;} %j.0G`x9 +
operator long() const {return data_.l_;} ULs\+U
}; /rWd=~[MO
b*a#<K$T_
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) IwQ"eUnK
{ Y<N5#
);f
} >0/i[k-dk
|2O]R s
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) zr-*$1eu
{ _
TiuY
} R%{<mno/_
Y~c|hfL
int main (void) BmbyH{4
{ ^uKwB;@
TestUnion pszobj("yuankai"); '))0Lh
l
TestUnion lobj(1234); Q_"]+i]s@
cout<(pszobj)< cout< @:+8?qcP
return 0; uxXBEq;
} mWoAO@}Y
CDsSrKhx
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: /sx@$cvW
%KsEB*'"
class TestUnion VJeu8ZJ.
{ ;O,+2VzP%^
enum StoreType{Long,Const_CharP}; <^&ehy:7y
union DataUnion //不能匿名 Bal$+S
{ NP0\i1P>.?
DataUnion(const char*); //声明const char*构造函数 LhA*F[6$M
DataUnion(long); //声明long构造函数 h
k]
N6+@
const char* ch_; EAT"pxP
long l_; 3x`|
} data_;
SWH2
StoreType stype_; [)H&'5 +F
TestUnion(TestUnion&); `95r0t0hh\
TestUnion& operator=(const TestUnion&); Y\D!/T
public: !\-{D$E?H
TestUnion(const char* ch); (ceNO4"cZ
TestUnion(long l); Njxv4cc
operator const char*() const {return data_.ch_;} F}F&T
operator long() const {return data_.l_;} bp*
^z,w
}; z6U\axO6
\K5DOM "#
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) vmU@^2JSJ
{//注意data_(ch),这里直接引用data_ m,VOx7%n
} N:S/SZI
|t^E~HLm,
TestUnion::TestUnion(long l):data_(l),stype_(Long) caU0\VS
{//注意data_(l),这里直接引用data_ o*b] p-
} 1#C4;3i,
6"wlg!k8
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) b LB:MW\%
{ v_BcTzQ0S
} 7r7YNn/?
b+%f+zz*h
TestUnion::DataUnion::DataUnion(long l):l_(l) MDnKX?Y
{ vleS2-]|
} eX?OYDDC0j
UvJ}b
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!