volatile 告诉编译器变量值可能被程序外修改,禁止缓存到寄存器、删除“无用”读操作、重排读写顺序;适用于硬件寄存器、信号处理、线程标志位,但不保证原子性、可见性或线程安全。

volatile 告诉编译器:这个变量的值可能在程序控制之外被改变,别擅自优化对它的读写。
它主要防止三类编译器优化
编译器默认假设变量只被当前代码修改。加了 volatile 后,它会放弃这些假设:
- 不缓存到寄存器——每次读都从内存重新取,不复用上次读的值
- 不删掉“看似无用”的读操作——即使没用到结果,也要执行读
- 不重排读写顺序——保证 volatile 访问按代码顺序发生(对单线程而言)
典型使用场景
常见于硬件交互或并发边界,但注意:volatile 不等于线程安全:
- 内存映射的硬件寄存器(如状态寄存器值可能被外设随时更新)
- 信号处理函数中修改的全局变量(如 sig_atomic_t 变量)
- 多线程中配合原子操作或锁使用的标志位(仅作简单通知,不替代 std::atomic)
它不能做什么
容易误解的点:
立即学习“C++免费学习笔记(深入)”;
- 不提供原子性——volatile int x 的 ++x 仍是非原子的,可能被中断
- 不保证内存可见性顺序——在多核 CPU 上,其他核心不一定立刻看到修改(需内存屏障或 std::atomic)
- 不替代互斥机制——多个线程同时读写 volatile 变量仍会导致数据竞争
基本上就这些。用对地方能避免诡异 bug,乱用反而掩盖真正的问题。










