我正在尝试创建一个具有“几乎不变”的类，该类允许客户端在需要时打破不变，但前提是他们必须在离开令人讨厌的范围之前对其进行修复。
这是涉及的两个类。它类似于范围卫士。更多详细信息，评论和对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_;
}
};
当“几乎不变”被破坏然后修复时，代码似乎可以正常工作。当“几乎不变”保持破裂并~HCAccessor()抛出时，std::terminate被调用，我不知道为什么。导致std::terminate呼叫的异常原因似乎都不适合。
http://en.cppreference.com/w/cpp/error/terminate
据我所知，只有一个异常被抛出，然后立即std::terminate被调用。
为什么会发生这种情况，我该如何解决？
noexcept默认情况下，C ++ 11中的析构函数是。如果您确实想这样做，则必须使用以下方法声明HCAccessor的析构函数noexcept(false)：
~HCAccessor() noexcept(false) {
或老式的抛出清单：
~HCAccessor() throw(std::runtime_error) {
（对于Pradhan来说noexcept(false)，我以前从未见过的语法表示敬意。我想这不是人们经常需要的东西）。
但是，这样做几乎可以肯定是Bad Idea™。飞行异常导致析构函数在堆栈展开时被调用，并且如果您有引发异常的析构函数，您最终会发现自己试图同时抛出多个异常。爆炸。
如果的实例HCAccessor不管理任何资源，则它在清理中无事可做，并且析构函数为nop。我不认为这是引发异常的原因-顺其自然。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句