前言 U<NpDjc"
-K/' }I
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 kc8T@5+I0
*R>I%?]V3
一、在union中存储对象 *#;rp~
!`='K
+
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? +-#| M|a
}h>e=<
#pragma warning(disable : 4786) w|PZSOJ
#include xZmKKKd0*
using namespace std; ]IJ.}
b,G+=&6u
class TestUnion hk&p+NV!
{ 6|LDb"Rvy
public: zq]V6.]J
TestUnion(long l):data_(l) ap9eQsC
{ ,Ql3RO,
}; N[ArwV2O
int data_; (vjQF$Hp
}; 7w{`f)~
*(d^k;
typedef union _tagUtype_ &^9>h/-XT
{ M)EUR0>8
TestUnion obj; -ij1%#t z
}UT; J\
xMhR;lKY
int main (void) YKl!M/
{ e= "/oo
return 0; a+mq=K
} ,lA J{5\#
^O\tN\g;c
aM.l+DP
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: foE2rV/Y
O,JthlAV4
class TestUnion =OO_TPEZ
{ uD:O[H-x
public: r:Cad0xj;^
int data_; !1"~tA!+p=
}; `U`Z9q5-
9LJ/m\bi
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! =4 JVUu~Z
3[aJ=5
二、类中union的初始化 i$:CGUb
~`_nw5y
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ~w[zX4@
^Z:x poz,
#pragma warning(disable : 4786) ;{Z2i%
#include A7_*zR@
F<-Pbtw
using namespace std; n7<<}wcV
"TjR]jnV(
class TestUnion _TQt!Re`,
{ ~?b(2gn
enum StoreType{Long,Const_CharP}; sQihyq6U;
union J;q3
fa
{ ?QVD)JI*k
const char* ch_; Cv$TNkP*
long l_; cS ];?tqrA
} data_; [S</QS!
StoreType stype_; <!OP b(g2
TestUnion(TestUnion&); tg8VFH2q.z
TestUnion& operator=(const TestUnion&); 29Q5s$YD@
public: [sNn^x
TestUnion(const char* ch); n{'
[[2U
TestUnion(long l); }.b[a z\T
operator const char*() const {return data_.ch_;} H V
operator long() const {return data_.l_;} 6lWO8j^BN
}; i,yK&*>JJ
MB "?^~Sm
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) Va*Uwy?x/)
{ s9[v_(W
} .=@M>TZM
dqKTF_+VhA
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) bh7 1Zu
{ & vLX
} w@%W{aUC
;:$Na=
int main (void) @Qc['V)
{ qo.
6T
TestUnion pszobj("yuankai"); p-(Z[G*
TestUnion lobj(1234);
0U/:Tpyr
cout<(pszobj)< cout< *iC
t4J
return 0; IG9Q~7@
} [?IERE!xQ
h0^V!.-5
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: <&L;9fr
nW drVT$
class TestUnion \GvVs
{ hCxL4LrF
enum StoreType{Long,Const_CharP}; g:o\ r
(
union DataUnion //不能匿名 nev*TYY?A
{ !w)Mm P Xb
DataUnion(const char*); //声明const char*构造函数 @$nI\n?*
DataUnion(long); //声明long构造函数 Rthu8NKn
const char* ch_; v"F0$c
long l_; {YGz=5 ^
} data_; lP9I\Ge&
StoreType stype_; VhW;=y>}
TestUnion(TestUnion&); ka>RAr J
TestUnion& operator=(const TestUnion&); +qz)KtJS
public: /p%K[)T(
TestUnion(const char* ch); ~hxB Pn."
TestUnion(long l); I8Zp#'|U
operator const char*() const {return data_.ch_;} "BVz5?
operator long() const {return data_.l_;} .i=%gg
}; D{l.WlA.
uRL3v01?H0
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) AV2q*
{//注意data_(ch),这里直接引用data_ _ma4
} Y?5yzD:
VUnEI oKM
TestUnion::TestUnion(long l):data_(l),stype_(Long) ,F-tvSc\Q
{//注意data_(l),这里直接引用data_ ?xf;#J+{8
} wl{p,[]
[{ { ?e6J
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 3,F/i+@
{ mm{U5
} +I Ze`M%n
-y\N 9
TestUnion::DataUnion::DataUnion(long l):l_(l) eLC&f}
{ Z956S$gS
} Qrt8O7&('
iZSSd{jO
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!