如何在c++11中实现归档存储

Question

我想知道如何在c++11中实现compare_and_swap。下面是我尝试过的：

template<typename T>
T compare_and_swap(atomic<T>& reg,T newVal )
{
    bool success = false;
    T oldVal;
    do
    {
        oldVal = reg.load();
        success = reg.compare_exchange_weak(oldVal,newVal);
    }while(!success);
    return oldVal;
}

有没有更好的方法实现这一点？

Answer 1

这就是我要做的：

//untested code
template<typename T>
T compare_and_swap(atomic<T>& reg,T newVal )
{
     oldVal = atomic_load(reg);
     while(!atomic_compare_exchange_weak(&reg, &oldVal, newVal));
     return oldVal;
}

如果失败，比较交换函数将更新oldval值。因此，没有必要重复这一点。

如您所见，我更喜欢使用显式的原子操作。这是因为完整的并不总是被实现。正如Herb Sutter here所解释的那样(视频的其余部分可能也会引起您的兴趣：)。

作为可能不必要的事后考虑，我想警告不要将此函数用于非trivially copyable类型。或“正常”指针。共享指针通常是okay:)。