前言 JQ"U4GVp
CHz+814
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 ,cNLkoN
KZ/=IP=
一、在union中存储对象 K'GBMnjD
/~3r;M
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? H)n9O/u
aA,!<^&}
#pragma warning(disable : 4786) K.0:C`C
#include Hw4%uS==V
using namespace std; 1YH+d0UGn
MG.`
r{5
class TestUnion Hro-d1J7
{ Dd\jHF>u
public: R
rda# h^
TestUnion(long l):data_(l) rW=Z>1
{ I"GB<oB
}; EVGt 5z
int data_; +llR204
}; !jTcsN%
Y=Kc'x[,Zj
typedef union _tagUtype_ "men
{ ga`3 (
TestUnion obj; J@u;H$@/y
}UT; %\:[ o
bD?VU<)3
int main (void) R~PA1wDZ
{ #)nSr
return 0; aeD ;5VV
} sfNE68I2
!4X
f~P
b}"N`,0dO
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: f.9SB
p9x(D/YP0
class TestUnion 5rU[Tir
{ :>C2gS@
public: 0.@&_XTPl
int data_; "/wyZ
}; h-[VH%
jWrj?DV,2N
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! ye,>A.
tIuCct-
二、类中union的初始化 C)`Fv=]R
B&n<M]7
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: E4M@WNPx
0"pAN[=K@
#pragma warning(disable : 4786) o%IA}e7PAa
#include NeE
t
U`2e{>'4t
using namespace std; 'ZDp5pCC;
24z< gO
class TestUnion x$6^R q>2
{ d^{RQ
enum StoreType{Long,Const_CharP}; \nPEyw,U
union 6G[4rD&
{ ~?K ~L~f5
const char* ch_; xLK<W"%0
long l_; WE: 24b6
} data_; CEX"D`
StoreType stype_; hhCrUn"
TestUnion(TestUnion&); VHIOwzC
TestUnion& operator=(const TestUnion&); B><d9d
public: YQj 2
TestUnion(const char* ch); v>Q#B
TestUnion(long l); 1;Ou7T9w
operator const char*() const {return data_.ch_;} E2R&[Q"%
operator long() const {return data_.l_;} RBs-_o+ %
}; Y^$X*U/q%U
{>hC~L?6
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) ;DFSzbF`
{ j+$rj
} r]:(Vk]|F
*Q?tl\E
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) |)(VsVG&
{ u{['<r;I
} (nf~x
}fb#G<3
int main (void) a7r%X -
{ n"G&ENN"$
TestUnion pszobj("yuankai"); $u]jy0X<Y;
TestUnion lobj(1234); 4T|b
Cs?e
cout<(pszobj)< cout< v0z5j6)-1
return 0; ZX9T YN
} TaKLzd2
mr*JJF0Z
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: hT`J1nNt
Xg|B \\
class TestUnion le/,R@]B9
{ HK,cJahq
enum StoreType{Long,Const_CharP}; lr>oYS0
union DataUnion //不能匿名 ;oW6 NJ
{ f$e[u
Er
DataUnion(const char*); //声明const char*构造函数 3x{t(
DataUnion(long); //声明long构造函数 + jc!5i .
const char* ch_; 7}f}$1
long l_; e!N:,`R
5
} data_; 3!XjtVhK?I
StoreType stype_; >s>1[W @*
TestUnion(TestUnion&); Ugu[|,
TestUnion& operator=(const TestUnion&); vK|E>nL
public: +ga k#M"n\
TestUnion(const char* ch); g!@<n1 L
TestUnion(long l); ~.{/0T
operator const char*() const {return data_.ch_;} LClNxm2X
operator long() const {return data_.l_;} n0r+A^]
}; #hfXZVD
>7lx=T
x
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) `^u>9v-+'
{//注意data_(ch),这里直接引用data_ gw#5jW\
} 7Ri46Tkt
TSTl+W
TestUnion::TestUnion(long l):data_(l),stype_(Long) CtyoHvw+M
{//注意data_(l),这里直接引用data_ l~c@^!
} q)LMm7
0h#lJS*
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) (D#B_`;-
{ D>/0v8
} d"}k!
0m
zKw`Md
TestUnion::DataUnion::DataUnion(long l):l_(l) w~(1%p/
{ zL$@`Eh-KP
} LPZF)@|`
HJLu'KY}
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!