前言 4?2$~\
x
_ \LPP_
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 L63B# H"
z3mo2e
一、在union中存储对象 ?[z@R4at
,}jey72/k
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? &s>E~M0+J
Fd(o8z8Q
#pragma warning(disable : 4786) HV}*}Ty
#include A/A;'9
using namespace std; oT}-i [=}
4Y
`=`{Q
class TestUnion >5c38D7k)
{ (BG
wBL
public: Y4j%K~lsY
TestUnion(long l):data_(l) :|PI_
$4H
{ r'E|6_0
}; oH>G3n|U^
int data_; L_{gM`UFc
}; W6Z3UJ-
FNy-&{P2
typedef union _tagUtype_ oa
q!<lI
{ ]~d!<x#+
TestUnion obj; }h=}!R'm
}UT; OZn40"`
G'c6%;0)
int main (void) +txHj(Y`
{ FL?Ndy"I
return 0; 3"HX':8x
} t1rAS.z&
*h)|Ks
-*AUCns#
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: Zv^n
kB3@;z:
class TestUnion Ds@nuQ
{ -kkpEw\
public: *h4x`luJ
int data_; wG}Rh,
}; Zy&?.d[z
/pYp,ak
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! *)xjMTJ%
DC+l3N
二、类中union的初始化 i{2ny$55h
nz_1Fu>g|
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: j&w4yY
56 [+;*
#pragma warning(disable : 4786) RElIWqgY
#include .X;DI<K
rGUu K0L&
using namespace std; 6#upBF:
mr<camL5
class TestUnion !63]t?QXMG
{ 1T/ 72+R0
enum StoreType{Long,Const_CharP}; H%G|8,4
union %Gc)$z/Wd
{ {2=f,,|+f
const char* ch_; *EllE+M{n
long l_; mT&?DZ9<
} data_; ~Hb2-V
StoreType stype_; ?*dt JL
TestUnion(TestUnion&); bD4aSubN
TestUnion& operator=(const TestUnion&); .Hm1ispq
public: [I2vg<my
TestUnion(const char* ch);
lqZUU92;
TestUnion(long l); s~g0VNu Y
operator const char*() const {return data_.ch_;} @G?R(
operator long() const {return data_.l_;} YF68Ax]
}; Cd'`rs}3
J|.n bSE
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) cg).b?g
{ .~7:o.BE`n
} v&r\Z @%
'h3yxf}\
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) a2SXg A
{ N-YCOSUu
} Z Is=%6""&
/y[zOT6
int main (void) =cWg39$(I
{ 6YF<GF{
TestUnion pszobj("yuankai"); (g3@3.Kk)
TestUnion lobj(1234); UoOxGo
cout<(pszobj)< cout< 6~tj"34_
return 0; 4gh`
>
} $*c!9Etl4
ufvjW]
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Y[.f`Ei2
sj8lvIY5
class TestUnion ;&`6b:ug
{ 4;V;8a\A
enum StoreType{Long,Const_CharP}; `9mc+
union DataUnion //不能匿名 X3R:^ff\
{ 1HBWOV7z.?
DataUnion(const char*); //声明const char*构造函数 4MPR
DataUnion(long); //声明long构造函数 N?><%fra
const char* ch_; rbc7CPq_^
long l_; \e' oAhM
} data_; mu$rG3M
StoreType stype_; 1{.5X8y1x
TestUnion(TestUnion&); ;YYnIb(
TestUnion& operator=(const TestUnion&); |u_fVQj
public: d-'BT(@:
TestUnion(const char* ch); Tl L\&n.$
TestUnion(long l); `i)Pf WdBN
operator const char*() const {return data_.ch_;} #+(@i|!ifo
operator long() const {return data_.l_;} i0'g$
}; oq[r+E-]$@
46gDoSS
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) pMV ?vH
{//注意data_(ch),这里直接引用data_ P#-p*4
} 349BQ5ND
.s\_H,
TestUnion::TestUnion(long l):data_(l),stype_(Long) 9;fs'R
{//注意data_(l),这里直接引用data_ ? $.x%G+
} Q& S 7_
j9f[){m`
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) w}0rDWuR[
{ =4
NKXP~C
} o ]@'R<F(u
g"v6UZ\
TestUnion::DataUnion::DataUnion(long l):l_(l) @`XbM7D 5
{ ;^cMP1SH
} j<A<\K
2hY"bpGW
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!