再谈异常——谈C++与Object Pascal中的构造函数与异常(100分)

再谈异常——谈C++与Object Pascal中的构造函数与异常
作者：Nicrosoft(nicrosoft@sunistudio.com) 2001.9.15
个人主页：http://www.sunistudio.com/nicrosoft/
东日文档：http://www.sunistudio.com/asp/sunidoc.asp
　　我们知道，类的构造函数是没有返回值的，如果构造函数构造对象失败，不可能依靠返回错误代
码。那么，在程序中如何标识构造函数的失败呢？最“标准”的方法就是：抛出一个异常。
　　构造函数失败，意味着对象的构造失败，那么抛出异常之后，这个“半死不活”的对象会被如何
处理呢？这就是本文的主题。
　　在C++中，构造函数抛出异常后，析构函数不会被调用。这是合理的，因为此时对象并没有被完整
构造。也就是说，如果构造函数已经做了一些诸如分配内存、打开文件等操作的话，那么类需要有自
己的成员来记住做过哪些动作。在C++中，经典的解决方案是使用STL的标准类auto_ptr，这在每一本
经典C++著作中都有介绍，我在这里就不多说了。在这里，我想再介绍一种“非常规”的方式，其思想
就是避免在构造函数中抛出异常。我们可以在类中增加一个 Init();
以及 UnInit();成员函数用于进
行容易产生错误的资源分配工作，而真正的构造函数中先将所有成员置为NULL，然后调用 Init();
并
判断其返回值（或者捕捉 Init()抛出的异常），如果Init();失败了，则在构造函数中调用 UnInit
();
并设置一个标志位表明构造失败。UnInit()中按照成员是否为NULL进行资源的释放工作。示例代
码如下：
class A
{
private:
char* str;
int failed;
public:
A();
~A();
int Init();
int UnInit();
int Failed();
};
A::A()
{
str = NULL;
try
{
Init();
failed = 0;
}
catch(...)
{
failed = 1;
UnInit();
}
}
A::~A()
{
UnInit();
}
int A::Init()
{
str = new char[10];
strcpy(str, "ABCDEFGHI");
throw 10;
return 1;
}
int A::UnInit()
{
if (!str)
{
delete []str;
str = NULL;
}
printf("Free Resource/n");
return 1;
}
int A::Failed()
{
return failed;
}
int main(int argc, char* argv[])
{
A* a = new A;
if ( a->Failed() )
printf("failed/n");
else
printf("succeeded/n");
delete a;
getchar();
return 0;
}
　　你会发现，在int A::Init()中包含了throw 10;的代码（产生一个异常，模拟错误的发生），执
行结果是：
　　Free Resource
　　failed
　　Free Resource
　　虽然 UnInit();被调用了两次，但是由于UnInit();中做了判断（if (!str)），因此不会发生错
误。而如果没有发生异常（去掉 int A::Init()中的throw 10;代码），执行结果是：
　　Succeeded
　　Free Resource
　　和正常的流程没有任何区别。
　　在Object Pascal（Delphi/VCL）中，这个问题就变得非常的简单了，因为 OP 对构造函数的异常
的处理与C++不同，在Create时抛出异常后，编译器会自动调用析构函数Destroy，并且会判断哪些资
源被分配了，实行自动回收。因此，其代码也变得非常简洁，如下：
type
A = class
private
　　str : PChar;
public
　　constructor Create();
　　destructor Destroy();
override;
end;

constructor A.Create();
begin
　　str := StrAlloc(10);
　　StrCopy(str, 'ABCDEFGHI');
　　raise Exception.Create('error');
end;

destructor A.Destroy();
begin
　　StrDispose(str);
　　WriteLn('Free Resource');
end;

var oa : A;
　　i : integer;
begin
　　try
　　 oa := A.Create();
　　 WriteLn('Succeeded');
　　 oa.Free();
　　except
　　 oa := nil;
　　 WriteLn('Failed');
　　end;

　　Read(i);
end.

　　在这段代码中，如果构造函数抛出异常（即Create中含有raise Exception.Create
('error');），执行的结果是：
　　Free Resource
　　Failed
　　此时的“Free Resource”输出是由编译器自动调用析构函数所产生的。而如果构造函数正常返回
（即不抛出异常），则执行结果是：
　　Succeeded
　　Free Resource
　　此时的“Free Resource”输出是由 oa.Free()的调用产生的。
　　综上，C++与Object Pascal对于构造函数抛出异常后的不同处理方式，其实正是两种语言的设计
思想的体现。C++秉承C的风格，注重效率，一切交给程序员来掌握，编译器不作多余动作。Object
Pascal继承Pascal的风格，注重程序的美学意义（不可否认，Pascal代码是全世界最优美的代码），
编译器帮助程序员完成复杂的工作。两种语言都有存在的理由，都有存在的必要！而掌握它们之间的
差别，能让你更好地控制它们，达到自由的理想王国。

为什么这篇好文章连看都没人看呢?

我在看呀。现在关注基本理论的人不多。

很好，谢谢好文章！

谢谢各位关注小弟的文章 ：）呵呵

好

偶来学习，记笔记

好东西，收藏起来。

请问大富翁这有关于c++的论坛么？
原来我一直到在程序员大本营里面混，可是那里越来越不像话了，都是一些灌水的贴子
真正讨论问题的很少。

[]请问大富翁这有关于c++的论坛么？[]
原来我一直到在程序员大本营里面混，可是那里越来越不像话了，都是一些灌水的贴子
真正讨论问题的很少。

呵呵，Nicrosoft跑大富翁布道来了。

学着点。。。

好好学

支持中、、、

不好意思问一下大侠：
raise Exception.Create('error');
与showmessage('error');有什么区别吗？
在ide中：一个是抛出一个错误后停止程序运行，一个抛出一个错误，不停止程序运行
但在非ide中，两个都抛出一个错误后都不停止程序运行，有什么区别吗？

raise抛出异常，只是表明程序有异常需要处理，其客户用try即可捕捉并处理，只有没有try
的异常被vcl最大的try所捕获才弹出对话框
showmessage只是象用户报告而已，并没有错误处理作用

大哥，小第还不懂。大哥能不能把下面的改成能体现raise的特性的东东。我真是太菜了。
procedure TForm1.Button1Click(Sender: TObject);
var
ss:string;
begin
try
ss:='abscd';
label1.Caption:=ss;
finally//不管有没有错误，都执行吧！
raise exception.Create('asror,jbas!');//换成这样以后，showmessage('asds,jbas');下句接着执行
label1.Caption:='jbas';
//用raise，这句不能执行。
end;
end;
end.
拜读你的异常和错误处理（基于Delphi/VCL）还是一知半解。

多人接受答案了。

我所关心的是在Delphi类中的析构函数中抛出异常会不会导致内存泄露的。
我试了一下，类对象无法释放。
不知道有没有解决的方法。