More Effective C++（条款9：利用destructors避免泄露资源）

1. 栈展开：

    函数抛出异常的时候，将暂停当前函数的执行，开始查找匹配的catch子句。首先检查throw本身是否在try块内部，如果是，检查与该try块相关的catch语句，看是否其中之一与被抛出的对象相匹配。如果找到匹配的catch，就处理异常;如果找不到且该try语句嵌套在其他try块中，则继续检查与外层try匹配的catch子句。若还是找不到匹配的catch，就退出当前函数(释放当前函数的内存并撤销局部对象)，并继续在调用当前函数的外层函数中查找中查找。

    若对抛出异常的函数的调用语句位于一个try语句块内，则检查与该try块关联的catch子句。若找到匹配的catch，就使用该catch处理异常。否则，若该try语句嵌套在其他try块中，则继续检查与外层try匹配的catch子句。若还是找不到匹配的catch，就退出当前主调函数，继续在调用了刚刚推出的这个函数的其他函数中继续寻找。以此类推......

2. 函数执行的过程中一旦抛出异常，就停止接下来语句的执行，跳出try块(try块之内throw之后的语句不再执行)并开始寻找匹配的catch语句，跳出try块的过程中，会适当的撤销已经被创建的局部对象，运行局部对象的析构函数并释放内存。

3. 如果在throw之前恰好在堆中申请了内存，而释放内存的语句又恰好在throw语句之后的话，那么一旦抛出异常，该语句将不会执行造成内存泄露问题。

4. 解决办法是将指针类型封装在一个类中，并在该类的析构函数中释放内存。这样即使抛出异常，该类的析构函数也会运行，内存也可以被适当的释放。C++ 标准库提供了一个名为auto_ptr的类模板，用来完成这种功能。