为什么 unique_ptr 析构函数的异常会终止程序？

Question

看看这段代码，它会导致程序在没有捕获异常的情况下终止。

#include <iostream>
#include <string>
#include <memory>
#include <stdexcept>
using namespace std;

struct test {
  ~test() noexcept(false) {
    throw runtime_error("-my-cool-exception-");
  }
};

int main()
{
  try {
    auto ptr = unique_ptr<test>(new test());
    //test t; // this is ok, without unique_ptr<test> it works fine.
  }
  catch(exception& e) {
    cout << "this is not called, the program is aborted";
    cout << e.what() << endl;
  }
  return 0;
}

这个问题不同于堆栈溢出问题：throwing exceptions out of destructor。

不同的是，只有当我使用unique_ptr<test> 时，才不会捕获到异常。

您可以在这里查看实时代码，编辑和编译http://cpp.sh/9sk5m

Answer 1

这是标准要求的。根据unique.ptr.single.dtor, 20.10.1.2.2.1：

要求：表达式 get_deleter()(get()) 应具有良好的格式，应具有明确定义的行为，并且不应抛出异常。 [ 注意：使用 default_delete 需要 T 是一个完整的类型。 ——尾注]

（强调我的）

所以说真的，你的析构函数本身是否有noexcept(false) 并不重要。在这种情况下，禁止抛出 - 最终决定。

这是std:: 的一般情况——除非另有说明。根据res.on.functions, 17.6.4.8.2.4：

特别是，在以下情况下效果是不确定的： [...] 如果任何替换函数或处理函数或析构函数操作通过异常退出，除非在适用的必需行为中明确允许：段落。

（强调我的）

注意：通常，您可以使用noexcept(false) 抛出析构函数。但是，这是非常危险的，因为如果堆栈因抛出异常而展开，则会调用 std::terminate。 根据except.ctor, 15.2.1：

当控制从抛出异常的点传递到处理程序时，析构函数被本节中指定的进程调用，称为堆栈展开。 如果堆栈展开直接调用的析构函数以异常退出，则调用 std::terminate ([except.terminate])。 [注意：因此，析构函数通常应该捕获异常，而不是让它们传播到析构函数之外。 ——尾注]

（强调我的）

See it live on Coliru.