前言 w%u5<
(j N]OE^
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 NsmVd dj
iS-K
~qa
一、在union中存储对象 /0\QL+^!
HD00J]y_
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 4*8&[b
dq1TRFu
#pragma warning(disable : 4786) j+0.=#{??
#include
,%8$D-4#_
using namespace std; x]'H jTqX
A$m<@%Sz
class TestUnion m/?h2McS
{ gz\j('~-D
public: 8p,>y(o
TestUnion(long l):data_(l) XGk}e4;_
{ Fwv\ pJ}$
}; y:9?P~
int data_; nKu(XgFv
}; %8<2>
;MZbL)
typedef union _tagUtype_ 1.dX)^\
{ /j
%_t
TestUnion obj; d+1x*`U|
}UT; gvr]]}h:O
.+uVgSN
int main (void) am(#Fa
{ J/[7d?hI/
return 0; \E&th p
} JP%RTGu
jrcc
y4r2}8fi
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: @Yarz1
+{^'i P
class TestUnion $w `veP
{ B3.X}ys#
public: `&,_xUA
int data_; s
kY0 \V
}; H<z30r/-w
w 3d\0ub
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! j]Ua\|t
]!-R<[b
6
二、类中union的初始化 Q'C4pn@
Xky@[Td*
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: 7YD\ !2b
C=s((q*
#pragma warning(disable : 4786) i8eA_Q
#include !|(Ao"]
V^WQ6G1
using namespace std; R05T5Q1]A
7_7xL(F/
class TestUnion 9JXhHAxD
{ BArJ"t*/z
enum StoreType{Long,Const_CharP}; wRj~Qv~E
union 0@w&J9yG
{ =x oBC&u
const char* ch_; /rOnm=P+Q
long l_; Y`q!V=
} data_; d}pGeU'
StoreType stype_; d4V 2[TX
TestUnion(TestUnion&); \CDAFu#
TestUnion& operator=(const TestUnion&); P 4H*jy@?
public: aYR\ <02
TestUnion(const char* ch); 9Mnem*
TestUnion(long l); CP@o,v-
operator const char*() const {return data_.ch_;} n }TTq6B
operator long() const {return data_.l_;} eoC<a"bJ>
}; > `0| X
yq!CWXZ2
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) [e1\A&T
{ #yX^?+Rc
} jigbeHRy
FfjC
M7?
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) O2$!'!hz
{ }il%AAI9}r
} )v};C<
Jfe~ ,cI
int main (void) L2k;f]
{ 01-p
`H+
TestUnion pszobj("yuankai"); Q.<giBh
TestUnion lobj(1234); D8a)( wm
cout<(pszobj)< cout< 5#P: "U
return 0; #% qqL
} ^?#@[4?"
pDP33`OFh
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: <%he
o
rT o%=0P
class TestUnion 1XQ87~
{ E8+8{
#f;
enum StoreType{Long,Const_CharP}; vsjM3=
union DataUnion //不能匿名 = SA
4\/
{ Bk@bN~B4
DataUnion(const char*); //声明const char*构造函数 20n%o&kG]8
DataUnion(long); //声明long构造函数 oUCS|
const char* ch_; $B*qNYpPy.
long l_; HH+TjX/b
} data_; bL+sN"Km
StoreType stype_; NuHL5C?To
TestUnion(TestUnion&); #3YdjU3w
TestUnion& operator=(const TestUnion&); gq=0L:
public: NT'Ie]|
TestUnion(const char* ch); Dy98[cL
TestUnion(long l); 0qOM78rE
operator const char*() const {return data_.ch_;} b$IY2W<Ln
operator long() const {return data_.l_;} UnJi& ~O
}; -v;iMEZ)
//VG1@vaVX
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) LPsh?Ca?N
{//注意data_(ch),这里直接引用data_ %L.lkRs
} Pxap;;\
:p,c%"8
TestUnion::TestUnion(long l):data_(l),stype_(Long) t!NrB X
{//注意data_(l),这里直接引用data_ (q055y
} AsV8k_qZL
GcPB'`!M
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) XA=|]5C
{ mI2|0RWI)l
} SB5@\^
jY1^+y{
TestUnion::DataUnion::DataUnion(long l):l_(l) (L]T*03#
{ D
"JMSL4r
} h<t<]i'
.n?5}s+q
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!