構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)是每個(gè)類最基本的函數(shù)。每個(gè)類只有一個(gè)析構(gòu)函數(shù),但可以有多個(gè)構(gòu)造函數(shù)(包含一個(gè)拷貝構(gòu)造函數(shù),其它的稱為普通構(gòu)造函數(shù))和
多個(gè)賦值函數(shù)(除了同類的賦值以外,還有其他的賦值方法)。對(duì)于任意一個(gè)類A,如果不想編寫(xiě)上述函數(shù),C++編譯器將自動(dòng)為A產(chǎn)生四個(gè)缺省的函數(shù),如
A(void);???????????????????
// 缺省的無(wú)參數(shù)構(gòu)造函數(shù)
A(const A &a);????????????? // 缺省的拷貝構(gòu)造函數(shù)
~A(void);?????????????????? // 缺省的析構(gòu)函數(shù)
A & operate =(const A &a);? // 缺省的賦值函數(shù)
有幾個(gè)需要注意的內(nèi)容:
@ 構(gòu)造函數(shù)與析構(gòu)函數(shù)的另一個(gè)特別之處是沒(méi)有返回值類型
@ 構(gòu)造從類層次的最頂層的基類開(kāi)始,在每一層中,首先調(diào)用基類的構(gòu)造函數(shù),然后調(diào)用成員對(duì)象的構(gòu)造函數(shù)。析構(gòu)則嚴(yán)格按照與構(gòu)造相反的次序執(zhí)行,在析構(gòu)的時(shí)候,最低層的派生類的析構(gòu)函數(shù)最開(kāi)始被調(diào)用,然后調(diào)用每個(gè)基類的析構(gòu)函數(shù)。
@ “缺省的拷貝構(gòu)造函數(shù)”和“缺省的賦值函數(shù)”均采用“位拷貝”而非“值拷貝”的方式來(lái)實(shí)現(xiàn),倘若類中含有指針變量,這兩個(gè)函數(shù)注定將出錯(cuò)
下面通過(guò)例子進(jìn)一步說(shuō)明,
1.構(gòu)造函數(shù)的初始化表
設(shè)存在兩個(gè)類:
class?A
{
????…
????A(void);????????????????//?無(wú)參數(shù)構(gòu)造函數(shù)
????A(const?A?&other);??????//?拷貝構(gòu)造函數(shù)
????A?&?operate?=(?const?A?&other);??//?賦值函數(shù)
????virtual?~A(void);????????//析構(gòu)函數(shù)
};
class?B
{
public:
????B(const?A?&a);????//?B的構(gòu)造函數(shù)
private:???
????A??m_a;????????????//?成員對(duì)象
};
下面面是B的構(gòu)造函數(shù)的2個(gè)實(shí)現(xiàn),其中第一個(gè)的類B的構(gòu)造函數(shù)在其初始化表里調(diào)用了類A的拷貝構(gòu)造函數(shù),從而將成員對(duì)象m_a初始化;而第二個(gè)的B的構(gòu)造
函數(shù)在函數(shù)體內(nèi)用賦值的方式將成員對(duì)象m_a初始化。我們看到的只是一條賦值語(yǔ)句,但實(shí)際上B的構(gòu)造函數(shù)干了兩件事:先暗地里創(chuàng)建m_a對(duì)象(調(diào)用了A的
無(wú)參數(shù)構(gòu)造函數(shù)),再調(diào)用類A的賦值函數(shù),將參數(shù)a賦給m_a。
B::B(const?A?&a)
?:?m_a(a)
{
???…
}
B::B(const?A?&a)
{
????m_a?=?a;
????…
}
2.拷貝函數(shù)和構(gòu)造函數(shù)的區(qū)別
拷貝構(gòu)造函數(shù)是在對(duì)象被創(chuàng)建時(shí)調(diào)用的,而賦值函數(shù)只能被已經(jīng)存在了的對(duì)象調(diào)用。
String? a(“hello”);
String? b(“world”);
String? c = a;? // 調(diào)用了拷貝構(gòu)造函數(shù),最好寫(xiě)成 c(a);
c = b; ?? ??? ??? ?// 調(diào)用了賦值函數(shù)
本例中第三個(gè)語(yǔ)句的風(fēng)格較差,宜改寫(xiě)成String c(a) 以區(qū)別于第四個(gè)語(yǔ)句。
如果我們實(shí)在不想編寫(xiě)拷貝構(gòu)造函數(shù)和賦值函數(shù),又不允許別人使用編譯器生成的缺省函數(shù),可以將拷貝構(gòu)造函數(shù)和賦值函數(shù)聲明為私有函數(shù),不用編寫(xiě)代碼。
3.析構(gòu)函數(shù)與虛析構(gòu)函數(shù)
基類的構(gòu)造函數(shù)、析構(gòu)函數(shù)、賦值函數(shù)都不能被派生類繼承。如果類之間存在繼承關(guān)系,在編寫(xiě)上述基本函數(shù)時(shí)應(yīng)注意以下事項(xiàng):
@ 派生類的構(gòu)造函數(shù)應(yīng)在其初始化表里調(diào)用基類的構(gòu)造函數(shù)
@ 基類與派生類的析構(gòu)函數(shù)應(yīng)該為虛(即加virtual關(guān)鍵字)
#include?<iostream>
class?Base
{
public:
????virtual?~Base()?{?cout<<?"~Base"?<<?endl?;?}
};
class?Derived?:?public?Base
{
public:
????virtual?~Derived()?{?cout<<?"~Derived"?<<?endl?;?}
};
void?main(void)
{
????Base?*?pB?=?new?Derived;??//?upcast
???delete?pB;
}
輸出結(jié)果為:
?????? ~Derived
?????? ~Base
如果析構(gòu)函數(shù)不為虛,那么輸出結(jié)果為
?????? ~Base
進(jìn)一步參考:
C++/CLI思辨錄之拷貝構(gòu)造函數(shù)C++類對(duì)象的復(fù)制-拷貝構(gòu)造函數(shù)類的構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)