原子操作与易失性原子变量

Question

为什么c ++原子操作对volatile volatile atomic<T>有一个重载版本？

我们何时需要将atomic<T>声明为volatile并且atomic<T>和volatile atomic<T>之间有什么区别？

Answer 1

它与任何其他类型相同：如果您在内存映射I / O寄存器上执行原子操作，或者需要volatile限定类型的语义（在任何类型中都不相关），则需要对您的原子进行volatile限定原子性或原子操作提供的线程间同步和内存排序的方法。

关于原子的volatile重载，标准有这个说法（ 29.6.5[atomics.types.operations.req]/3 ）

[注意：许多操作都是挥发性合格的。 “易失性设备寄存器”语义在标准中没有改变。 此限定意味着在将这些操作应用于易失性对象时会保留波动性。 这并不意味着对非易失性对象的操作变得易变。 因此，在某些条件下可以合并对非易失性对象的易失性合格操作。 - 尾注]