前言 I_"Hgx<
+cPE4(d
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 }}4sh5z
::3iXk)
一、在union中存储对象 2uJNc!&
reqfgNg
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? IGh !d?D
|.Y@^z;P3
#pragma warning(disable : 4786) rL!_&|
#include 4~MJ4:
using namespace std; pJ2:` f<;
j#Ky0+@V
class TestUnion L5-T6CD
{ ]Omb :
public: uu
WY4j6
TestUnion(long l):data_(l) uFm(R/V
{ ex@,F,u>o
}; [5 Y$L
int data_; bo~{<UT
}; Q+u#?['
> hDsm;,/
typedef union _tagUtype_ oPBg+Bh*
{ ~7,2N.vO2
TestUnion obj; p ,[XT`q^
}UT; |%2/I>o
He0N
int main (void) 'o)ve(
{ St~SiTJU
return 0; XL. CJ5y>
} ]@ Sc}
&k_wqV
@qO8Jg"Q
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: #^4>U&?
Zy!)8<Cgm'
class TestUnion kYI(<oTY~
{ R+kZLOE
public: ['}^;Y?*o
int data_; @
(u?=x;
}; evg 7d
}!Diai*C
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! QNa}M{5>h
].<sAmL^
二、类中union的初始化 'wB Huq
Z$#ZYD
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: fw:^Lyn9$
]"7DV3_
#pragma warning(disable : 4786) YPff)0Nh
#include {YKMQI^O/
"{ry 9?z
using namespace std; B0 oY]r6
8SCW.;0
class TestUnion \xO2WD
{ NW4
s'roP
enum StoreType{Long,Const_CharP}; Fzld0p9=
union Nh\8+v*+{
{ |jaY[_.@
const char* ch_; B[0,\>
long l_; >NOYa3
} data_; #G!Adj+p5
StoreType stype_; ,^+R%7mv
TestUnion(TestUnion&); j]?0}Z*
TestUnion& operator=(const TestUnion&); 't]EkH]BC
public: J_wz'eIb0
TestUnion(const char* ch); s[B6%DI/5
TestUnion(long l); > ^v8N
operator const char*() const {return data_.ch_;} wM4g1H%s
operator long() const {return data_.l_;} 55\X\>
0C7
}; ^<
/vbF
gJGBD9wC
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) kz VI:
{ hTtp-e`
} hv:Z%D |S
RBD7mpd
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) wpdEI(
{ q' V{vFfY%
} Ah>krE0t
+#I~#CV!
int main (void) "xc*A&Sg
{ +heS\I_Mp
TestUnion pszobj("yuankai"); POg0=32
TestUnion lobj(1234); |16BidWi
cout<(pszobj)< cout< +@)$l+kk9
return 0; 8}#Lo9:,d
} ,WDAcQ8\
OI}HvgV^!
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: =+-.5M
Mjvso0zj
class TestUnion KW6" +,Th
{ l`%}
{3r9
enum StoreType{Long,Const_CharP}; *pC-`k
union DataUnion //不能匿名 8(f0|@x^
{ Q
fyERa\rb
DataUnion(const char*); //声明const char*构造函数 ;Kq?*H
DataUnion(long); //声明long构造函数 ^oB1 &G
const char* ch_; ;)]zv\fC
long l_; dVt@D&
} data_; XXwhs-:o
StoreType stype_; rLVc<595
TestUnion(TestUnion&); Qn3+bF4
TestUnion& operator=(const TestUnion&); FC(cXPX}
public: KC-aLq/
TestUnion(const char* ch); c_q y)N
TestUnion(long l); }Z?[Ut
operator const char*() const {return data_.ch_;} 8=o(nFJw
operator long() const {return data_.l_;} <r`Jn49
}; `LU,uz
`6sQlCOnF
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ,UZE;lXJ'Q
{//注意data_(ch),这里直接引用data_ L0VR(
} ;k%sKVP
Aq]'.J=4
TestUnion::TestUnion(long l):data_(l),stype_(Long) X/7_mU>aKT
{//注意data_(l),这里直接引用data_ +<WT$ddK=5
} <_q/ +x]8
g):jZU]b
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ~%K(ou=2
{ *AQbXw]w
} E
d/O\v@
I3$vw7}5Y
TestUnion::DataUnion::DataUnion(long l):l_(l) 3}1+"? s
{ s(.-bjR
} CscJy0dB
~2}ICU5
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!