在Object Pascal中,所有對(duì)象都被建立在內(nèi)存的堆空間上,而非棧上,因此構(gòu)造函數(shù)不會(huì)如同C++那樣被編譯器自動(dòng)調(diào)用。構(gòu)造對(duì)象和析構(gòu)對(duì)象都是程序員的職責(zé)。
構(gòu)造對(duì)象首先要為對(duì)象分配內(nèi)存,這個(gè)步驟在Object Pascal中是由編譯器支持完成的--即所謂的"編譯器魔法(Compile Magic)",此過程程序員不必參與;接著要初始化對(duì)象的數(shù)據(jù)成員,編譯器會(huì)負(fù)責(zé)"清零",但如果有特殊的賦值,可以在構(gòu)造函數(shù)中完成;對(duì)象在被析構(gòu)的時(shí)侯需要釋放所申請(qǐng)的資源(非對(duì)象本身所占用內(nèi)存),這些工作是析構(gòu)函數(shù)的職責(zé);對(duì)象本身所占內(nèi)存的回收,同樣由"編譯器魔法"完成。
對(duì)象內(nèi)存的分配及回收
編譯器在為對(duì)象分配內(nèi)存時(shí),所提供的支持就是在調(diào)用構(gòu)造函數(shù)之前插入這幾行匯編代碼:
test dl, dl
jz +$08
add esp, -$10
call @ClassCreate // 注意這行代碼
以上代碼的最后一行代碼調(diào)用的是system.pas文件的第8949行的_ClassCreate函數(shù)(以Delphi 6為準(zhǔn)),該函數(shù)具體為每個(gè)對(duì)象分配合適的內(nèi)存。內(nèi)存分配完成后是調(diào)用類的構(gòu)造函數(shù)以初始化數(shù)據(jù)成員。之后,編譯器會(huì)再插入以下幾行匯編代碼:
test dl, dl
jz +$0f
call @AfterConstruction
pop dWord ptr fs:[$00000000]
add esp, $0c
其中主要工作是調(diào)用每個(gè)對(duì)象實(shí)例的AfterConstruction,這個(gè)調(diào)用在Delphi中沒有用,它的存在是為C++Builder所保留的。
同樣,析構(gòu)對(duì)象時(shí),首先要調(diào)用類的析構(gòu)函數(shù)以釋放對(duì)象申請(qǐng)的資源。之后是回收對(duì)象本身所占內(nèi)存空間,這件工作是由編譯器在調(diào)用析構(gòu)函數(shù)后,插入以下的匯編代碼來完成的:
call @BeforeDestruction
test dl, dl
jle +$05
call @ClassDestroy
這些代碼所做的工作與構(gòu)造對(duì)象分配內(nèi)存時(shí)所做的是對(duì)應(yīng)的,主要是對(duì)system.pas中第8997行的_ClassDestroy函數(shù)的調(diào)用。
構(gòu)造函數(shù)與析構(gòu)函數(shù)
定義構(gòu)造函數(shù)使用Constructor關(guān)鍵字,按慣例,構(gòu)造函數(shù)名稱為Create(當(dāng)然也可以用其他名稱,但那絕非優(yōu)良的設(shè)計(jì)!)。如:
type
TMyFamily = class // 為你的家庭定義的類
PRivate
FMyFatherName : String; // 你父親的名字
FMyMotherName : String; // 你母親的名字
…… // 你家庭中的其他成員
Public
Constructor Create(strFatherName, strMotherName : String);
…… // 其它方法
End;
也許你會(huì)問,如果我沒有為我的類提供構(gòu)造函數(shù),它的對(duì)象能否被建立呢?答案是:可以。原因前面已經(jīng)說了,對(duì)象本身所占內(nèi)存的分配是由編譯器完成的。而且由于Object Pascal中,所有類(除了TObject類本身)都是從TObject類派生,因此編譯器會(huì)調(diào)用TObject.Create()構(gòu)造函數(shù),只是這個(gè)函數(shù)是一個(gè)空函數(shù),它并不會(huì)對(duì)TMyFamily類的數(shù)據(jù)成員(FMyFatherName、FMyMotherName)初始化,它們會(huì)被自動(dòng)清為空字符串(即''),因?yàn)門Object.Create()根本就不認(rèn)識(shí)你的父、母親!
創(chuàng)建對(duì)象時(shí)則直接調(diào)用構(gòu)造函數(shù),形式如下:
MyFamilyObject := TMyFamily.Create('Zhang', 'Li');
定義析構(gòu)函數(shù)使用Destructor關(guān)鍵字,按慣例,析構(gòu)函數(shù)名稱為Destroy。如:
type
TMyClass = class
Public
Destructor Destroy(); override;
End;
之所以在析構(gòu)函數(shù)聲明最后加上override聲明,是因?yàn)楸WC在多態(tài)的情況下對(duì)象能正確被析構(gòu)(關(guān)于多態(tài),將在2.4節(jié)中詳述)。如果不加override關(guān)鍵字,編譯器會(huì)給出類似"Method 'Destroy' hides virtual method of base type 'TObject'"的警告提示。警告的意思是你定義的Destroy隱藏了基類的虛方法TObject.Destroy(),那樣的話,在多態(tài)的情況下就無法正確析構(gòu)對(duì)象了。
注意:析構(gòu)函數(shù)都需要加override聲明。
同樣,如果在你的類中沒有特殊的資源需要被釋放,那么你也可以不定義析構(gòu)函數(shù)。只是,在析構(gòu)對(duì)象的時(shí)候,應(yīng)該調(diào)用對(duì)象的Free()方法而不是直接調(diào)用Destroy()。
MyFamilyObject.Free();
這是因?yàn)樵贔ree()方法中會(huì)判斷對(duì)象本身是否為nil,如果不為nil才調(diào)用對(duì)象的Destroy(),以增加安全性。既然有這樣的更安全的做法,當(dāng)然沒有理由不這么做了。
注意:永遠(yuǎn)不要直接調(diào)用對(duì)象的Destroy(),而應(yīng)該是Free()。
由此可以得出結(jié)論,在Object Pascal中你只需關(guān)注對(duì)象所申請(qǐng)的資源的分配與釋放,而不必關(guān)心對(duì)象本身所占空間!
新聞熱點(diǎn)
疑難解答
圖片精選
網(wǎng)友關(guān)注