volatile不提供线程同步，仅防止编译器优化读写操作；它不阻止指令重排、无内存屏障、不保证原子性，适用于硬件寄存器等异步可见性场景，线程通信应使用std::atomic。
volatile 不阻止指令重排，编译器和 CPU 都可能乱序执行
告诉编译器：这个变量的值可能在任何时候被外部（比如硬件、信号处理函数）修改，所以每次读写都必须真实发生，不能被优化掉。但它**不生成内存屏障（memory barrier）**，也不约束其他变量的访问顺序。例如：
线程 B 看到
，却可能读到未初始化的
（仍是 0）。这不是编译器“错”，而是
本就不承诺同步语义。
它不提供原子性，对复合操作完全无效
修饰的变量，其读或写操作本身可能是原子的（如对齐的
在多数平台），但像
、
、
这类操作本质上是“读-改-写”三步，
不保证这三步不可打断：
两个线程同时执行
，结果很可能是 1 而不是 2
因为两者都读到 0，各自加 1，再各自写回 1
真正需要原子递增，请用
及其
成员函数。
立即学习
“
C++免费学习笔记（深入）
”；
C知道
CSDN推出的一款AI技术问答工具
下载
正确使用场景：非线程同步的异步可见性
的本职工作是与**硬件寄存器、信号处理函数、内存映射 I/O** 打交道，这些场景不需要互斥或顺序保证，只需要“别给我优化掉读写”：
嵌入式中轮询一个硬件状态寄存器：
信号处理函数中设置标志位，主循环检查：
（注意：必须是
类型）
内存映射的帧缓冲区（framebuffer）写入：
这些场景里没有多线程竞争，只有“程序 vs 外部世界”的可见性问题——
刚好够用，也仅够用。
替代方案：用 std::atomic 替代 volatile 实现线程通信
如果你原本想靠
实现“一个线程写、另一个线程读”的简单通知，应该换成
：
提供可选的内存序、真正的原子操作、以及隐式/显式的屏障语义——这才是 C++ 线程模型认可的协作方式。把
当成线程安全的“轻量级替代品”，是 C++ 新手最常踩的坑之一。
volatilevolatile bool ready = false;
int data = 0;
// 线程 A
data = 42; // 编译器/CPU 可能把它重排到 ready = true 之后
ready = true; // 但 volatile 并不阻止这种重排
ready == truedatavolatilevolatileint+++=fetch_addvolatilevolatile int counter = 0;++counterstd::atomicfetch_add()volatilewhile (*(volatile uint32_t*)0x40001000 == 0) { }volatile sig_atomic_t flag = 0;sig_atomic_tvolatile uint16_t* fb = (volatile uint16_t*)0xA0000;volatilevolatilestd::atomicstd::atomic ready{false};
int data = 0;
// 线程 A
data = 42;
ready.store(true, std::memory_order_release); // 写屏障，确保 data=42 不会重排到后面
// 线程 B
while (!ready.load(std::memory_order_acquire)) { } // 读屏障，确保后续读 data 不会重排到前面
std::cout << data << "\n";
std::atomicvolatile