前言 _<s[HGA`z
h_#x@p
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 r@b M3V_o
W^#HR
一、在union中存储对象 {9:[nqX
B3|h$aKC
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? O{b<UP'85
sA$x2[*O
#pragma warning(disable : 4786) R+{QZ'K.qg
#include 1W3+ng
using namespace std; Wi7!J[ B
:0@R(ct;>
class TestUnion /e5' YVP
{ nb-]fa
public: %3b;`Oa
TestUnion(long l):data_(l) #gn{X!;-;
{ {9?++G"\
}; :5|'C
int data_; R9XISsM^
}; WK$75G,
-': ;0
typedef union _tagUtype_ ykK21P,v
{ RP[^1
TestUnion obj; 2E5n07,
}UT; c=d` DJ
$d0xJxM
int main (void) WXHvUiFf
{ {zzc/!|
return 0; SB~HHx09
} )(bAi
]JDKoA{S0
<14,xYpE
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: ^4MRG6G
Q/D?U[G
class TestUnion TwPpZ@
{ D)shWJRlvW
public: )/4eT\ =
int data_; a(.q=W
}; 6sceymq
p+x}$&<|
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! 6=N!()s
RJ}%pA4I
二、类中union的初始化 pQ~Y7
E>LZw>^YJ
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ;c tPe[5
*<HA])D,
#pragma warning(disable : 4786) Pgug!![
#include `U4e]Qh/+
{7d(B1[1
using namespace std; <S[]VXy
i ZU1w7Z
class TestUnion unX mMSz(
{ pW4O[v`
enum StoreType{Long,Const_CharP}; <TN+-)H6
union *2,tGZ
{ 7QSrC/e
const char* ch_; ,:[\h\5m
long l_; 0G;
b+
} data_; g\.O5H9Od
StoreType stype_; \d-H+t]
TestUnion(TestUnion&); w-{a>ZU0
TestUnion& operator=(const TestUnion&); %"[`
public: |)KOy~"
TestUnion(const char* ch); bi{G
:xt
TestUnion(long l); o|7ztpr
operator const char*() const {return data_.ch_;} ~K$dQb])
operator long() const {return data_.l_;} t[e`wj+qz
}; k2-+3zx
$sILCn
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) k'6x_
G
{ x*'2%3C~
} 2^aXXPC
2xxw8_~C
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) i<\WRzVT
{ #'y4UN
} DpbprT7_
oaac.7.fV
int main (void) Jb;@'o6
{ 7&`Yl[G
TestUnion pszobj("yuankai"); 6Pp3*O`/V
TestUnion lobj(1234); %2@O,uCo@
cout<(pszobj)< cout< ?3#L?Cq
return 0; $G<!+^T
} } *:H\GL
tUGnp'r
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: m'n<.1;1{j
D4OJin^}
class TestUnion 2 xE+"?0
{ 'Lu d=u{
enum StoreType{Long,Const_CharP}; fphi['X
union DataUnion //不能匿名 /OD@Xl];K
{ Mg~62u
DataUnion(const char*); //声明const char*构造函数 V}aZ}m{J
DataUnion(long); //声明long构造函数 *-eDUT|O
const char* ch_; $V870
<
long l_; Mni@@W
} data_; Zjkg"
StoreType stype_; mI>=S
TestUnion(TestUnion&); 'w"hG$".
TestUnion& operator=(const TestUnion&); /1BqC3]tL
public: )z\ 73|w
TestUnion(const char* ch); 1j_
6Sw(
TestUnion(long l); w~AW(
VX
operator const char*() const {return data_.ch_;} mufXM(
operator long() const {return data_.l_;} 6DuA
}; 'z9}I
#
Mp`!zwR
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) [QDM_n
{//注意data_(ch),这里直接引用data_ a{
p1Yy-]
} dy.U;
.Lm0$o*`
TestUnion::TestUnion(long l):data_(l),stype_(Long) o_C]O"
{//注意data_(l),这里直接引用data_ (z.4er}o
} eWGaGRem
oiRrpS\T.
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ^Lc, w
{ fB=j51Lw
} {
Ba_.]x
"?=$(7uc
TestUnion::DataUnion::DataUnion(long l):l_(l) fR&x5Ika0
{ X1XmaO%A
} ">FuCvQ
AA XQ+!
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!