stack unwinding

当抛出异常，程序的控制权由try block交给catch block时，C++ runtime自动调用try block里的所有auto和register对象的dtor函数，这个过程叫stack unwinding。

1> static和extern对象不调用dtor。
2> dtor的调用顺序和ctor的调用顺序相反。
3> 在构造对象时如果抛出了异常，对于其内部的子对象、或者数组，只有正确执行了ctor的才会调用dtor来析构。
4> 在析构对象时如果抛出了异常，且该异常未被处理，程序将调用terminate中止。

#include <iostream> using namespace std; struct E // 自定义的异常类型 { const char* message; E(const char* arg) : message(arg) { } }; void my_terminate() // 自定义的terminate函数 { cout << "Call to my_terminate" << endl; }; struct A { A() { cout << "In constructor of A" << endl; } ~A() { cout << "In destructor of A" << endl; throw E("Exception thrown in ~A()"); // 在下面的异常活跃时，dtor中又发生了异常。这是第二次异常，将导致程序中止 } }; struct B { B() { cout << "In constructor of B" << endl; } ~B() { cout << "In destructor of B" << endl; } }; int _tmain(int argc, _TCHAR* argv[]) { set_terminate(my_terminate); try { cout << "In try block" << endl; A a; B b; throw ("Exception thrown in try block of main()"); // 此处发生了第一次异常 } catch (const char* e) { cout << "Exception: " << e << endl; } catch (...) { cout << "Some exception caught in main()" << endl; } cout << "Resume execution of main()" << endl; return 0; }