前言 \~{b;$N}
P?Fm<s:
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 /EXubU73
L3
VyW8Y
一、在union中存储对象 HHMv%H]M
A>OGU ^
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? %J
'RO
\NN5'DBx
#pragma warning(disable : 4786) [ ]LiL;A&
#include "p[FFg
using namespace std; VJ'bS9/T
N:yyDeGyW
class TestUnion H5'Le{
{ ?\J.Tv$$$
public: /[|ODfY
TestUnion(long l):data_(l) =nTNL .SX
{ rcyq+wY #
}; u}L;/1,B
int data_; &8^1:CcE
}; GSh~j-C'
4 -dV%DgC
typedef union _tagUtype_ G._E9
{ oP 0ZJK&;
TestUnion obj; -?K?P=B;X
}UT; 1X45~
MGGc
int main (void) oO8opS7F
{ W2CQk
return 0; %!_%%p,f
} ktMUTL(B
4qc0QA%
M^$liS.D
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: w' gKE'c
~l=Jx*
class TestUnion mn;Wqb/
{ &\_cU?0d
public: 0k7kmDW
int data_; ~=pAy>oV
}; 3 IK+&hk
VSJ08Ngi
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 5{@Hpj/B
B,]:<1l~
二、类中union的初始化 ,7{}}l
nYF *f
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: #P''+$5,
|k-IY]6
#pragma warning(disable : 4786) 1hT!~'
#include ]F]!>dKA
|,G=k,?_p
using namespace std; OlV'#D
V`7^v:
class TestUnion )&$Zt(
{ ?[ts<Ltp
enum StoreType{Long,Const_CharP}; 1~x=bphS
union wB0zFlP
{ f/VrenZ_
const char* ch_; ~{O9dEI
long l_; O [81nlhS0
} data_; !83N.
gN
StoreType stype_; YVEin1]
TestUnion(TestUnion&); f4k\hUA
TestUnion& operator=(const TestUnion&); $7 08\!
public: `PY>p!E
TestUnion(const char* ch); ZMVQo-=
TestUnion(long l); o@d+<6Um
operator const char*() const {return data_.ch_;} [9O,C-Mk
operator long() const {return data_.l_;} 3V"y|q
}; W97%12J3
KP[H&4eoC
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) #Ang8O@y
{ Dn#GoDMJ[
} Fk 5;
U/|H%b
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) =R>%}5
{ bLHj<AX#>|
} #{t?[JUn
;AwQpq>dy
int main (void) $2M dxw5
{ WG_20JdJY
TestUnion pszobj("yuankai"); N!`8-ap\^
TestUnion lobj(1234); A|D]e)/6+B
cout<(pszobj)< cout< \*_@`1m
return 0; 4G%!t`?q
} ~<%/)d0
DB^"iof
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: fnUR]5\tc
A-"}aCmik
class TestUnion 3]X9 z
{ Jhyb{i8RR
enum StoreType{Long,Const_CharP}; l{{wrU`
union DataUnion //不能匿名
,a$?KX
{ kUdl2["MZ
DataUnion(const char*); //声明const char*构造函数 QqC4g]
DataUnion(long); //声明long构造函数 Eoj 2l&\
const char* ch_; iuX82z`
long l_; CulU?-[i
} data_; % 1+\N
StoreType stype_; iZVMDJ?(Z]
TestUnion(TestUnion&); U~mv1V^.
TestUnion& operator=(const TestUnion&); b$24${*'
public: bs%lMa.o
TestUnion(const char* ch); C XQPbt[5
TestUnion(long l); 4@wH4H8
operator const char*() const {return data_.ch_;} F=29"1 ._
operator long() const {return data_.l_;} M=!RJ%6f
}; u7e g:0Y
Y{ho[%
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) b Hr2LhQCN
{//注意data_(ch),这里直接引用data_ \qrSJ=}t
} R7L:U+*V"
+b7}R7:AFH
TestUnion::TestUnion(long l):data_(l),stype_(Long) 8"M*,?.]
{//注意data_(l),这里直接引用data_ U[$KQEJYj
} ,=9e]pQ
">n38:?R
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) [U]ouh)
{ nC3U%*l
} 7H-,:8
P~)ndaQ
TestUnion::DataUnion::DataUnion(long l):l_(l) #L{+V?
{ .Z!!x
} m})q8b!S
%G<!&E!0h
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!