我看到 volatile 关键字并不适用于线程同步，实际上在这些情况下根本不需要使用它。
虽然我知道仅使用该关键字是不够的，但我不明白为什么完全没有必要使用它。
例如，假设我们有两个线程，线程 A 仅从共享变量读取，线程 B 仅向共享变量写入。通过正确的同步（如 pthreads 互斥锁）进行强制执行。
如果没有使用 volatile 关键字，则编译器可能会查看线程 A 的代码并说：“此处似乎未修改变量，但我们有很多读取；让我们只读取一次，缓存值并优化掉所有后续读取。” 它还可能查看线程 B 的代码并说：“我们在此处有大量写入此变量，但没有读取；因此，不需要写入所写的值，并且因此让我们优化掉所有写入。”
这两种优化都是不正确的。而 两种 其中一种 可以通过使用 volatile 关键字来防止。因此，我可能会得出结论，尽管volatile不能用于同步线程，但对于任何在线程之间共享的变量仍然是必要的。 （注意：我现在已经阅读到实际上不需要使用 volatile 来防止写入优化；因此我无法想出如何防止这种不正确的优化）
我知道我的理解是错误的。但为什么？
pthread_mutex_lock时保留寄存器中的值，因为它不知道pthread_mutex_lock是否访问该值。或者，如果编译器对互斥函数有特殊的了解，那么它将包括了解在这些调用中访问其他线程可访问的值的无效性。volatile的平台几乎是无法使用的。你需要为每个函数或类制作版本，以适应对象可能被另一个线程看到或从另一个线程看到的特定情况。在许多情况下，你几乎只能将所有内容都设置为volatile，而不缓存值在寄存器中是性能上的非启动项。volatile语义与线程的使用方式并不相容。它不仅不足够，而且禁用了许多完全安全且几乎必要的优化。volatile不足以解决问题。他想知道为什么需要在已经告诉编译器不要优化的代码中再次告诉它不要优化。只需要指出你不必重复告诉它，因为它第一次就会听。我认为深入探讨特定平台的实现细节并不有帮助。 - David Schwartzvolatile：
std::mutex），它就会知道如何处理与优化相关的访问（这甚至对于std::mutex是必需的）volatile告诉编译器将变量的任何写入或读取视为“可观察的副作用”。这就是它的全部作用。当然，可观察的副作用不能被优化掉，并且必须按照程序指示的顺序出现在外部世界中；编译器不得重新排列可观察的副作用相互之间。 但编译器可以将它们与非可观察的副作用重新排序。因此，volatile仅适用于访问内存映射硬件、类Unix信号处理程序等。对于线程间并发，请使用std::atomic或更高级别的同步对象，如mutex、condition_variable和promise/future。