c++ - 动态对象析构函数中的异常

Question

我遇到了这个我通常会用“don't do that”驳回的边缘问题，但我在标准中找不到满意的答案，如果有人能指出原因，我将不胜感激:

假设我有一个在析构函数中抛出异常的类:

struct Foo { ~Foo() { throw std::runtime_error("Catch this!"); } };

如果删除此类的动态分配实例，动态分配的内存会怎样？

auto p = new Foo;

try { delete p; }
catch (std::exception const &) { }

是否调用了释放函数？为什么？我可以通过将 operator delete(p); 添加到 catch block 中来使此代码正确吗？

我用 GCC 运行了一个小测试，它似乎不自动释放内存。 (将此与 构造函数 中的异常进行对比，在这种情况下，保证会调用释放函数(如果存在)。)

Answer 1

标准说 (5.3.5p7):

If the value of the operand of the delete-expression is not a null pointer value, the delete-expression will call a deallocation function. Otherwise, it is unspecified whether the deallocation function will be called. [ Note: The deallocation function is called regardless of whether the destructor for the object or some element of the array throws an exception. — end note ]

笔记回答了你的问题。