在实现无锁数据结构时必须使用volatile。否则，编译器可以自由地优化对变量的访问，这将改变语义。

换句话说，volatile告诉编译器对这个变量的访问必须对应于物理内存的读/写操作。

例如，这是Win32 API中InterlockedIncrement的声明方式:

LONG __cdecl InterlockedIncrement(
  __inout  LONG volatile *Addend
);

Dan Saks在《Volatile as a promise》一文中写道:

易失性对象是其值可能自发变化的对象。也就是说，当你声明一个对象为volatile时，你是在告诉编译器这个对象可能会改变状态，即使程序中没有任何语句显示要改变它。”

以下是他关于volatile关键字的三篇文章的链接:

明智地使用挥发剂 准确放置挥发剂 像承诺一样反复无常

您必须使用它来实现自旋锁以及一些(所有?)无锁数据结构 与原子操作/指令一起使用 曾经帮助我克服编译器的错误(在优化过程中错误地生成代码)

如果你正在从内存中的某个点(比如说，一个完全独立的进程/设备/任何东西)读取数据，则需要使用Volatile。

我曾经在纯c的多处理器系统中使用双端口ram。我们使用硬件管理的16位值作为信号量，以知道另一个家伙什么时候完成。基本上我们是这样做的:

void waitForSemaphore()
{
   volatile uint16_t* semPtr = WELL_KNOWN_SEM_ADDR;/*well known address to my semaphore*/
   while ((*semPtr) != IS_OK_FOR_ME_TO_PROCEED);
}

没有volatile，优化器认为循环是无用的(这家伙从不设置值!他疯了，删掉那代码吧!)，我的代码会在没有获得信号量的情况下继续运行，从而在以后造成问题。

一些处理器具有超过64位精度的浮点寄存器(例如。32位x86没有SSE，见Peter的评论)。这样，如果您对双精度数运行多次操作，实际上会得到比将每个中间结果截断为64位更高精度的答案。

这通常很好，但这意味着根据编译器如何分配寄存器和进行优化，对于完全相同的输入，完全相同的操作将得到不同的结果。如果您需要一致性，那么您可以使用volatile关键字强制每个操作返回内存。

它对于一些没有代数意义但减少浮点误差的算法也很有用，比如Kahan求和。代数上它是一个nop，所以它经常会被错误地优化除非一些中间变量是不稳定的。

为嵌入式开发，我有一个循环，检查可以在中断处理程序中更改的变量。如果没有“volatile”，循环就变成了noop——就编译器所知，变量永远不会改变，所以它优化了检查。

同样的事情也适用于在更传统的环境中可能在不同线程中更改的变量，但在那里我们经常进行同步调用，因此编译器在优化方面没有那么自由。