volatile变量禁用编译器优化但不保证原子性与线程安全，适用于硬件寄存器、信号处理等外部修改场景，多线程应使用std::atomic；可与const共用，表示只读但外部可变。
volatile 变量不会被编译器优化掉，但不保证原子性
声明为 volatile 的变量，告诉编译器：这个值可能在当前代码控制之外被改变（比如硬件寄存器、多线程共享变量、信号处理函数中修改的全局变量），因此每次读写都必须真实发生，不能被缓存到寄存器、不能被合并、也不能被删除。
但它完全不提供线程安全：volatile int flag = 0; 在多线程中做 flag = 1; 或 while(flag == 0); 仍可能因缺少内存屏障或原子操作而失效。C++11 起应优先用 std::atomic 替代。
哪些场景真正需要 volatile
典型使用场景有限，常见于嵌入式或系统编程：
- 映射到硬件寄存器的内存地址，例如
volatile uint32_t* const ctrl_reg = reinterpret_cast(0x40001000); - 被信号处理函数异步修改的全局变量（需配合
sig_atomic_t类型更稳妥） - 某些特殊循环中防止空 while 被优化成死循环（仅作调试/教学示意，生产环境不推荐）
普通多线程标志位、计数器、状态变量——volatile 无法阻止重排序，也无法保证读写顺序，不要用它替代同步原语。
立即学习“C++免费学习笔记（深入）”；
volatile 和 const 能一起用吗
可以，且常见：const volatile uint32_t* reg_ptr; 表示指针指向的内容既不能被当前代码修改（const），又可能被外部修改（volatile）。这种组合在只读硬件寄存器中很典型。
注意：volatile 不影响对象的可变性语义，它只约束编译器生成的访问方式；const 约束的是本代码能否写入。二者作用域不同，不冲突。
gcc/clang 下查看 volatile 是否生效
写一个简单函数对比汇编输出：
int global_var = 0;
void test_normal() {
global_var = 1;
global_var = 2;
}
void test_volatile() {
volatile int v = 0;
v = 1;
v = 2;
}用 g++ -S -O2 test.cpp 查看汇编：test_normal 中对 global_var 的两次赋值很可能被合并或优化掉；而 test_volatile 中的两次 v = ... 会生成两条独立的内存写指令（如 mov DWORD PTR [rbp-4], 1 和 mov DWORD PTR [rbp-4], 2）。
这是验证 volatile 是否起作用最直接的方式。但要注意：它只反映编译器行为，不涉及 CPU 乱序或缓存一致性。
真正跨线程通信时，volatile 很容易给人“已经同步”的错觉，而实际执行结果不可靠——这点最容易被忽略。
