《delphi高手突破》节选二

    技术2022-05-11  122

    完成了第三章 异常及错误处理,节选一节

    构造函数与异常

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

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

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

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

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

    如果构造函数已经做了一些诸如分配内存、打开文件等操作的话,那么C++类需要有自己的成员来记住做过哪些动作。当然,这样做对于类的实现者来说非常麻烦,因此一般C++类的实现者都避免在构造函数中抛出异常(可以提供一个诸如InitUnInit的成员函数,由构造函数或类的客户去调用它们,以处理初始化失败的情况)。而每一本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包住它!

    C++ Object Pascal 对于构造函数抛出异常后的不同处理方式,其实正是两种语言的设计思想的体现。 C++ 秉承 C 的风格,注重效率,一切交给程序员来掌握,编译器不作多余动作。 Object Pascal 继承 Pascal 的风格,注重程序的美学意义,编译器帮助程序员完成复杂的工作。

    最新回复(0)