構造函數、析構函數與賦值函數是每個類最基本的函數。每個類只有一個析構函數，但可以有多個構造函數（包含一個拷貝構造函數，其它的稱為普通構造函數）和多個賦值函數（除了同類的賦值以外，還有其他的賦值方法）。對于任意一個類A，如果不想編寫上述函數，C++編譯器將自動為A產生四個缺省的函數，如
A(void);??????????????????? // 缺省的無參數構造函數
A(const A &a);????????????? // 缺省的拷貝構造函數
~A(void);?????????????????? // 缺省的析構函數
A & operate =(const A &a);? // 缺省的賦值函數
有幾個需要注意的內容：
@ 構造函數與析構函數的另一個特別之處是沒有返回值類型
@ 構造從類層次的最頂層的基類開始，在每一層中，首先調用基類的構造函數，然后調用成員對象的構造函數。析構則嚴格按照與構造相反的次序執行，在析構的時候，最低層的派生類的析構函數最開始被調用，然后調用每個基類的析構函數。
@ “缺省的拷貝構造函數”和“缺省的賦值函數”均采用“位拷貝”而非“值拷貝”的方式來實現，倘若類中含有指針變量，這兩個函數注定將出錯
下面通過例子進一步說明，
1.構造函數的初始化表
設存在兩個類：
class
?A
{
????…
????A(
void
);????????????????
//
?無參數構造函數
????A(
const
?A?
&
other);??????
//
?拷貝構造函數
????A?
&
?operate?
=
(?
const
?A?
&
other);??
//
?賦值函數
????
virtual
?
~
A(
void
);????????
//
析構函數
}；
class
?B
{
public
:
????B(
const
?A?
&
a);????
//
?B的構造函數
private
:???
????A??m_a;????????????
//
?成員對象
};
下面面是B的構造函數的2個實現，其中第一個的類B的構造函數在其初始化表里調用了類A的拷貝構造函數，從而將成員對象m_a初始化；而第二個的B的構造函數在函數體內用賦值的方式將成員對象m_a初始化。我們看到的只是一條賦值語句，但實際上B的構造函數干了兩件事：先暗地里創建m_a對象（調用了A的無參數構造函數），再調用類A的賦值函數，將參數a賦給m_a。
B::B(
const
?A?
&
a)
?:?m_a(a)
{
???…
}
B::B(
const
?A?
&
a)
{
????m_a?
=
?a;
????…
}
2.拷貝函數和構造函數的區別
拷貝構造函數是在對象被創建時調用的，而賦值函數只能被已經存在了的對象調用。
String? a(“hello”);
String? b(“world”);
String? c = a;? // 調用了拷貝構造函數，最好寫成 c(a);
c = b; ?? ??? ??? ?// 調用了賦值函數
本例中第三個語句的風格較差，宜改寫成String c(a) 以區別于第四個語句。
如果我們實在不想編寫拷貝構造函數和賦值函數，又不允許別人使用編譯器生成的缺省函數，可以將拷貝構造函數和賦值函數聲明為私有函數，不用編寫代碼。
3.析構函數與虛析構函數
基類的構造函數、析構函數、賦值函數都不能被派生類繼承。如果類之間存在繼承關系，在編寫上述基本函數時應注意以下事項：
@ 派生類的構造函數應在其初始化表里調用基類的構造函數
@ 基類與派生類的析構函數應該為虛（即加virtual關鍵字）
#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;
}
輸出結果為：
?????? ~Derived
?????? ~Base
如果析構函數不為虛，那么輸出結果為
?????? ~Base
posted on 2006-07-28 00:50
Jerry Cat 閱讀(210)
評論(0) 編輯 收藏 引用