前言 >){"x(4`
#r ;;d(
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 pDg_^|
GvCB3z
一、在union中存储对象 8 FqhSzw
1sT%g}w@|
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? |<q9Ee
gPu0j4&-
#pragma warning(disable : 4786) JXBTd=r_oM
#include v_$'!i$
using namespace std; Gc'CS_L
> (.V(]{3y
class TestUnion _FJ,, /~
{ 8a;I,DK=j
public: w>q:&Q
TestUnion(long l):data_(l) Q0\tK=Z/
{ d,R
}; W=9Zl(2C
int data_; ]^j'2nJv0
}; \ tK{!v+
O&Ws*k
typedef union _tagUtype_ lOc!KZHUp
{ covr0N)
TestUnion obj; W_##8[r(?
}UT; EM.7,;|N
)TmqE<[
int main (void) !)}3[h0
{
>Mzk;TM
return 0; }c"1;C&{
} *XCid_{(
,bQbj7
h5:>o
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: m\}8N
u
EP|OKXRltA
class TestUnion %L\buwjy$
{ jBTXs5q
public: J9kmIMq-C
int data_; FHu
-';
}; ;0R>D g
krw_1Mm
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! c:R`]4o
!2R<T/9~
二、类中union的初始化 n8!qz:z/
QX'EMyK$
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: $p)7k
huu v`$~y
#pragma warning(disable : 4786) ;m;a"j5
#include Oh\+cvbG
]7d~,<3R
using namespace std; Kc>C$}/}$
XM+o e0:[
class TestUnion I.M@we/bR}
{ '>}dqp{Wr
enum StoreType{Long,Const_CharP}; [&Z3+/lR*
union QEavbh^S
{ @-~
)M_
const char* ch_; Qe&K
long l_; scffWqEo
} data_; 7^fpbrj
StoreType stype_; lR^OS*v
TestUnion(TestUnion&); rT2gX^Mj&
TestUnion& operator=(const TestUnion&); Z=B6fu*
public: }|k_sx:
TestUnion(const char* ch); fY|Bc<,V9)
TestUnion(long l); |b@H]c;"
operator const char*() const {return data_.ch_;} fVU9?^0/)9
operator long() const {return data_.l_;} wz,T7L
}; *q ?-M"K
Hyw T
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) nZfU:N
{ <*g!R!
} b;N[_2
k
k&8:;Vj
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) 5,>Of~YN
{ N34.Bt
} #SHmAB
Xm|Uz`A;
int main (void) h "7:&=e
{ MpV3.
TestUnion pszobj("yuankai"); ?y] q\>
TestUnion lobj(1234); 62R94
cout<(pszobj)< cout< ]8}+%P,Q
return 0; M*r/TT
} m#D+Yh/y{n
t3#My2 =
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: \k#|[d5W
an4^(SY
class TestUnion ,~R`@5+
{ uN:|4/;{&
enum StoreType{Long,Const_CharP}; pzo9?/-
union DataUnion //不能匿名 ndSM*Fq
{ SNV[KdvP*
DataUnion(const char*); //声明const char*构造函数 uB(16|W>S
DataUnion(long); //声明long构造函数 x2#5"/~4
const char* ch_; arCi$:-z@
long l_; !J5k?J&{=
} data_; 23lLoyN
StoreType stype_; x}g5
TestUnion(TestUnion&); B@:c8}2.
TestUnion& operator=(const TestUnion&); F/"Q0% (m
public: "Ih>>|r
TestUnion(const char* ch); >q'xW=Y
j\
TestUnion(long l); 3f u*{8.XZ
operator const char*() const {return data_.ch_;} 6 9 PTo
operator long() const {return data_.l_;} 'f#i@$|]
}; +<G |Ru-
z/JoUje
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) KuU]enC3
{//注意data_(ch),这里直接引用data_ %:v59:i}
} m3apeIEi[
h\oAW?^
TestUnion::TestUnion(long l):data_(l),stype_(Long) u,zA^%
{//注意data_(l),这里直接引用data_ x>>#<hOz[
} 'IorjR@40
-8L22t
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) x[mxp/
/P
{ I9! eL4e
} Z~g I )
o -< 5<
TestUnion::DataUnion::DataUnion(long l):l_(l) 02Ftn&bi
{ rjmKe*_1V
} y:U'3G-
D 8nt%vy
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!