More Effective C++ 条款11：禁止异常流出析构之外

两种情况下析构会被调用。第一种是当对象在状态下被销毁，也就是离开它的生存空间或是被明确删除；第二种情况是当对象被异常处理机制——也就是异常传播过程中的stack-unwinding（栈展开）机制——销毁。

在运行时期间从函数调用栈中删除函数实体，称为栈展开。栈展开通常用于异常处理。
在C++中，如果一个异常发生了，会线性的搜索函数调用栈，来寻找异常处理者，并且带有异常处理的函数之前的所有实体，都会从函数调用栈中删除。
所以，如果异常没有在抛出它的函数中被处理，则会激活栈展开。

参考下面程序：

#include <iostream>
using namespace std;
 
// 函数f1会抛出一个异常
void f1() throw (int) {
    cout << "f1() Start " << endl;
    VehicleSurrogate va;
    throw 100;
    cout << "f1() End " << endl;
}
 
// 调用函数f1
void f2() throw (int) {
    cout << "f2() Start " << endl;;
    f1();
    cout << "f2() End " << endl;
}
 
// 调用函数f2,并处理f1()抛上来的异常
void f3() {
    cout << "f3() Start " << endl;
    try {
        f2();
    }
    catch (int i) {
        cout << "Caught Exception: " << i << endl;
    }
    cout << "f3() End" << endl;
}
 
// 演示栈展开过程的程序
int main() {
    f3();
    return 0;
}

//输出：
f3() Start
f2() Start
f1() Start
VehicleSurrogate  constructor
VehicleSurrogate  destructor
Caught Exception: 100
f3() End

上述程序中, 当函数f1抛出异常后，它的实体会从函数调用栈中删除掉(因为f1中没有包含异常处理代码)，然后下一个调用栈的实体用来查找异常处理者。
此例子中，下一个实体是f2()。因为f2中也没有包含异常处理代码，则它的实体也会从函数调用栈中移除。
再下一个实体是f3()。因为f3包含了异常处理，则f3中的catch代码块会被执行，最后catch代码块后面的代码也会执行。

注意：f1()与f2()中的如下面所示的代码完全没有执行。
//f1()中没有被执行的代码
cout<<"\n f1() End ";
//f2()中没有被执行的代码
cout<<"\n f2() End ";

另外需要注意的是：如果f1()和f2()中定义了一些局部对象，则在栈展开的过程中，这些局部对象的析构函数会被调用到。
这条规则只使用于栈上分配的对象，对于new出来的对象，则还是需要手动delete。
如果控制权基于异常的因素离开析构，而此时正有另一个异常处于作用状态，C++会调用terminate函数，结束掉程序。

示例程序：

Session::~Session()
{
    try{
        logDestruction(this);
    }catch(...){ } //什么都不做，阻止异常传出析构之外
}

这样的好处是，如果一个Session对象因为栈展开而被销毁，terminate并不会被调用。

禁止异常流出析构之外的第二个理由是，如果异常从析构内抛出，而没有在当地被捕捉，那么这个析构就执行不全，如果析构执行不全，就是没有完成它应该完成的每一件事。

因此，有两个好的理由支持我们全力阻止异常流出析构之外。第一，它可以避免terminate函数在异常传播过程的栈展开机制中被调用。第二，它可以协助确保析构完成其应该完成的所有事情。