volatile关键字确保变量每次访问都从内存读取，防止编译器优化导致的错误，适用于硬件寄存器、中断服务程序和信号处理函数中的变量，但不提供原子性，不能替代多线程同步机制如std::atomic。
volatile关键字用于告诉编译器，某个变量的值可能会在程序的控制之外被改变，因此不能对该变量的访问进行优化。这意味着每次使用该变量时，都必须从内存中重新读取它的值，而不是使用寄存器中可能缓存的副本。
防止编译器优化
编译器在优化代码时，可能会假设某个变量的值只会在当前代码流程中被修改。如果该变量实际上可能被外部因素（如硬件、中断服务程序或其他线程）修改，这种假设就会导致错误行为。volatile确保每次访问都从原始内存地址读取或写入。
例如：
volatile int flag = 0; <p>while (!flag) { // 等待 flag 被外部改变 }</p>
如果没有volatile，编译器可能将flag的值缓存到寄存器中，导致循环永远不会退出，即使外部改变了内存中的flag值。
立即学习“C++免费学习笔记（深入）”；
适用于硬件寄存器和内存映射I/O
在嵌入式系统或驱动开发中，某些内存地址对应硬件寄存器。读写这些地址会触发硬件操作，而不仅仅是数据存储。使用volatile可以确保每一次读写都被真实执行。
例如：
volatile uint32_t* const CONTROL_REG = reinterpret_cast<uint32_t*>(0x4000F000); <p><em>CONTROL_REG = 1; // 必须写入硬件寄存器 uint32_t status = </em>CONTROL_REG; // 必须重新读取状态</p>
这里volatile保证了对同一地址的多次访问不会被合并或省略。
与多线程共享变量的关系
volatile不能替代原子操作或互斥量。它仅防止编译器优化，但不提供原子性或内存顺序保证。在多线程环境中，应使用std::atomic来处理共享数据。
例如，下面的做法是不够安全的：
volatile bool ready = false; <p>// 线程1 ready = true;</p><p>// 线程2 if (ready) { /<em> 可能看到乱序问题 </em>/ }</p>
正确做法是使用：
std::atomic<bool> ready{false};
总结
volatile的主要用途包括：
- 标记可能被中断服务程序修改的全局变量
- 访问内存映射的硬件寄存器
- 与信号处理函数共享的变量
它不是为常规多线程同步设计的。理解这一点有助于避免误用。基本上就这些。