前言 ) a\DS yr
.O%1)p
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 CSqb)\8Oi*
q
'{<c3&
一、在union中存储对象 /0&:Yp=>
)P9{47
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? {G1aAM\Hz
4[CBW
#pragma warning(disable : 4786) \g:qQ*.
#include n5*{hi
using namespace std; Fp6[W5>(-
<Dj$0g
class TestUnion +6M+hO]
{ 0H&U=9'YT
public: ji)4WG/1
TestUnion(long l):data_(l) 2DCcGKa"
{ H0b6ZA%n
}; ivUsMhx>S,
int data_; !0csNg!
}; BOiz ~h6
s!;VUr\
typedef union _tagUtype_ E,D:D3O
{ r|\'9"@
TestUnion obj; eo*u(@
}UT; .m]=JC5'
m`\i+
int main (void) PVS<QN%
{ )4L%zl7
return 0; :_QAjU
} ['Y+z2k
uJ/?+5TU
9<(K6Q
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 8K JQ(
+65~,e
class TestUnion jl e%|8m&@
{ ic0v*Y$
public: IL>/PuZku
int data_; ,F`KQ
)\"
}; |`Oa/\U
R|)2Dg
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! |N=@E,33
[
4Y
`O
二、类中union的初始化 ldCKSWIi-
e9Ul A
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 4j/ iG\
!G"9xrr1
#pragma warning(disable : 4786) bhqq
#include ~
S?-{X+
h\u0{!@}
using namespace std; Q+!0)pG5#
Oa\ `;
class TestUnion ]zvVY:v
{ +>!B(j\gx
enum StoreType{Long,Const_CharP}; 4`UL1)A]
union C>:/(O
{ O{B
e )E~
const char* ch_; csdOIF
long l_; +F7<5YW&(
} data_; l\=-+'Y
StoreType stype_; NHFEr
TestUnion(TestUnion&); Bd[L6J)
TestUnion& operator=(const TestUnion&); a:-)+sgHw
public: pe!dm}!h[
TestUnion(const char* ch); e\A(#l@g
TestUnion(long l); 2%{YYT
operator const char*() const {return data_.ch_;} GIRSoRVsh
operator long() const {return data_.l_;} `z?KL(rI
}; =,AC%S_D~
gaw4NZd)0
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) hLyTUt~\L
{ r{q}f)
} Q9yGQu
_Vo)<--+I
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 'Wf?elB+
{ @Ge>i5q
} oxMUW<gYd
aW=By)S!Y
int main (void) kh<pLI >$h
{ yWv<A^C&
TestUnion pszobj("yuankai"); CCW%G,$U9
TestUnion lobj(1234); )@<HCRQ'q
cout<(pszobj)< cout< pyg!rf-
return 0; &PRx,G5
} F%PwIB~cy
TDAWI_83-
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: .B 85!lCF
P>{US1t
class TestUnion q?imE ~&U
{ dq
YDz
enum StoreType{Long,Const_CharP}; 7>'uj7r]=
union DataUnion //不能匿名 3qAwBVWa
{ m1hW<
DataUnion(const char*); //声明const char*构造函数 u(1J=h
DataUnion(long); //声明long构造函数 2<[eD`u
const char* ch_; SLJ&{`"7
long l_; G%7 4v|cd
} data_; S(>@:`=
StoreType stype_; })o~E
TestUnion(TestUnion&); 2/v35| ?
TestUnion& operator=(const TestUnion&); 6 Iv(
public: 2ec$xms
TestUnion(const char* ch); t_I\P.aMA
TestUnion(long l); *t#s$Ga
operator const char*() const {return data_.ch_;} poXLy/K
operator long() const {return data_.l_;} >Lw}KO`
}; UTDcX
Gh]_L+
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ;m@1Ec@*p
{//注意data_(ch),这里直接引用data_ )|w*/JK\Z
} =y<">-
*<*0".#
TestUnion::TestUnion(long l):data_(l),stype_(Long) & Fg|%,fv]
{//注意data_(l),这里直接引用data_ -,~;qSs
} %s$rP
xl+DRPzl
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) zH)cU%I@.
{ JcTp(fnW.~
} vix&E`0yD
0PnD|]9:
TestUnion::DataUnion::DataUnion(long l):l_(l) GE@uOJ6H
{ */nuv
k
} cST\~SUm
h0|[etaf
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!