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

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

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

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

在C++中，構(gòu)造函數(shù)拋出異常后，析構(gòu)函數(shù)不會(huì)被調(diào)用。這種做法是合理的，因?yàn)榇藭r(shí)對(duì)象并沒有被完整構(gòu)造。

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

在Object Pascal中，這個(gè)問題變得非常的簡單，程序員不必為此大費(fèi)周折。如果Object Pascal的類在構(gòu)造函數(shù)中拋出異常，編譯器會(huì)自動(dòng)調(diào)用類的析構(gòu)函數(shù)（由于析構(gòu)函數(shù)不允許被重載，可以保證只有唯一一個(gè)析構(gòu)函數(shù)，因此編譯器不會(huì)迷惑于多個(gè)析構(gòu)函數(shù)之中）。析構(gòu)函數(shù)中一般會(huì)析構(gòu)成員對(duì)象，而Free()方法保證了不會(huì)對(duì)nil對(duì)象（即尚未被創(chuàng)建的成員對(duì)象）調(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); // 暫停屏幕，以便觀察運(yùn)行結(jié)果

end.

 

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

Free Resource

Failed

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

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