前言 T;I a;<mfE
0Tq6\:
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 S]k<Ixvf
42Z2Mjtk
一、在union中存储对象 J.~$^-&!
N8:vn0ww
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? Cfa?LgSz
U#YM)8;Iz
#pragma warning(disable : 4786) ni9/7
#include U*)pUJ{&t
using namespace std; N'TL &]
2LXy$[)7
class TestUnion Zsaz#z|xW
{ VNF@)!l
public: uZi]$/ic
TestUnion(long l):data_(l) 75gE>:f
{ Dk/;`sXV
}; 7v#sr<
int data_; BsRxD9r
}; 'r3I/qg*m
zxXm9zrLo
typedef union _tagUtype_ "`16-g97
{ ]>&au8
TestUnion obj; Rs7=v2>I
}UT; GBN^ *I
~fEgrF d
int main (void) c}lUP(Ss
{ F?TAyD*
return 0; W,}C*8{+
} wQDKv'zU1
1)H+iN|im/
{i3]3V"Xp
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: `5Q0U%`W
{Dqf.w>t
class TestUnion UZ v^3_,qz
{ IrJCZsk
public: M~=9ym
int data_; :4/RB%)"
}; 1%t9ic
d XrLeoK
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! "\Z.YZUa\
+wr2TT~
二、类中union的初始化 ;i> |5tEy
*JUP~/Nr
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: u05Zg*.[
?(4=:o
#pragma warning(disable : 4786) Js ~_8
#include qf7lQovK
wm!Y5
using namespace std; BH0].-)[y!
>`SIB; &>j
class TestUnion "I}3*s9Q-
{ 44b;]htv
enum StoreType{Long,Const_CharP}; Z-.`JkKd8
union rOEk%kJ
{ 8 YsDE_
const char* ch_; .e~17}Ka}
long l_; `~F=
} data_; ]:8:|*w
StoreType stype_; *v_+a:
TestUnion(TestUnion&); cE$7CSR
TestUnion& operator=(const TestUnion&); 0ERA(=w5
public: QGs\af
TestUnion(const char* ch); ~sx?aiO
TestUnion(long l); 3[amCKel
operator const char*() const {return data_.ch_;} Z`Rrv$M!
operator long() const {return data_.l_;} Nyip]VwMJ
}; [}} ?a
y}Oc^Fc
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) :>c33X}
{ {}y"JbXMj
} >$j?2,Za(V
.Ce30VE-
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) HM/2/
/
{ DKp+ nq$
} >hQeu1 ~W
j|c
int main (void) ;*Ldnj;B
{ ]nY,%XE
TestUnion pszobj("yuankai"); Qo+I98LX[
TestUnion lobj(1234); KLrxlD4\
cout<(pszobj)< cout<
^"STM'Zh
return 0; =W$
f+
} f.-b.nNf
_8P0iC8Zg#
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: aEM2xrhy,
P>j^w#$n
class TestUnion F[RQ6PW
{ ^}fc]ovV
enum StoreType{Long,Const_CharP}; CB]#`|f
union DataUnion //不能匿名 Q}C)az
{ :c)N"EJlI2
DataUnion(const char*); //声明const char*构造函数 Fuq ;4UcbL
DataUnion(long); //声明long构造函数 dj>zy
const char* ch_; ?S9? ?y/
long l_; uxLT*,
} data_; #eadkj#;
StoreType stype_; xkV(E!O
TestUnion(TestUnion&); ~-ZquJ-
TestUnion& operator=(const TestUnion&); ^YiGvZJ
public: z3x/Y/X$S
TestUnion(const char* ch); !tJQ75Hwv
TestUnion(long l); '_oWpzpe
operator const char*() const {return data_.ch_;} %? -E)n[
operator long() const {return data_.l_;} 0h=NbLr|S-
}; 0}H7Xdkp
c&me=WD
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) d5jZ?
{//注意data_(ch),这里直接引用data_ *oZ]k`-!8
} (dmLEt
?gD^K,A Hd
TestUnion::TestUnion(long l):data_(l),stype_(Long) 3Z/_}5%"
{//注意data_(l),这里直接引用data_ Pfi|RTX$'*
} `Y]t*`
e|
$FXlH;_7
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) W>W b|W
{ HueGARS
} )}w2'(!X8
PgHe;^?j
TestUnion::DataUnion::DataUnion(long l):l_(l) o?5m^S14[1
{ W'lejOiw
} ~j3O0s<gK
_[F (8Qx"
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!