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;}