stack unwinding

最新推荐文章于 2025-03-30 10:45:12 发布

ba_jie

最新推荐文章于 2025-03-30 10:45:12 发布

阅读量957

点赞数

分类专栏： c/c++ 文章标签： exception destructor constructor struct c

c/c++ 专栏收录该内容

9 篇文章

订阅专栏

本文探讨C++中异常处理机制与析构函数(stack unwinding)的关系，演示了当异常发生时，如何通过析构函数进行资源清理，并展示了自定义异常与终止处理函数的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

当抛出异常，程序的控制权由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; }