前言 ]@v}y&
wfgqgPo!v
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 <W>++< -
qG<7hr@x]
一、在union中存储对象 Hd9XfU
lDN"atSf
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? !p9)CjQ "
:Sr?6FPc
#pragma warning(disable : 4786) .it#`Yz;
#include Nln`fE/Ht
using namespace std; X) V7bVW
.XXW |{
class TestUnion 57wFf-P
{ C{EAmv'
public: $ a?
TestUnion(long l):data_(l) !b8uLjd;
{ {(
#zcK
}; x2co>.i
int data_; E@-ta):
}; nVE9^')8V
*U;'OWE[
typedef union _tagUtype_ +TK3{5`!Ae
{ 8)N@qUV
TestUnion obj; "w Af.=F
}UT; mpgO s
@@@=}!<H=
int main (void) <Mx0\b!
{ (a@?s$LG
return 0; !v|FT.
T`
} LCs__.
]PWDE"
`0ZZ/]
!L
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: <[Q3rJ
\P;rES'
class TestUnion '$G"[ljr
{ *4S-z&,.c
public: %dMqpY7"
int data_; ?WUF!Jk
}; ]0c+/ \b&
MZV_5i@:
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! jCioE
R\mR $\cS
二、类中union的初始化 ;{#^MD MB
slu(SmQ
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: !}f1`/
\25/$Ae}c
#pragma warning(disable : 4786) %zBCq"y
#include 5O<>mCF
0Yl4eB-
using namespace std; JIm4vS
#3$\Iu
class TestUnion i;z{zVR
{ ]:(W_qEA
enum StoreType{Long,Const_CharP}; \f:z+F!6R
union R=Zn -q
{ %FZ2xyI.
const char* ch_; ^qGb%! l
long l_; ,Lpixnm]
} data_; t5B7I59
StoreType stype_; dS2G}L^L
TestUnion(TestUnion&); }t9.N`xu
TestUnion& operator=(const TestUnion&); ;U9J++\d<A
public: q h/F
TestUnion(const char* ch); {-3L IO
TestUnion(long l); \u,}vppz
operator const char*() const {return data_.ch_;} x5}'7,A
operator long() const {return data_.l_;} :bu>],d-8'
};
hc#!Lv
&H}r%%|A
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) d^03"t0O]
{ Fm\"{)V:b
} %nN `|\
(*}yjUYLZ
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) vo>d!rVCV
{ ~Q{QM: k
} GSclK|#tE
<8,o50`B
int main (void) @NhvnfZ
{ >~%e$a7}+
TestUnion pszobj("yuankai"); 'c2W}$q
TestUnion lobj(1234); T|J9cgtS
cout<(pszobj)< cout< _Zk{!
return 0; j',W 64
} P-F)%T[
XO#/Fv!
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: fjvN$NgVs
ojYbR<jn9
class TestUnion Z^ }mp@j>
{ QaUm1i#
enum StoreType{Long,Const_CharP}; *I}`dC[
union DataUnion //不能匿名 mc=LP>uoS
{ _zlqtO
DataUnion(const char*); //声明const char*构造函数 ]7-&V-Ct*
DataUnion(long); //声明long构造函数 "$s~SIUB
const char* ch_; " \I4u{zC
long l_; (c0A.L)
} data_; z/i+EE
StoreType stype_; 2,ECYie^
TestUnion(TestUnion&); d%l{V6
TestUnion& operator=(const TestUnion&); ),%6V5a+E
public: s4&^D<
TestUnion(const char* ch); vJAZ%aW
TestUnion(long l); $w"$r$K9K
operator const char*() const {return data_.ch_;} +P.+_7+:
operator long() const {return data_.l_;} ss;R8:5
}; .<kqJ|SVi
'SQG>F Uy
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) ECv)v
{//注意data_(ch),这里直接引用data_ j*~T1i
} 9UvXC)R1
xf|mlHS+
TestUnion::TestUnion(long l):data_(l),stype_(Long) %Uz(Vd#K
{//注意data_(l),这里直接引用data_ zYl#4O`=c
} i2~
CI3XzH\IX*
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) ^>"z@$|\:
{ 5`f@> r?
} Y@PI {;!
JxyB(
TestUnion::DataUnion::DataUnion(long l):l_(l) mKYeD%Pm*
{ KK@.~'d
} O%r; 5kP
m&|`x
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!