前言 =w?-R\
Yi{[llru
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 $G"PZ7
P0Ds7xh]h
一、在union中存储对象 R)I 8 )
^8o'\V"m^
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? /1h`O@VA
@\i6m]\X
#pragma warning(disable : 4786) HyiuU`
#include nUQcoSY#
using namespace std; &"._%S58V
X;w1@4!
class TestUnion &{7n
{ i`gsT[JQRX
public: P~#!-9?
TestUnion(long l):data_(l) X@b$C~+
{ \_!FOUPz(
}; E(4ti]'4
int data_; S&6}9r
}; )*G3q/l1u6
~B:Lai4"
typedef union _tagUtype_ DvG. G+mo#
{ req=w;E:
TestUnion obj; ?f1%)]>
}UT; YdV5\!
n8w|8[uV^
int main (void) tRS^|??
{ Gnl6>/L,
return 0; J@"Pv~R
} "@gJ[BL#
dg4"4\c*P
hAOXOj1
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: V(L~t=k$
k!xi
(l<C
class TestUnion zek\AQN
{ fm;1Iu#
public: (u]ft]z,-B
int data_; *<x]gV
}; uz
` H
l'&l!D&
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 7\"-<z;kK
Q[i;IbY
二、类中union的初始化 x~$P.X7(~
GLwL'C'591
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: BXa1[7Z
NRcg~Nu
#pragma warning(disable : 4786) 6vX+-f
#include &&ecq
|}es+<P
using namespace std; 9K#.0
P;VR[d4e/
class TestUnion 3a:(\:?z
{ Y5-X)f
enum StoreType{Long,Const_CharP}; 'an{<82i
union "h7Z(Y
{ <s9Sx>Zb
const char* ch_; 9$~D4T
long l_; {Xwin$C
} data_; u7^Z7;
J
StoreType stype_; (8GJLs 8
TestUnion(TestUnion&); D?}LKs[
TestUnion& operator=(const TestUnion&); HNY{%D
public: r;y&Wa
TestUnion(const char* ch); (dpBGt@
TestUnion(long l); L0UAS'hf
operator const char*() const {return data_.ch_;} `y;&M8.
operator long() const {return data_.l_;} z:+Xs!S
}; ;)83tx
/
5>j,P
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) nkS6A}i3o
{ 3dcZ1Yrn
} *7ap[YXZ\w
8ji!FZf
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) pP{b!1
{ pA4/'7nCl
} xE9^4-Px*
>/6v`
8F
int main (void) PaMi5Pq
{ WN>.+qM~8
TestUnion pszobj("yuankai"); (Uv{%q.n6
TestUnion lobj(1234); +O j28vR
cout<(pszobj)< cout< To}L%)
return 0; U(3LeS;mr
} PgB=<#9
2YuaPq/
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 2EG"xA5%
]
X%bU*4
class TestUnion )09_CC!a
{ cn<9!2a
enum StoreType{Long,Const_CharP}; {
zlq6z
union DataUnion //不能匿名 ^nkwT~Bya
{ A~*Wr+pv
DataUnion(const char*); //声明const char*构造函数 sFSrMI#R
DataUnion(long); //声明long构造函数 O5_E"um
const char* ch_; 49/1#^T"Q>
long l_; 3`^]#Dh
} data_; QdO$,i'
StoreType stype_; %04>R'mN
TestUnion(TestUnion&); b2U[W#
TestUnion& operator=(const TestUnion&); `"GD'Oa
public: (cC5zv*E
TestUnion(const char* ch); nqgfAQsE)
TestUnion(long l); w V;y]'
operator const char*() const {return data_.ch_;} 3i>$g3G
operator long() const {return data_.l_;} b'3#FI=:
}; qbqJ1^!6R
8 Sl[&
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ai#EFo+#
{//注意data_(ch),这里直接引用data_ `'0opoQRe
} Y)BKRS~
=\CbX
TestUnion::TestUnion(long l):data_(l),stype_(Long) +8Peh9"
{//注意data_(l),这里直接引用data_ "D3JdyO_S
} !Z%QD\knY
@m6pAo4P
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) CtjjN=59
{ qpp:h_E
} :w:5;cmV
YV!!bI
TestUnion::DataUnion::DataUnion(long l):l_(l) }!n<L:njX
{ oJ6
d:
} J)'6 z
"Hgn2o.;5
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!