關于對象內存的分配及回收

不知道有人對dl這個寄存器放在這里有什么想法沒有，沒有的話就想想，想好了，您就好了。實際上在下面的代碼（一）之前，有這樣一行代碼 MOV dl， 1，那么這樣說，為什么要這樣，原因，不是很簡單的簡單，代碼重復利用。關于此處dl寄存器的使用，Delphi的幫助中有一段介紹，耐心點，自己去找，找到了，您就是高手了。這就是學習，不，學漁，而不是要魚。borland是這樣說的，“我用dl寄存器來存放一個旗標，如果這個值為1，那么我就創建對象，否則，我不會創建對象。”如果您有點朦朧，那就反復想想。如果還沒有睜開眼，那么，就看看后面這一段代碼（二），別說您沒有找到，咳，怎么回事兒，我老是再說廢話，保證不說了。

｛代碼（一）

test dl, dl
jz +$08
add esp, -$10
call @ClassCreate ｝

｛／／／代碼（二）

PRocedure Tapplication.CreateForm(InstanceClass: TComponentClass; var Reference);
var
  Instance: TComponent;
begin
／／／／／／／  Instance := TComponent(InstanceClass.NewInstance);
  TComponent(Reference) := Instance;
  try
／／／／／／／   Instance.Create(Self);
  except
    TComponent(Reference) := nil;
    raise;
  end;
  if (FMainForm = nil) and (Instance is TForm) then
  begin
    TForm(Instance).HandleNeeded;
    FMainForm := TForm(Instance);
  end;
end;
｝

這樣的話，就是說，Delphi調用代碼（一），是在第一次調用創建類的實例的時候，然后，如果，誰還需要調用Create方法，我就，不，是編譯器就這樣MOV dl, 0，這樣代碼（一）的判斷0跳轉指令就會到該去的地方了，（怎么又來廢話了，最后一次，我保證。）實際上，這里的Create方法只是一個普通的方法，而且，您應該還注意到，第一個調用Create方法或者NewInstance方法，都是類在發出這個消息，（注意這個消息不是Windows消息，此消息非彼消息，哈哈，又來了廢話，真的最后一次了，是真的。如果不理解這里的消息的話，請認真學寫面向對象和建模的知識。）而后面調用Create方法卻是建立起來的對象，Instance.Create(Self);好好想想，當然dl寄存器的值就變了。

好了，沒有什么時間了，最后補充一點，關于旗標（臺灣的翻譯方法，我認為這個詞不錯，建議您也使用它，省得以后我多費口舌）和這個dl寄存器的使用說明，應該說不會有什么變化了，仔細想想，Delphi從1到6大方向上就沒有變過，順便也證明了Delphi的HB設計師是個人物啊，當然，我是沒法比了。哈哈，又來了，好，我還是不說了。哦，最后，說一句，TObject.Create方法決不是一個空方法，記住，然后，去想。

好了，別的東西，麻煩您親自去看，那樣的話，您才有很多很多的收獲。

“快滾，我要去看，去想，不要你的廢話！”有人在笑?。海?/P>

bye

編譯器在為對象分配內存時，所提供的支持就是在調用構造函數之前插入這幾行匯編代碼：

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中你只需關注對象所申請的資源的分配與釋放，而不必關心對象本身所占空間！