前言 ,3eN&
c+7I
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 WBJn1
-^t.eZ*|
一、在union中存储对象 y!:vX6l
ZAeJTCCk
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? _*[vKS A&
1:M'|uc
#pragma warning(disable : 4786) :SO4@JT{W
#include (E 8jkc
using namespace std; &U=_:]/
Er8F_,M+
class TestUnion uh#E^~5S
{ zL50|U0H
public: r4gLoHD)
TestUnion(long l):data_(l) BT;1"l<
{ yLnTIE 3)
}; UUtSme
int data_; 1cMdoQ
}; KyDd( 'i
[I'q"yRu]i
typedef union _tagUtype_ SX =^C
{ ?}W#j
TestUnion obj; -;HZ!Lf
}UT; C R't
+]yVSns
3
int main (void) 'Cz]p~oF
{ eYjF"Aq
return 0; "]'W^Fg
} x
0vW9*&
i!JSEQ_8
'&gUAt
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: p&`I#6{
/Jc^XWf
class TestUnion B=X_c5
{ V1G5Kph
public: "
;8kKR
int data_; )liNjY@
}; 9n\v{k=
Sn.I{~
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! UN^M.lqZX
_x`:Ne?
二、类中union的初始化 -%[6q
K&=6DvfR
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ]^a{?2ei
KO}TCa
#pragma warning(disable : 4786) -W})<{End
#include #a8i($k{e
1OqVNp%K
using namespace std; f_hG2Sk
$m+Pl[s
class TestUnion *_Pkb.3R
{ jlUT9Zp
enum StoreType{Long,Const_CharP}; s <$*A;t
union w#bdb;
{ cyL|.2,
const char* ch_; oK"#*n
long l_; Z yz)`>cB
} data_; ?4Zo0DiUB
StoreType stype_; #X5Tt ;
TestUnion(TestUnion&); N$ 2Iz
TestUnion& operator=(const TestUnion&); vDc&m
public: ry* 9
TestUnion(const char* ch); q'biTn]2
TestUnion(long l); 1gYvp9Ma
operator const char*() const {return data_.ch_;} :ZM=P3QZ
operator long() const {return data_.l_;} @Hp=xC9V
}; #so"p<7 R
J+hifO
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) z KG]7
{ gvP.\,U
} PC!X<C8*
U/rFH9e$
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) |B),N f|a
{ '1\UFz
} f{]W*!VV-
GMob&0l8_
int main (void) )f%Q7
{ l~*d0E-$
TestUnion pszobj("yuankai"); Y3'dV)
TestUnion lobj(1234); oYeFOw`
cout<(pszobj)< cout< lJ4/bL2I/
return 0; lstnxi%x
} >LEp EMJ\
S?~/
V ]
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: l W
Lj==
v(jZ[{x@
class TestUnion @Z9>E+udQ
{ }iB>3|\
enum StoreType{Long,Const_CharP}; Z2k5qs7g
union DataUnion //不能匿名 `
B+Pl6l)F
{ Pj*"2
LBW#
DataUnion(const char*); //声明const char*构造函数 -9"[/
DataUnion(long); //声明long构造函数 (i^<er q
const char* ch_; k,[[
CZ0j
long l_; FWyfFCK
} data_; #~qY%X
StoreType stype_; 9z?B@;lMc
TestUnion(TestUnion&); FzFP 0
TestUnion& operator=(const TestUnion&); bLz('mUY
public: X.ZY1vO
TestUnion(const char* ch); ~NO'8Mr
TestUnion(long l); 8PW3x-+
operator const char*() const {return data_.ch_;} sH)40QmO{
operator long() const {return data_.l_;} ]LSlo593
}; 0 9*?'^s4
TJ(vq] |&
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Hb9r.;r<EW
{//注意data_(ch),这里直接引用data_ 'jU ;.vZex
} v;R+{K87
0 aiE0b9c
TestUnion::TestUnion(long l):data_(l),stype_(Long) T7XbbU
{//注意data_(l),这里直接引用data_ D4QLlP
} ZL- ` 3x
uy=E92n3
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) 1Q??R}
{ +0n,>eDjg^
} d7L|yeb"
;8<lgZ9H<
TestUnion::DataUnion::DataUnion(long l):l_(l) xo(3<1mD
{ p/&s-GF
} 5%XEybc2
]4-t*Em
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!