前言 "4i_}
X] t *
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 yykyvy
7:&a,nU
一、在union中存储对象 8R.`*
D{s4Bo-
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? 3S1`av(tD
OGU#%5"<
#pragma warning(disable : 4786) p:8]jD@}%
#include )1]LoEdm`
using namespace std; h3kBNBI )
=|bW >y
class TestUnion $a+)v#?,
{ x8*@<]!
public: & A @!g
TestUnion(long l):data_(l) .s<tQU
{ 74*iF'f?c
}; Gh9dv|m=[;
int data_; hdee]qLS
}; vghn+P8
w^QqYUL${
typedef union _tagUtype_ [{9&KjI0K
{ Q@#Gm9m
TestUnion obj; G3t
4$3|
}UT; l ~ /y
\{`*`WQF
int main (void) U>_#,j
{ 9:6d,^X
return 0; GE.@*W
} 5V/CYcO
bLyG3~P;0
9TW
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: TVFxEV7Fx
p=J9N-EM
class TestUnion ,<?M/'4}G
{ WWYG>C[
public: 9<I;9.1S?^
int data_; 6u v'{
}; &g-uQBQI#
_d/ZaCx'i
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ,@*`2I>`
WP0{%
二、类中union的初始化 H[8P]"*z*i
o M#S.f?
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ^7~w yAr
.:#6dG\0z
#pragma warning(disable : 4786) wH[}@ w
#include - dt<w;>W
oJTsrc_-
using namespace std; |qsY0zx
o] 7U;W
class TestUnion ?YbZVoD)J
{ Y^f12%
enum StoreType{Long,Const_CharP}; Gk5SG_o
union \M`fkR,,'
{ mF !=H%
const char* ch_; CiGN?1|
long l_; F
/:2+
} data_; >#\&%0OZw
StoreType stype_; TID0x/j"K5
TestUnion(TestUnion&); h/%Hk;|9
TestUnion& operator=(const TestUnion&); \4`2k
public: $R<eXDW6:
TestUnion(const char* ch); emI]'{_G
TestUnion(long l); 7eg//mL"6
operator const char*() const {return data_.ch_;} 4';tMiz
operator long() const {return data_.l_;} VCvqiHn
}; oWUDTio#[
{m%X\s;ni
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 8; s$?*Gi
{ XOy#?X/`
} bz?
*#S
d.&~n`Rv!p
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) M^^u{);q
{ %7?v='s=
} OAQ'/{~7
,FPgbs
int main (void) vv,(ta@t2
{ $'Hg}|53
TestUnion pszobj("yuankai"); TGz5t$]I
TestUnion lobj(1234); ?iBHJ{
cout<(pszobj)< cout< Aq{m42EAj
return 0; P!";$]+
} _9Ig`?<>I
f(E 'i>
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: rXz,<^Hmj
Ucnit^,
class TestUnion 1v&!`^G99j
{ ? I}T[j
enum StoreType{Long,Const_CharP}; z
{J1pH_X
union DataUnion //不能匿名 a;Y9wn
{ $*H>n!&
DataUnion(const char*); //声明const char*构造函数 LHWh-h(s
DataUnion(long); //声明long构造函数 A4?_0:<
const char* ch_; &~Q ?k
long l_; >:`Y]6z
} data_; Q=9S?p
M
StoreType stype_; .0q %A1H
TestUnion(TestUnion&); y*6r&989
TestUnion& operator=(const TestUnion&); "t"=9:_t
public: L$x/T3@
TestUnion(const char* ch); `#X{.
TestUnion(long l); yREO;m|o
operator const char*() const {return data_.ch_;} n6nwda
operator long() const {return data_.l_;} c"J(? 1O
}; XI,F^K
qD4e] 5
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ^dP@QMly6
{//注意data_(ch),这里直接引用data_ R#bg{|
} RS/%uxS?
Nu{RF
TestUnion::TestUnion(long l):data_(l),stype_(Long) |[|X
{//注意data_(l),这里直接引用data_ 0p$?-81BJ
} q#PGcCtu
MT#9x>
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) MnsnW{VGX
{ TR@$$RrU
} "O|fX\}5
N2tvP+Z6D
TestUnion::DataUnion::DataUnion(long l):l_(l) Y^S0K'N
{ eeb8v:4
} #
dxlU/*
|_~BV&g,N
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!