从 guard class 析构函数中抛出异常导致 std::terminate

Question

我正在尝试创建一个带有 "mostly-invariant" 的 class，它允许客户在需要时打破不变性，但前提是他们在离开发生肮脏事件的范围之前修复它。

这里是涉及的两个 classes。它类似于范围守卫。更多详细信息、评论和 ideone 的小测试。

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_;
    }
};

当 "mostly-invariant" 被破坏然后修复时，代码似乎可以工作。当 "mostly-invariant" 仍然损坏并且 ~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的一个实例不管理任何资源，它在cleanup中没有任何作用，析构函数是一个nop。我不明白这是抛出异常的理由 - 就这样吧。

Answer 2

C++11 标准的

12.4.3 说

A declaration of a destructor that does not have an exception-specification is implicitly considered to have the same exception-specification as an implicit declaration.

15.4.14 说

If f is an inheriting constructor or an implicitly declared default constructor, copy constructor, move constructor, destructor, copy assignment operator, or move assignment operator, its implicit exception-specification specifies the type-id T if and only if T is allowed by the exception-specification of a function directly invoked by f’s implicit definition; f allows all exceptions if any function it directly invokes allows all exceptions, and f has the exception-specification noexcept(true) if every function it directly invokes allows no exceptions.

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

从 guard class 析构函数中抛出异常导致 std::terminate

Throwing exception from guard class destructor causes std::terminate

c++

scope

exception