前言 )Uw
QsP
>7!4o9)c
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 B%6>2S=E
1?]Gl+}
一、在union中存储对象 pR4{}=g,
Yn+/yz5k_
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? X<Rh-1$8F
4};iL)
#pragma warning(disable : 4786) Y\(Q
#include q{n~v>wU
using namespace std; 8b8ui
K
I
class TestUnion bqJL@!T
{ y-cRqIM
public: ^DS9D:oE
TestUnion(long l):data_(l) h$)!eSu
{ 6k%N\!_TUW
}; TW(rK&
int data_; W @Y$!V<
}; v}Gq.(b
j/TsHJ=
typedef union _tagUtype_ >k<.bEx(A
{ ?5K.#>{
TestUnion obj; FTI[YR8?Y
}UT; rV<yM$IA
2P`hdg
int main (void) bU/5ug.
{ T)6p,l
return 0; BEPeK
} ,@tYD(Z
9w[7X"#n
A7>0Pn%D3
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: [h""AJ~t
vRp =L54z
class TestUnion A-aukJg9
{ n7i;^=9mM
public: .e!dEF)D
int data_; 3+u11'0=t
}; x$QOOE]
J
[J,
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! @QV|<NeH
\CM/KrCR
二、类中union的初始化 &~:b&
EjV,&7o)
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: |y)R lb#d
K{B[(](
#pragma warning(disable : 4786) {'l^{"GO"
#include U 3aY =8B
sn
'#]yM
using namespace std; 1Y$ gt
}_u1'
class TestUnion hC4##pAa
{ kIWQ
_2
enum StoreType{Long,Const_CharP}; Q9t BHz
union ~>3$Id:
{ *.K+"WS%
const char* ch_; EpB2?XGA
long l_; 3+@p
} data_; /B.\ 6
StoreType stype_; wqx@/--E(
TestUnion(TestUnion&); 8G;
t[9
TestUnion& operator=(const TestUnion&); c}kZx1
public: ;|
##~Y.9
TestUnion(const char* ch); T~J6(,"
TestUnion(long l); R(@B4M2
operator const char*() const {return data_.ch_;} Z@>hN%{d+g
operator long() const {return data_.l_;} -'QvUHL|
}; ~J^Gzl
NVU @m+m~
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 7pH(_-TF
{ f9W@!]LHJ
} jw?/@(AC6
UX}ZE.cV
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) vz#VW
{ `of 5h*k
} *kY\,r&!P
}dX[u`zQ
int main (void) N`1:U
4}
{ 2>p K
TestUnion pszobj("yuankai"); %W~Kx_
TestUnion lobj(1234); 4G"T{A`O
cout<(pszobj)< cout< oXRmnt
return 0; ,+-l1GpL
} Eo
5p-
_tTtq/z<
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: Gl}[1<~o
Ox7v*[x'
class TestUnion #|k;nFJ
{ qL.1N~$2
enum StoreType{Long,Const_CharP}; x9k(mn%,
union DataUnion //不能匿名 C&YJvMu
{ |Wd]:ijJ
DataUnion(const char*); //声明const char*构造函数 4|YCBXWh
DataUnion(long); //声明long构造函数 fw$/@31AP?
const char* ch_; ;wwhW|A
long l_; S1sNVW
} data_; 8,=N~(pd`
StoreType stype_; ukHSHsR
TestUnion(TestUnion&); qgg/_H:;w
TestUnion& operator=(const TestUnion&); nd*9vxM
public: 23?\jw3w
TestUnion(const char* ch); Wjc1 EW!2x
TestUnion(long l); 6SI`c+'@5
operator const char*() const {return data_.ch_;} {XH!`\
operator long() const {return data_.l_;} va F^[/
(g
}; [y-0w.V=oE
Nd'+s>d0
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) XdE#l/#
{//注意data_(ch),这里直接引用data_ )#n0~7
&
} E/2 kX 3}
O32p8AxEz
TestUnion::TestUnion(long l):data_(l),stype_(Long) F^.w:ad9<
{//注意data_(l),这里直接引用data_ Wd#r-&!6j
} QH@?.Kb_qU
Ss6mN;&D
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ;U=IbK*
{ Bd jo3eX
} (8qD'(@
X`xmV!
TestUnion::DataUnion::DataUnion(long l):l_(l) #=C!Xx&
{ ^kJ(bBY
} gEcRJ1Q;C
.l5y+a'
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!