交换中是否没有竞争条件？

Question

全局：

std::atomic<T*> a, b;

在主题A中：

// this like std::swap(a, b), but is it atomic?
a.exchange(b.exchange(a));

在主题B中：

T* p = a.load();
doSomethine(p);

Answer 1

原子操作的序列不是原子的。在b.exchange和a.exchange之间可能会发生某种情况，并观察到a和b都具有相同的值（a的原始值）。

如果您不想这样，请使用某种类型的锁。