volatile用于防止编译器优化对可能被外部改变的变量的读写,解决硬件寄存器、无同步多线程共享变量、信号处理函数修改全局变量三类问题;它不保证原子性、内存可见性或禁止CPU重排,非线程安全,应优先使用std::atomic。

volatile 告诉编译器:这个变量的值可能在程序“看不见”的地方被改变,别擅自优化对它的读写。
它主要解决三类问题
• 硬件寄存器映射:比如内存映射的 GPIO 寄存器,往地址 0x40020000 写 1 可能点亮 LED,但该地址对应的值不会由当前线程代码修改,编译器若优化掉重复写操作,硬件就收不到指令。
• 多线程共享且无同步机制的变量(不推荐!):一个线程循环检查 flag 变量是否被另一线程置为 true。若 flag 非 volatile,编译器可能把它缓存在寄存器中,导致永远读不到更新后的值。
• 信号处理函数中修改的全局变量:比如 SIGINT 处理函数把 g_exit_flag 设为 1,主循环需及时感知——volatile 能阻止编译器将对该变量的判断优化为常量分支。
volatile 不等于线程安全
它只禁用编译器优化(如删除、重排、缓存),不提供原子性、不禁止 CPU 指令重排、也不保证内存可见性顺序。例如:volatile int counter = 0;counter++; —— 这仍是“读-改-写”三步,多线程下依然会丢失更新。
真正需要线程间通信时,应使用 std::atomic 或互斥锁。
典型用法和注意事项
• 声明方式:volatile int* p_reg = reinterpret_cast
• 对 volatile 变量的每次读写都会生成实际的内存访问指令,无法被合并或省略。
• volatile 不能传递:指向 volatile 的指针是 volatile,但指针本身不是;volatile int* p 表示 p 指向的 int 是 volatile,而 int* volatile p 表示 p 本身不可被优化(很少用)。
• C++20 起,标准明确不鼓励用 volatile 实现线程同步,应优先使用 。











