這個話題在C++社區(qū)中經(jīng)常會被提起，而在Delphi社區(qū)中似乎從來沒有人注意過。也許由于語言的特性，使得Delphi程序員不必關(guān)心這個問題。但我想Delphi程序員也應(yīng)該對該問題有所了解，知道語言為我們提供了什么而使得我們?nèi)绱溯p松，不必理會它。正所謂“身在福中須知?！?。

我們知道，類的構(gòu)造函數(shù)是沒有返回值的，如果構(gòu)造函數(shù)構(gòu)造對象失敗，不可能依靠返回錯誤代碼。那么，在程序中如何標識構(gòu)造函數(shù)的失敗呢？最“標準”的方法就是：拋出一個異常。

構(gòu)造函數(shù)失敗，意味著對象的構(gòu)造失敗，那么拋出異常之后，這個“半死不活”的對象會被如何處理呢？

在此，我想讀著有必要先對C++對這種情況的處理方式先有個了解。

在C++中，構(gòu)造函數(shù)拋出異常后，析構(gòu)函數(shù)不會被調(diào)用。這種做法是合理的，因為此時對象并沒有被完整構(gòu)造。

如果構(gòu)造函數(shù)已經(jīng)做了一些諸如分配內(nèi)存、打開文件等操作的話，那么C++類需要有自己的成員來記住做過哪些動作。當然，這樣做對于類的實現(xiàn)者來說非常麻煩，因此一般C++類的實現(xiàn)者都避免在構(gòu)造函數(shù)中拋出異常（可以提供一個諸如Init和UnInit的成員函數(shù)，由構(gòu)造函數(shù)或類的客戶去調(diào)用它們，以處理初始化失敗的情況）。而每一本C++的經(jīng)典著作所提供的方案是使用智能指針（STL的標準類auto_ptr）。

在Object Pascal中，這個問題變得非常的簡單，程序員不必為此大費周折。如果Object Pascal的類在構(gòu)造函數(shù)中拋出異常，編譯器會自動調(diào)用類的析構(gòu)函數(shù)（由于析構(gòu)函數(shù)不允許被重載，可以保證只有唯一一個析構(gòu)函數(shù)，因此編譯器不會迷惑于多個析構(gòu)函數(shù)之中）。析構(gòu)函數(shù)中一般會析構(gòu)成員對象，而Free()方法保證了不會對nil對象（即尚未被創(chuàng)建的成員對象）調(diào)用析構(gòu)函數(shù)，因此在使得代碼簡潔優(yōu)美的前提下，又保證了安全。

type MyClass = class

PRivate

FStr : PChar; // 字符串指針

public

constructor Create();

destructor Destroy(); override;

end;

 

constructor MyClass.Create();

begin

FStr := StrAlloc(10); // 構(gòu)造函數(shù)中為字符串指針分配內(nèi)存

StrCopy(FStr, 'ABCDEFGHI');

raise Exception.Create('error'); // 拋出異常，沒有理由，呵呵

end;

 

destructor A.Destroy();

begin

StrDispose(FStr); // 析構(gòu)函數(shù)中釋放內(nèi)存

WriteLn('Free Resource');

end;

 

var

Obj : TMyClass;

i : integer;

begin

try

Obj := TMyClass.Create();

Obj.Free();

WriteLn('Succeeded');

except

Obj := nil;

WriteLn('Failed');

end;

 

Read(i); // 暫停屏幕，以便觀察運行結(jié)果

end.

 

在這段代碼中，構(gòu)造函數(shù)拋出異常，執(zhí)行的結(jié)果是：

Free Resource

Failed

此時的“Free Resource”輸出是由編譯器自動調(diào)用析構(gòu)函數(shù)所產(chǎn)生的。

因此，如果類的說明文檔或類的作者告知你，類的構(gòu)造函數(shù)可能會拋出異常，那就要記得用try…except包住它！