为什么异常时不调用析构函数？

发布于 2024-07-08 08:32:52 字数 546 浏览 10 评论 0原文

我期望在此程序中调用 A::~A() ，但事实并非如此：

#include <iostream>

struct A {
  ~A() { std::cout << "~A()" << std::endl; }
};

void f() {
  A a;
  throw "spam";
}

int main() { f(); }

但是，如果我将最后一行更改为

int main() try { f(); } catch (...) { throw; }

A::~A() code>被调用。

我正在使用 Visual Studio 2005 中的“Microsoft (R) 32 位 C/C++ 优化编译器版本 14.00.50727.762 for 80x86”进行编译。命令行为 cl /EHa my.cpp。

编译器正常吗？标准对这个问题有何规定？

原文

I expected A::~A() to be called in this program, but it isn't:

#include <iostream>

struct A {
  ~A() { std::cout << "~A()" << std::endl; }
};

void f() {
  A a;
  throw "spam";
}

int main() { f(); }

However, if I change last line to

int main() try { f(); } catch (...) { throw; }

then A::~A() is called.

I am compiling with "Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.762 for 80x86" from Visual Studio 2005. Command line is cl /EHa my.cpp.

Is compiler right as usual? What does standard say on this matter?

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

や三分注定 2024-07-15 08:32:52

未调用析构函数，因为在堆栈展开之前调用了未处理异常的终止（）。

C++ 规范所说的具体细节超出了我的知识范围，但使用 gdb 和 g++ 进行的调试跟踪似乎证实了这一点。

根据标准草案第 15.3 条第 9 条：

9 If no matching handler is found in a program, the function terminate()
  (_except.terminate_)  is  called.  Whether or not the stack is unwound
  before calling terminate() is implementation-defined.

The destructor is not being called because terminate() for the unhandled exception is called before the stack gets unwound.

The specific details of what the C++ spec says is outside of my knowledge, but a debug trace with gdb and g++ seems to bear this out.

According to the draft standard section 15.3 bullet 9:

9 If no matching handler is found in a program, the function terminate()
  (_except.terminate_)  is  called.  Whether or not the stack is unwound
  before calling terminate() is implementation-defined.

回复收藏 0 原文

缪败 2024-07-15 08:32:52

C++语言规范指出：
为从 try 块到 throw 表达式的路径上构造的自动对象调用析构函数的过程称为“堆栈展开”。
您的原始代码不包含 try 块，这就是堆栈展开不会发生的原因。

回复收藏 0 原文

—━☆沉默づ 2024-07-15 08:32:52

抱歉，我身上没有该标准的副本。
我肯定想对此有一个明确的答案，因此拥有标准副本的人希望分享有关正在发生的事情的章节：

根据我的理解，终止仅被称为 iff：

异常处理机制无法找到引发异常的处理程序。< br>
以下是更具体的案例：
- 在堆栈展开期间，异常会从析构函数中逃脱。
- 抛出的表达式，异常会从构造函数中转义。
- 异常会转义非局部静态（即全局）的构造函数/析构函数
- 异常会转义使用 atexit() 注册的函数。
- 异常逃逸 main()
当前没有异常正在传播时尝试重新抛出异常。
意外异常使用异常说明符转义函数（通过意外）