前言 =cI(d ,
-n
1v3
熟悉C的程序员都知道union(联合体)的用法,利用union可以用相同的存储空间存储不同型别的数据类型,从而节省内存空间。当访问其内成员时可用"."和"->"来直接访问。在C++出现后,它继承了union并保留了其在C中的特性。但是在C++中的union又有了新的扩展,这需要大家了解,要不然你会感到费解和迷惑。下面我讲两点。 $4LzcwG
{)XTk&"
一、在union中存储对象 79gT+~z
N8jIMb'<
在C中union中可以存储任意类型的内置数据类型,那么在C++中union是否可以存储对象呢?还是让我们看一个例子吧,这比任何言语都能说明问题,不是吗? Cdn J&N{
TjH][bH5
#pragma warning(disable : 4786) Y2AJ+
|
#include [n@]
r2g)3
using namespace std; u`W2+S
SUiOJ[5,
class TestUnion ftb\0,-
{ j#|ZP-=1_
public: vh^VxS
TestUnion(long l):data_(l) q9"96({\@
{ i1UsIT
}; e'~3oqSvR
int data_; Q,g\
}; E GU2fA7x
ytImB`'\
typedef union _tagUtype_ 5m@V#2^P
{ ?<!|
TestUnion obj; oH@78D0A
}UT; Nn6%9PX_)
kiEa<-]
int main (void) w)f#V s
{ :#Wd~~d
return 0; *dQSw)R
} 5pX6t
6nn*]|7
itz,mrP
这样不行,union中不可以存储TestUnion类的对象,但在C中union可以存储struct呀,为什么不能存储类的对象呢?很简单,请问,在C中union可以存储带有构造函数的struct吗?对了,在C中的struct是没有构造函数的。所以如果C++中union可以存储有构造函数的类的对象就不太符合逻辑,那不是说C++和C完全兼容吗?不错,正因为这一点,C++中union不可以存储有构造函数的类的对象,但是可以存储不带构造函数的类的对象,这样就和C保持一致了,不想信你试试。对TestUnion类的声明进行如下修改: MgZ/(X E
3o*YzwRt
class TestUnion /ZX}Nc g
{ 6ujWNf
public: m67V_s,7B
int data_; Yy8g(bU
}; 4W75T2q#
2?C)&
再进行编译,一切OK!。但是这样却失去了C++的构造初始化特性,这样做是没有任何意义的,我只是在说其在C++中的语义,并不是推荐大家使用(绝对不推荐)。但是我们可以在union中存储对象的指针,从而引用不同的对象类型。不用我再多说了吧,大家还是试试吧! wYea\^co
LVyyO3e
二、类中union的初始化 b%+Xy8a
a?1Wq
由于union的共享内存特点,我们可以使我们的类存储不同的型别而不浪费内存空间,在类中我们可以声明一个union存储不同型别的指针,示例如下: KI.unP%
*. t^MP
#pragma warning(disable : 4786) NEs:},)o
#include xT8?&Bx
iZmcI;?u
using namespace std; +A+)=/i;
UKGPtKE<
class TestUnion I%):1\)
{ F|8&
enum StoreType{Long,Const_CharP}; Py<}S-:
union gGYKEq{j(
{ +`4A$#$+y
const char* ch_; T{"(\X$
long l_; 6]N.%Y[(
} data_; kZ~~/?B
StoreType stype_; 9r9NxKuAO
TestUnion(TestUnion&); Z+SRXKQ
TestUnion& operator=(const TestUnion&); /
{%%"j
public: y =@N|f!
TestUnion(const char* ch); ZSw.U:ep$s
TestUnion(long l); 'u658Tj
operator const char*() const {return data_.ch_;} Om&Dw|xG8
operator long() const {return data_.l_;} /Oono6j
}; Ri'n
]~-r}`]
TestUnion::TestUnion(const char* ch):data_.ch_(ch),stype_(Const_CharP) @EAbF>>
{ ZCw]m#lS
} NK+o1
KvSG;
TestUnion::TestUnion(long l):data_.l_(l),stype_(Long) \vNU,WO
{ buC{r,
} %O<BfIZ
x-c"%Z|
int main (void) bt *k.=p
{ -j(6;9"7]|
TestUnion pszobj("yuankai"); A&{Nh` q
TestUnion lobj(1234); -Za/p@gM
cout<(pszobj)< cout< =N@t'fOr
return 0; }]TxlSp!;
} *hrd5na
V&i;\ 9
真是不幸,编译都通不过,好象没有什么问题呀,为什么呢?data_.ch_(ch)和data_.l_(l)有问题吗?如果你问一个C程序员他会告诉你,绝对没问题。你不会去怀疑编译器有问题吧!不好意思!我一开始就是这么想的,真是惭愧。费解,迷惑。让我们来看看构造TestUnion对象时发生了什么,这样你就会明白了。当创建TestUnion对象时,自然要调用其相应的构造函数,在构造函数中当然要调用其成员的构造函数,所以其要去调用union成员的构造函数,但是其为匿名的,有没有构造函数可调用,所以出错。很明显在C++中union和class一样它可以有构造函数,不能如此直接引用其成员。struct同样有这限制。只要我们给其定义一个构造函数什么问题都解决了。示例如下: sLFl!jX
[aS*%Heu
class TestUnion X&zis1A<
{ E`q_bn
enum StoreType{Long,Const_CharP}; #$vEGY}1
union DataUnion //不能匿名 8L XHk l
{ :gT4K-Oj
DataUnion(const char*); //声明const char*构造函数 6~{C.No}
DataUnion(long); //声明long构造函数 zDp 2g)
const char* ch_; a.'*G6~Qgw
long l_; ^.tg 7%dJ
} data_; :N@^?q{b
StoreType stype_; z#N@ 0R
TestUnion(TestUnion&); 3T
9j@N77
TestUnion& operator=(const TestUnion&); !k%#R4*>
public: [lAp62i5
TestUnion(const char* ch); K,]=6Rj
TestUnion(long l); $(
)>g>%
operator const char*() const {return data_.ch_;} Bx!-"e
operator long() const {return data_.l_;} ;4a{$Lw~^9
}; !wNO8;(
67TwPvh
TestUnion::TestUnion(const char* ch):data_(ch),stype_(Const_CharP) Q\)F;: |
{//注意data_(ch),这里直接引用data_ 2:R+tn(F
} hph4 `{T
51u0]Qx;fm
TestUnion::TestUnion(long l):data_(l),stype_(Long) ZuIefMiG~+
{//注意data_(l),这里直接引用data_ uEYtE7
} tgaO!{9I?
u>$t'
TestUnion::DataUnion::DataUnion(const char* ch):ch_(ch) X8|EHb<
{ %SI'BJ
} 4YHY7J
f)!Z~t &
TestUnion::DataUnion::DataUnion(long l):l_(l) Fi1@MG5$2
{ zL it
} P4?glh q#
ddo#P%sH'
现在再编译,如果还不行,你怀疑编译器有问题是有理由的。好了就写这么多吧!希望对大家有帮助,我可是花了一个下午的时间呀!