请参考 TC++PL 章节 8.3、第十四章,以及附录 E。附录聚焦于如何为“苛刻的”应用程序编写异常安全(exception-safe)的代码,它并非写给初学者看的。
C++ 里,异常用于发出一种信号,表示发生了“本地”处理不了的错误,比如构造函数里某个获取资源的操作失败了。例如:
class Vector {
int sz;
int* elem;
class Range_error { };
public:
Vector(int s) : sz(s) { if (sz < 0) throw Range_error(); /* ... */ }
// ...
};
不要简单地将异常当作又一种从函数中返回一个值的方法。大多数用户以为异常处理代码等同于错误处理代码(因为 C++ 语言的定义怂恿他们这么想),他们的代码优化方式也反映了这种想当然的“以为”。
一种关键的技术被称之为资源获取即初始化(有时被简称为 RAII),该技术使用带有析构函数的类来使资源管理有序化。例如:
void fct(string s)
{
File_handle f(s,"r"); // File_handle 的构造函数打开名为 s 的文件
// 使用 f
} // File_handle 的析构函数在此关闭文件
就算 fct() 中“使用 f”的那部分代码抛出了异常,析构函数仍然会被执行,所以文件会被正常关闭。下面这种常见的不安全的用法则恰恰相反:
void old_fct(const char* s)
{
FILE* f = fopen(s,"r"); // 打开名为 s 的文件
// 使用 f
fclose(f); // 关闭文件
}
如果 old_fct 中“使用 f”的那部分代码抛出了异常(或者简单地返回了),那么文件就没有被关闭。在 C 程序里,longjmp() 是又一种危险。
原文地址:http://www.research.att.com/~bs/bs_faq2.html#exceptions