为什么在std :: atomic中使用了volatile限定符？

从我从Herb Sutter和其他人那里读到的内容来看volatile，至少在C / C ++方面，您会认为并发编程是完全正交的概念。

但是，在GCC实现中，所有std::atomic的成员函数都具有volatile限定符。在Anthony Williams的实现中也是如此std::atomic。

那怎么办，我的atomic<>变量是否需要volatile？

为什么volatile贯穿始终使用限定词std::atomic？

这样挥发性对象也可以是原子的。看到这里：

相关报价是

定义功能和操作以使用易失性对象，因此应该易失的变量也可以是原子的。但是，原子性不需要挥发性限定符。

我的atomic<>变量是否需要volatile？

不，原子对象不必是易失的。

总结其他人正确编写的内容：

C / C ++volatile用于硬件访问和中断。C ++ 11atomic<>用于线程间通信（例如，采用无锁代码）。这两个概念/用途是正交的，但是它们有重叠的要求，这就是为什么人们经常将二者混淆。

其原因atomic<>有volatile限定的功能是它具有const限定的功能，同样的原因，因为它可能在原则上的对象既atomic<>和也const和/或volatile。

当然，正如我的文章所指出的，另一个令人困惑的原因是C / C ++volatile与C＃/ Java不同volatile（后者基本上等效于C ++ 11 atomic<>）。

作为常量，volatile是可传递的。如果将方法声明为，volatile则无法对其调用任何非易失性方法或其成员属性。通过使用std::atomic方法，volatile您可以允许volatile包含以下内容的类中的成员方法进行调用：std::atomic变量的。

我今天过得不好...太混乱了...也许举个例子可以帮助：

struct element {
   void op1() volatile;
   void op2();
};
struct container {
   void foo() volatile {
      e.op1();  // correct
      //e.op2();  // compile time error
   }
   element e;
};