前言 GiKhdy
J ~KygQ3%
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 KL*+gq0k
WXG0Z
一、在union中存储对象 +:W? :\
~S$ex,~
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? B5+$VQ
%-BwK
#pragma warning(disable : 4786) vQj{yJ\l1
#include Hz=s)6$ey
using namespace std; }h* j{b,
_#uRKy<`N
class TestUnion `R!2N4|;
{ Cq3Au%7
public: V;Q@'<w
TestUnion(long l):data_(l) 1bHQB$%z
{ KFy|,@NI
}; PZ#aq~>w
int data_; >U?#'e{qW
}; !)}D_9{
@1U6sQ
typedef union _tagUtype_ D
|fo:Xp,
{ Vt-V'`Y
TestUnion obj; eu?P6>urA
}UT; [{#n?BT
P.(z)!]
int main (void) 0DN&HMI#
{ AS0mMHJk
return 0; rB|4
} jo<Gf 5
6/vMK<Fz9
!& >LLZ
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: 'Mhnu2d
/||8j.Tm
class TestUnion = )4bf"~8
{ 8#9OSupp
public: Cv/3-&5S
int data_; Ns#L9T#
}; !3o/c w9
C4t~k
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! EW3--33s
/Xv@g$
二、类中union的初始化 y)TBg8Q
Bo1 t}#7
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: ,dFY]
2vddx<&
#pragma warning(disable : 4786) dj}P|v/;z
#include )Y"t$Iw"
`6LVXDR
using namespace std; 3$BO=hI/-
jS5K:yx<
class TestUnion 7|Iq4@IT
{ J7~Kjl
enum StoreType{Long,Const_CharP}; u'gsIuRJ
union +vPCr&40
{ 75A60Uw
const char* ch_; }:1qK67S
long l_; ;<%d^
} data_; 3M'Y'Szm
StoreType stype_; \lyHQ-gWhc
TestUnion(TestUnion&); g91xUG
TestUnion& operator=(const TestUnion&); w( ic$
public: w;J#+ik
TestUnion(const char* ch); z5sKV7&\[n
TestUnion(long l); &yqk96z
operator const char*() const {return data_.ch_;} A-eCc#I
operator long() const {return data_.l_;} QqcAmp
}; Hl8\*#;C&>
1 -R4A7+3
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) 7]hRAhJ8I
{ maV*+!\
} U]ZI_[\'U
eO{2rV45O
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) jtqU`|FSQ
{ 1J&hm[3[K
} ~c\2'
nQn=zbZ3
int main (void) 9A}y^=!`
{ Xj:\B] v]
TestUnion pszobj("yuankai"); '%a:L^a?
TestUnion lobj(1234); (D\`:1g
cout<(pszobj)< cout< ("=24R=a
return 0; Cio(Ptt:
} t,kai6UM
*O-m:M!eA
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: nrM-\'
'ztY>KV j
class TestUnion yPH5/5;,
{ `|:` yl
enum StoreType{Long,Const_CharP}; ={{q_G\WD
union DataUnion //不能匿名 Tcq@Q$H
{ Cn>t"#zs!~
DataUnion(const char*); //声明const char*构造函数 |]?7r?=J9v
DataUnion(long); //声明long构造函数 xDmwiVy
const char* ch_; )=0@4
long l_; VxU{ZD~<Z"
} data_; ,~NJ}4wP
StoreType stype_; .;&4'ga4
TestUnion(TestUnion&); ,@Elw>^
TestUnion& operator=(const TestUnion&); ;|oem\dKv
public: ,LL=b-Es
TestUnion(const char* ch); _ n4C~
TestUnion(long l); xB}B1H%
operator const char*() const {return data_.ch_;} YH-W{].
operator long() const {return data_.l_;} qc6d,z/
}; \u 6/nvZ]N
6{ pg^K
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) jYW-}2L
{//注意data_(ch),这里直接引用data_ 2JHV*/Q
} !'=<uU-
i"{znKz vD
TestUnion::TestUnion(long l):data_(l),stype_(Long) >}86#^F
{//注意data_(l),这里直接引用data_ j 2e|
} P>7PO~E.
U^OR\=G^
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) )N&95\u
{ ; VQ:\fG
} L0ZAF2O
) =|8%IrB
TestUnion::DataUnion::DataUnion(long l):l_(l) ` )~CT
{ N2C f(
} !Eb!y`jK
ul\FZT 4
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!