前言 .[Sv|;x"E
<$njU=YE&
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 LZ ID|-
>)pwmIn<
一、在union中存储对象 W3 8=fyD
qW<: `y
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? {YbqB6zaM
M3F8@|2
#pragma warning(disable : 4786) a<gzI
#include n(f&uV_):
using namespace std; a3lo;Cfp
:({lXGc}4?
class TestUnion p-;]O~^
{ %e1vq
public: $C)@GGY
TestUnion(long l):data_(l) iQGoy@<R
{ "3j0)
}; G:e} >'
int data_; 3 ^su%z_%
}; f(n{7
d)o<R;F
typedef union _tagUtype_ JrL/LGY
{ -GKelz?h>
TestUnion obj; LbYI{|_Js
}UT; ?n@PZL= ]
(%fGS.TR
int main (void) vP~F+z
@g
{ Mc6Cte]3|
return 0; nC&rQQFF
} @xkM|N?
_mkI;<d]$T
63u'-Z"4
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: )sS<%Xf
@e0Q+ t
class TestUnion $0W0+A$
{ 'b^:"\t'Rh
public: Io"=X!k
int data_; UU
,)z
}; $z,bA*j9
-owfuS?i=
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! #i]@"R
}>
1h+O
二、类中union的初始化 ~IWi@m{
yauP j&^R
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: d,)F #;^5
Z.mV fy%
#pragma warning(disable : 4786) <m6I)}K
#include p$%h!.~99T
}.gg!V'9w
using namespace std; ytC{E_
0'~b<>G%
class TestUnion XWUTb\@
{ Jb$z(?S
enum StoreType{Long,Const_CharP}; P`%ppkzV6
union 2E1TJ.[BS
{ =91'.c<
const char* ch_; vaxg^n|v9
long l_; G[^G~U\+!
} data_; V[bc-m
StoreType stype_; 0,A?*CO
TestUnion(TestUnion&); O#U"c5%
TestUnion& operator=(const TestUnion&); )
k2NF="o
public: JZnWzqFw
TestUnion(const char* ch); ` k\1vum
TestUnion(long l); mcX akWmi
operator const char*() const {return data_.ch_;} 'OihA^e
operator long() const {return data_.l_;} V_1# 7
}; RtW5U8
f:Ja
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 'q^Gg;c>+
{ D8 #q.OR]
} &Egn`QU
%7@H7^s}9
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) m{5$4v,[
{ \9?<E[
} dB,#`tc=,
w:LCm `d
int main (void) 4>Y\2O?**
{ ).boe& .
TestUnion pszobj("yuankai"); >>8w(PdTn%
TestUnion lobj(1234); : [9'nR
cout<(pszobj)< cout< ["IJh
return 0; '_<`dzz
} zn x_p/V
0EB'!
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: 8{l=`y"nB
.0-m=3mp2
class TestUnion ykeUS
zz2
{ Y_B 4s-
enum StoreType{Long,Const_CharP}; iLgt_@g
union DataUnion //不能匿名 {.OoOqq9
{ '9dtIW6E
DataUnion(const char*); //声明const char*构造函数 Om"3Q/&
DataUnion(long); //声明long构造函数 Mfr#IzNHN
const char* ch_; Ny'v/+nQ
long l_; c+{4C3z
} data_; K{P#[X*5
StoreType stype_; ;X6y.1N~
TestUnion(TestUnion&); zLqp@\sT
TestUnion& operator=(const TestUnion&); Ju[`Qw`I
public: b?NeSiswn
TestUnion(const char* ch); -}sya1(<8
TestUnion(long l); R qz()M
operator const char*() const {return data_.ch_;} 7jbmw<d)9
operator long() const {return data_.l_;} I`kp5lGD2
}; mwCnP8:K
e;'T?&t
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) T!A}ipqb
{//注意data_(ch),这里直接引用data_ F?eb Yk1
} L
_y|l5
NETC{:j
TestUnion::TestUnion(long l):data_(l),stype_(Long) c):*R ]=
{//注意data_(l),这里直接引用data_ `6$b1qv,
} =k7\g /
mX?{2[
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) z n!
{ 49$4
} fEc_r:|\6
cZzZNGY^ts
TestUnion::DataUnion::DataUnion(long l):l_(l) r3_gPK
{ Z+W&C@Uw
} ^ks^9*'|j
=ol][)Bd
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!