前言 Pc]HP
V]?R>qhgu
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 4mbBmQV$#
A":T1s
一、在union中存储对象 @PIp*[7oC
8xMX
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? vw@S>GlGg
Ni7nq8B<
#pragma warning(disable : 4786) EhBKj |y
#include Ws12b$
using namespace std; 5Ynd c)Z
UGatWj
class TestUnion $Ygue5{c
{ *OQ2ucC8j
public: - !
S_ryL
TestUnion(long l):data_(l) f)<6
{ x|29L7i
}; CU~PT.
int data_; Kf-JcBsrT
}; 7x8
yxE
|&4/n6;P$0
typedef union _tagUtype_ MfkN]\Jyw
{ kSo"Ak!
TestUnion obj; DIUjn;>k8
}UT; o,wUc"CE
7mfS*aCb
int main (void) 'E.w=7z&
{ f<6lf7qzC
return 0; /<BI46B\
} *n"{J(Jt`
A_UjC`
o<!?7g{
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: (Awm9|.{+
|+"(L#wk
class TestUnion t3^&;&[
{ U`s{Jm
public: 3= ;<$+I6
int data_; R/a*LSe@&
}; (4-CF3D
CTA3*Gn
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! (uidNq
hFBe,'3M
二、类中union的初始化 ]}X
J?$,c4;W2
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: '4<1 1(U
P1f[%1
#pragma warning(disable : 4786) -D~%|).'
#include |vzl. ^"-
K~EmD9
using namespace std; lk80#( :Z
e@YK@?^#N
class TestUnion r,2g^K)6
{ rQ snhv
enum StoreType{Long,Const_CharP}; An/|+r\
union >c}u>]D
{ UR5`ue ;
const char* ch_; ;xn0;V'=
long l_; J4U1t2@)9
} data_; [opGZ`>)j"
StoreType stype_; ;]:@n;c\
TestUnion(TestUnion&); 0Wp|1)ljA
TestUnion& operator=(const TestUnion&); dUdT7ixo
public: 5Jnlz@P9
TestUnion(const char* ch); E&:,oG2M
TestUnion(long l); <ZR9GlIr
operator const char*() const {return data_.ch_;} J<lO=
+mg
operator long() const {return data_.l_;} oe~b}:
}; q-d:TMkc
~flV`wy$$1
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) +[g,B1jt
{ sW8dPw
O
} "tpSg
`5Zz5V
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) [)X\|pO&
{ Z;)%%V%o
} h2J
x]FJ
eh#(eua0/
int main (void) El"Q'(:/U
{ zT-_5uZQ
TestUnion pszobj("yuankai"); ?=pT7M
TestUnion lobj(1234); Yc*;/T}
cout<(pszobj)< cout< K\c#ig
return 0; BTrn0
} ,UE83j8D^
)dd@\n$6
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: %D "I
aC)!T
class TestUnion ^5
Tqy(M
{ 63 B?.
enum StoreType{Long,Const_CharP}; &b& ,
union DataUnion //不能匿名 E8&TO~"a]e
{ Ozf@6\/t
DataUnion(const char*); //声明const char*构造函数 9=2$8JN=(l
DataUnion(long); //声明long构造函数 0_t!T'jr7
const char* ch_; b>JDH1)
long l_; qJUK_6|3
} data_; y:l\$pGC%
StoreType stype_; D.XvG _
TestUnion(TestUnion&); $ L]lHji
TestUnion& operator=(const TestUnion&); ~61v5@
public: ~W]TD@w
TestUnion(const char* ch); P7/X|M z
TestUnion(long l); FaJ &GOM,
operator const char*() const {return data_.ch_;} W
`}Rf\g
operator long() const {return data_.l_;} E-g_".agO
}; k|d+#u[Mj@
jRV/A!4
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) wLr_-vJ
{//注意data_(ch),这里直接引用data_ wq `Bd
} }RqK84K
>[*qf9$
TestUnion::TestUnion(long l):data_(l),stype_(Long) *c+ (-
{//注意data_(l),这里直接引用data_ H$4:lH&(
} h 9W^[6
/&94 eC
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) L*JjG sTH
{ 5`: Yye
} #>+ HlT
Y:a]00&)#Y
TestUnion::DataUnion::DataUnion(long l):l_(l) H7:] ]j1
{ )K
} pyvSwD5t
%84rL?S
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!