stack unwinding

最新推荐文章于 2024-08-01 14:12:07 发布

最新推荐文章于 2024-08-01 14:12:07 发布 · 76 阅读

文章标签：

#C #C++ #C#

本文探讨了C++中异常处理机制下析构函数的行为，包括如何在异常发生时调用析构函数进行资源清理，并展示了静态和外部对象的行为差异。通过示例代码解释了异常处理流程及终止处理。

摘要生成于 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; }