c++ - Boost::Math::Quaternion 中的 Exception Guard Idiom

Question

boost::math::quaternion 的实现(您可以浏览 here )广泛使用注释为 //exception guard 的成语。例如:

template<typename X>
quaternion<T> &        operator += (quaternion<X> const & rhs)
{
    T    at = a + static_cast<T>(rhs.R_component_1());    // exception guard
    T    bt = b + static_cast<T>(rhs.R_component_2());    // exception guard
    T    ct = c + static_cast<T>(rhs.R_component_3());    // exception guard
    T    dt = d + static_cast<T>(rhs.R_component_4());    // exception guard

    a = at;
    b = bt;
    c = ct;
    d = dt;

    return(*this);
}

在这种情况下，//exception guard 是什么意思？

Answer 1

如果你正在阅读这段代码，你应该对自己说“到底为什么要制作所有这些疯狂的临时文件，而不是仅仅做

a += static_cast<T>(rhs.R_component_1());
b += static_cast<T>(rhs.R_component_2());
c += static_cast<T>(rhs.R_component_3());
d += static_cast<T>(rhs.R_component_4());

然后结束它？”

评论是为了回答您的问题:临时对象在那里，因此如果任何操作抛出异常，四元数不会被部分修改。 IE，加法赋值应该是原子的。