从保护类析构函数引发异常会导致 std::终止

Question

我正在尝试创建一个具有"大多数不变"的类，该类允许客户端在需要时打破不变量，但前提是他们在离开发生肮脏的范围之前修复它。

以下是涉及的两个类。它类似于范围保护。更多细节、评论和 ideone 的小测试。

http://ideone.com/dMCHVU

class HCAccessor;
class HasConditions
{
    // class "mostly-invariant"
    // 7 < payload_ <42
    int payload_;
    bool valid() const
    {
        if (!(7 < payload_) || !(payload_ < 42))
            return false;
        else
            return true;
    }
public:
    HasConditions(const int payload)
        : payload_(payload)
    {
        if (!valid())
        {
            throw std::runtime_error("can't construct");
        }
    }
    friend class HCAccessor;
};
class HCAccessor
{
    HasConditions& hc_;
public:
    HCAccessor(HasConditions& hc)
        : hc_(hc)
    {}
    HCAccessor(HCAccessor& other)
        : hc_(other.hc_)
    {}
    ~HCAccessor()
    {
        if (!hc_.valid())
        {
            throw std::runtime_error("you broke it!");
        }
    }
    void payload(const int newval)
    {
        hc_.payload_ = newval;
    }
    int payload() const
    {
        return hc_.payload_;
    }
};

当"大多数不变"被破坏然后修复时，代码似乎有效。当"大多数不变"仍然被打破并且~HCAccessor()投掷时，std::terminate被召唤，我不知道为什么。导致std::terminate调用的异常原因似乎都不合适。

http://en.cppreference.com/w/cpp/error/terminate

据我所知，只抛出了一个异常，然后立即调用std::terminate。

为什么会发生这种情况，我该如何解决？

Answer 1

默认情况下noexcept C++11 中的析构函数。如果你真的想这样做，你必须用noexcept(false)声明HCAccessor的析构函数：

~HCAccessor() noexcept(false) {

或者一个老式的投掷清单：

~HCAccessor() throw(std::runtime_error) {

（感谢Pradhan的noexcept(false)语法，这是我以前从未见过的。我想这不是人们经常需要的东西）。

但是，这样做几乎可以肯定是一个坏主意™。飞行异常会导致在堆栈展开中调用析构函数，如果您有抛出异常的析构函数，您最终会发现自己试图同时抛出多个异常。哪个爆炸了。

如果 HCAccessor 的实例不管理任何资源，则它与清理无关，析构函数是 nop。我不明白这是抛出例外的理由 - 就让它保持原样。

Answer 2

C++11标准的12.4.3说

没有异常规范的析构函数的声明隐式地认为具有 与隐式声明相同的异常规范。

15.4.14 说

如果 f 是继承构造函数或隐式声明的默认构造函数，则复制 构造函数、移动构造函数、析构函数、复制赋值运算符或移动赋值运算符，其隐式 异常规范指定类型 ID T 当且仅当异常规范允许 T 时 由 f 的隐式定义直接调用的函数;f 允许所有异常，如果它直接使用任何函数 调用允许所有异常，f 具有异常规范noexcept（true） 如果每个函数都直接 调用不允许异常。

由于 HCAccessor 的隐式析构函数是微不足道的，因此noexcept(true)因为它不调用任何函数，因此在没有异常规范的情况下，~HCAcessor 也会被声明为noexcept。