C++并不禁止析构函数吐出异常,但它不鼓励你这样做,这是有理由的。考虑如下代码:
1 class Widget {
2 public:
3 ...
4 ~Widget() { ... } //假设这个可能吐出一个异常
5 };
6 void doSomething()
7 {
8 std::vector
v; //v在这里被自动销毁
9 ...
10 }
当vector v被自动销毁,它有责任销毁其内含的所有Widgets。假设v内含十个Widgets,而在析构第一个元素期间,有个异常被抛出。其他九个 Widgets还是应该被销毁(否则它们保存的任何资源都会发生泄漏),因此v应该调用它们各个析构函数。但假设在那些调用期间,第二个Widget析构函数又抛出异常。现在有两个同时作用异常,这对C++而言太多了。在两个异常同时存在的情况下,程序若不是结束执行就是导致不明确行为。本例中它会导致不明确行为。使用标准程序库的任何其他容器(如 list,set)或TR1的任何容器(见条款54)或甚至array,也会出现相同情况。容器或array并非遇上麻烦的必要条件,只要析构函数吐出异常,即使并非使用容器或arrays,程序也可能过早结束或出现不明确行为。是的,C++不喜欢析构函数吐出异常!
这很容易理解,但如果你的析构函数必须执行一个动作,而该动作可能会在失败时抛出异常,该怎么办?举个例子,假设你使用一个class负责数据库连接:
1 class DBConnection {
2 public:
3 ...
4 static DBConnection create(); //这个函数返回DBConnection对象;为求简化暂略参数。
5 void close(); //关闭联机;失败则抛出异常。
6 };
为确保客户不忘记在DBConnection对象身上调用close(),一个合理的想法是创建一个用来管理DBConection资源的 class,并在其析构函数中调用close。这一类用于资源管理的classes在第3章有详细探讨,这儿只要考虑它们的析构函数长相就够了:
1 class DBConn { //这个class用来管理DBConnection对象
2 public:
3 ...
4 ~DBConn() //确保数据库连接总是会被关闭
5 {
6 db.close();
7 }
8 private:
9 DBConnection db;
10 };