volatile仅用于编译器无法静态分析的变量修改场景，如硬件寄存器、信号处理函数等；它不保证原子性与线程同步，不能替代std::atomic或互斥量。
volatile 不是用来做线程同步的，也不是“防止编译器优化”的万能开关。它只解决一个具体问题：告诉编译器“这个变量的值可能被你完全看不到的方式改掉，每次访问都必须老老实实读/写内存”。用错地方，轻则无效，重则掩盖真正的问题。
什么时候必须加 volatile？
只有当变量的修改来源**超出编译器静态分析能力**时才需要——比如硬件寄存器、信号处理函数、setjmp/longjmp 上下文切换。
- 硬件状态寄存器（如
*(volatile uint32_t*)0x40000000），值由外设自动更新 - 被
signal处理函数修改的全局标志（如volatile sig_atomic_t interrupt_flag = 0） - 内存映射 I/O 缓冲区（如显存、DMA 描述符表），写入必须立即生效
这些场景下，不加 volatile 很容易触发死循环或读到陈旧值——因为编译器会把变量缓存在寄存器里，后续循环反复读寄存器，根本不去看内存是否已被硬件更新。
volatile 不能替代 std::atomic
这是最常踩的坑。以下写法全是错的：
立即学习“C++免费学习笔记（深入）”；
-
volatile bool ready = false;+ 两个线程分别读/写：无法保证可见性顺序，ready = true可能被重排到其他写操作之后 -
volatile int counter = 0;+ 多线程调用counter++：仍是“读-改-写”三步，非原子，必然丢更新 - 用
volatile实现自旋锁或双检锁单例：C++ 标准明确不保证线程间 happens-before，属于未定义行为（UB）
真正需要跨线程通信时，必须用 std::atomic<bool></bool> 配合内存序（如 memory_order_acquire / memory_order_release），或者上互斥量。
volatile 的声明位置很关键
它修饰的是“访问目标”，不是指针本身。常见误写：
-
int* volatile ptr;→ 指针值本身易变（比如中断里改了指针指向），但指向的内容不保证 -
volatile int* ptr;→ 正确：指针指向的int是易变的，每次读写都走内存 -
volatile int* const ptr = ...;→ 更稳妥：指针不可变，内容易变，适合映射固定地址的寄存器
嵌入式代码中常见写法：volatile uint32_t* const reg = reinterpret_cast<volatile uint32_t>(0x40000000);</volatile>，既防指针被意外改，又保寄存器访问语义。
真正难的不是怎么写 volatile，而是判断“这个变量到底是不是编译器看不见的修改源”。一旦不确定，宁可先用 std::atomic 或锁——因为 volatile 错了不会报错，只会让程序在某个平台、某个优化等级下偶然失效。
