前言 hr<7l
C
ci,o8 [Y
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 N{^>MRK=5
l|vWeBs
一、在union中存储对象 PUE'Rr(Q
BK(pJNBh
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? c3zT(FgO>N
/m
Q2;*|
#pragma warning(disable : 4786) mI7rx`4H
#include =nvAOvP{?
using namespace std; b#p~F}qT
S:p.W=TAB
class TestUnion ayH%
qp
{ !$p2z_n$@.
public: T$n>7X-r
TestUnion(long l):data_(l) wWJQ~i?
{ xxLgC;>[
}; _b!;(~@p
int data_; CRc!|?
}; xH"W}-#[
f/0v'
Jt
typedef union _tagUtype_ Siz!/O!'
{ eg$5z
Z
TestUnion obj; {{.sEi*
}UT; hy$MV3LP
z;bH<cQ
int main (void) ~'^!udF-
{ l&6U|q`
return 0; `R=a@DQ
} (>rS
_#^
wRXn9
5vs`uUzr
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: b`h%W"|2L
]]J#7L#
class TestUnion W>`g;[ W
{ e8d5(e
public: r^w\9a_
int data_; z-KrQx2
}; O)R7t3t
y wW-p.
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! cg(QjH"
lFp!XZ!
二、类中union的初始化 ,J~,ga~
tC2 )j7@
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ,+ns
{ppn
^%n124
#pragma warning(disable : 4786) QL)>/%yU
#include pu/m8
F=oHl@
using namespace std; [2GXAvXsT
qDby!^ryc
class TestUnion n0rerI[R
{ S2J#b"Y
enum StoreType{Long,Const_CharP}; CrnB{Z4L
union )"(V*Z
{ g2g`,"T
const char* ch_; X'V+^u@W
long l_; to99_2
} data_; {l0,T0
StoreType stype_; N<KKY"?I'
TestUnion(TestUnion&); {PN:bb
TestUnion& operator=(const TestUnion&); \We"?1^
public: 98ca[.ui
TestUnion(const char* ch); $.oOG"u0]
TestUnion(long l); JQ*D
operator const char*() const {return data_.ch_;} GN\8![J
operator long() const {return data_.l_;} wl7 M fyU
}; -'80>[}q/
7<h.KZPc
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ixOEdQ
{ eQ$N:]
} ' 2>l
?Wwh
_TO
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) _ymJ~MK
{ IYuyj(/!
} &g*klt'B
)r ULT$;i@
int main (void) WI,40&<
{ 0(wf{5
TestUnion pszobj("yuankai"); uVN.=
TestUnion lobj(1234); j h;
9
[
cout<(pszobj)< cout< iPMB$SdfO
return 0; ,+~2&>wj
} Q2*/`L}m\
N1PECLS?
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: O
x{Q.l
|kId8WtA
class TestUnion ;!'qtw"CB
{ m'd^?Qc
enum StoreType{Long,Const_CharP}; <\h*Zy
union DataUnion //不能匿名 1+R:3(AC
{ GA.BI"l
DataUnion(const char*); //声明const char*构造函数 SV&kWbS
DataUnion(long); //声明long构造函数 V?=TVI*k
const char* ch_; aw1P5aPmX
long l_; >Cvjs
} data_; \0D$Mie
StoreType stype_; 1XG$ z@NN
TestUnion(TestUnion&); /v5qyR7an
TestUnion& operator=(const TestUnion&); rxQ<4
public: ICk(z~D~
TestUnion(const char* ch); WS5A Y @(~
TestUnion(long l); ?RDO] I>
operator const char*() const {return data_.ch_;} Ru:n~77{
operator long() const {return data_.l_;} mn.`qfMh
}; HCJ;&C73&
a~WqUL
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) G OpjRA@
{//注意data_(ch),这里直接引用data_ Po> e kz_E
} ]5N zK=2{
Z
#EvRC
TestUnion::TestUnion(long l):data_(l),stype_(Long) T0r<O_ubOA
{//注意data_(l),这里直接引用data_ ; VBpp<
} m`'=)x|
VO9XkA7
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) [KMS<4t'
{ (s088O
} [G\o+D?2
l1}R2lSEO
TestUnion::DataUnion::DataUnion(long l):l_(l) N*f^Z#B]
{ Rxx>{+f4M
} *.8JP
eO'xkm
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!