c++ - 从保护类析构函数中抛出异常导致 std::terminate

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

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

~HCAccessor() noexcept(false) {

或者老式的抛出列表:

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

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

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

如果HCAccessor的一个实例不管理任何资源，它在清理中没有任何作用，析构函数是一个nop。我看不出这是抛出异常的理由 - 就这样吧。