《delphi高手突破》节选二

这个话题在C++社区中经常会被提起，而在Delphi社区中似乎从来没有人注意过。也许由于语言的特性，使得Delphi程序员不必关心这个问题。但我想Delphi程序员也应该对该问题有所了解，知道语言为我们提供了什么而使得我们如此轻松，不必理会它。正所谓“身在福中须知福”。

我们知道，类的构造函数是没有返回值的，如果构造函数构造对象失败，不可能依靠返回错误代码。那么，在程序中如何标识构造函数的失败呢？最“标准”的方法就是：抛出一个异常。

构造函数失败，意味着对象的构造失败，那么抛出异常之后，这个“半死不活”的对象会被如何处理呢？

在此，我想读着有必要先对C++对这种情况的处理方式先有个了解。

在C++中，构造函数抛出异常后，析构函数不会被调用。这种做法是合理的，因为此时对象并没有被完整构造。

如果构造函数已经做了一些诸如分配内存、打开文件等操作的话，那么C++类需要有自己的成员来记住做过哪些动作。当然，这样做对于类的实现者来说非常麻烦，因此一般C++类的实现者都避免在构造函数中抛出异常（可以提供一个诸如Init和UnInit的成员函数，由构造函数或类的客户去调用它们，以处理初始化失败的情况）。而每一本C++的经典著作所提供的方案是使用智能指针（STL的标准类auto_ptr）。

在Object Pascal中，这个问题变得非常的简单，程序员不必为此大费周折。如果Object Pascal的类在构造函数中抛出异常，编译器会自动调用类的析构函数（由于析构函数不允许被重载，可以保证只有唯一一个析构函数，因此编译器不会迷惑于多个析构函数之中）。析构函数中一般会析构成员对象，而Free()方法保证了不会对nil对象（即尚未被创建的成员对象）调用析构函数，因此在使得代码简洁优美的前提下，又保证了安全。

type MyClass = class

private

FStr : PChar; // 字符串指针

public

constructor Create();

destructor Destroy(); override;

end;

 

constructor MyClass.Create();

begin

FStr := StrAlloc(10); // 构造函数中为字符串指针分配内存

StrCopy(FStr, 'ABCDEFGHI');

raise Exception.Create('error'); // 抛出异常，没有理由，呵呵

end;

 

destructor A.Destroy();

begin

StrDispose(FStr); // 析构函数中释放内存

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); // 暂停屏幕，以便观察运行结果

end.

 

在这段代码中，构造函数抛出异常，执行的结果是：

Free Resource

Failed

此时的“Free Resource”输出是由编译器自动调用析构函数所产生的。

因此，如果类的说明文档或类的作者告知你，类的构造函数可能会抛出异常，那就要记得用try…except包住它！