为什么 std::exception 析构函数不是 noexcept [重复]

Question

C++11 std::exception 基类的destructor 不是noexcept，因此可能（理论上）抛出异常，从而放宽对其所有派生类的权限（包括std::bad_alloc和std::runtime_error)。然而，C++98 的析构函数std::exception 有一个throw() 异常规范，表明它不允许抛出异常。为什么有区别？为什么现在允许抛出异常？鉴于std::exception constructors 现在是noexcept，该权限特别奇怪：您可以安全地构造这样的对象，但不能安全地销毁它：与正常行为相反。

让异常类的析构函数抛出异常通常是灾难性的。什么会导致std::exception::~exception 抛出异常？

Answer 1

确实是noexcept(true)。从 C++11 开始，对于没有明确提供异常规范的 destructors，异常规范被认为是 noexcept(true)。

除非没有明确提供异常规范，否则异常规范将被隐式声明的析构函数使用（见下文）。在大多数情况下，这是noexcept(true)。因此必须显式声明一个抛出的析构函数noexcept(false)。 (C++11 起)

Answer 2

[res.on.exception.handling]/3:

C++ 标准库中定义的析构函数操作不得抛出异常。 C++ 标准库中的每个析构函数都应该表现得好像它有一个非抛出异常规范。