在Object Pascal中,所有物件都建立在記憶體的堆疊空間上,而非堆疊上,因此建構子不會像C++一樣被編譯器自動呼叫。構造對象和析構對像都是程式設計師的職責。
建構物件首先要為物件分配內存,這個步驟在Object Pascal中是由編譯器支援完成的--即所謂的"編譯器魔法(Compile Magic)",此過程程式設計師不必參與;接著要初始化物件的資料成員,編譯器會負責"清零",但如果有特殊的賦值,可以在建構函式中完成;物件在被析構的時侯需要釋放所申請的資源(非物件本身所佔用記憶體),這些工作是析構函數的職責;物件本身所佔記憶體的回收,同樣由"編譯器魔法"完成。
對象記憶體的分配及回收
編譯器在為物件分配記憶體時,所提供的支援就是在呼叫建構函式之前插入這幾行彙編程式碼:
test dl, dl
jz +$08
add esp, -$10
call @ClassCreate // 注意這行程式碼
以上程式碼的最後一行程式碼呼叫的是system.pas檔案的第8949行的_ClassCreate函數(以Delphi 6為準),該函數會特別為每個物件分配合適的記憶體。記憶體分配完成後是呼叫類別的建構子以初始化資料成員。之後,編譯器會再插入以下幾行組譯程式碼:
test dl, dl
jz +$0f
call @AfterConstruction
pop dWord ptr fs:[$00000000]
add esp, $0c
其中主要工作是呼叫每個物件實例的AfterConstruction,這個呼叫在Delphi中沒有用,它的存在是為C++Builder保留的。
同樣,析構物件時,首先要呼叫類別的析構函數以釋放物件申請的資源。之後是回收物件本身所佔記憶體空間,這件工作是由編譯器在呼叫析構函數後,插入以下的彙編程式碼來完成的:
call @BeforeDestruction
test dl, dl
jle +$05
call @ClassDestroy
這些程式碼所做的工作與建構物件分配記憶體時所做的是對應的,主要是對system.pas中第8997行的_ClassDestroy函數的呼叫。
建構函數與析構函數
定義建構函式使用Constructor關鍵字,依慣例,建構函式名稱為Create(當然也可以用其他名稱,但那絕非優良的設計!)。如:
type
TMyFamily = class // 為你的家庭定義的類
PRivate
FMyFatherName : String; // 你父親的名字
FMyMotherName : String; // 你母親的名字
…… // 你家中的其他成員
Public
Constructor Create(strFatherName, strMotherName : String);
…… // 其它方法
End;
也許你會問,如果我沒有為我的類別提供建構函數,它的物件能否被建立呢?答案是:可以。原因前面已經說了,物件本身所佔記憶體的分配是由編譯器完成的。而且由於Object Pascal中,所有類別(除了TObject類別本身)都是從TObject類別派生,因此編譯器會呼叫TObject.Create()建構函數,只是這個函數是一個空函數,它不會對TMyFamily類別的資料成員(FMyFatherName、FMyMotherName)初始化,它們會被自動清除為空字串(即''),因為TObject.Create()根本就不認識你的父親、母親!
建立物件時則直接呼叫建構函數,形式如下:
MyFamilyObject := TMyFamily.Create('Zhang', 'Li');
定義析構函數使用Destructor關鍵字,依慣例,析構函數名稱為Destroy。如:
type
TMyClass = class
Public
Destructor Destroy(); override;
End;
之所以在析構函數聲明最後加上override聲明,是因為保證在多態的情況下物件能正確被析構(關於多態,將在2.4節中詳述)。如果不加override關鍵字,編譯器會給予類似"Method 'Destroy' hides virtual method of base type 'TObject'"的警告提示。警告的意思是你定義的Destroy隱藏了基底類別的虛擬方法TObject.Destroy(),那樣的話,在多態的情況下就無法正確析構物件了。
注意:析構函數都需要加override宣告。
同樣,如果在你的類別中沒有特殊的資源需要被釋放,那麼你也可以不定義析構函數。只是,在析構物件的時候,應該呼叫物件的Free()方法而不是直接呼叫Destroy()。
MyFamilyObject.Free();
這是因為在Free()方法中會判斷物件本身是否為nil,如果不為nil才呼叫物件的Destroy(),以增加安全性。既然有這樣的更安全的做法,當然沒有理由不這麼做了。
注意:永遠不要直接呼叫物件的Destroy(),而應該是Free()。
由此可以得出結論,在Object Pascal中你只需專注於物件所申請的資源的分配與釋放,而不必關心物件本身所佔空間!