volatile用于防止编译器优化,适用于硬件寄存器等场景,不保证原子性;std::atomic提供原子操作和内存序控制,用于多线程同步,二者用途不同,不可互换。

在C++并发编程中,volatile 和 std::atomic 常被误解为具有相似功能,但实际上它们解决的是完全不同的问题。理解二者区别对编写正确、高效的多线程程序至关重要。
volatile:防止编译器优化,不保证原子性
volatile 关键字告诉编译器:该变量的值可能在程序之外被改变(如硬件寄存器、信号处理、内存映射I/O),因此每次访问都必须从内存读取,不能缓存在寄存器中,也不能被优化掉。
它主要用于:
嵌入式系统中访问硬件寄存器信号处理函数中修改的全局标志与setjmp/longjmp配合使用的变量
但需要注意:
立即学习“C++免费学习笔记(深入)”;
volatile 不提供任何线程安全保证对 volatile 变量的读写操作不是原子的(例如 volatile int 的自增 i++ 仍可能产生竞态条件)volatile 不阻止指令重排(在多核CPU下仍可能出现可见性问题)
std::atomic:真正的原子操作,用于线程同步
std::atomic 是 C++11 引入的模板类,用于确保对共享数据的操作是原子的,可在多线程环境中安全使用。
它的核心作用包括:
保证读、写、修改操作的原子性(如 fetch_add, compare_exchange_weak)提供内存序(memory order)控制,可精细管理性能与同步强度默认情况下建立必要的内存屏障,防止指令重排导致的数据不一致
例如:
std::atomic counter{0};void increment() { counter.fetch_add(1, std::memory_order_relaxed);}
多个线程调用 increment 都能安全递增 counter,不会出现丢失更新的问题。
典型误用场景对比
以下代码是错误的:
volatile int flag = 0;// 线程1flag++;// 线程2flag++;
尽管用了 volatile,但 ++ 操作包含“读-改-写”三步,仍可能发生竞态。正确做法是使用:
std::atomic flag{0};flag.fetch_add(1);
反过来,如果在设备驱动中轮询一个硬件状态寄存器,用 std::atomic 就不合适,因为硬件不会通过 C++ 内存模型更新寄存器。这时应使用 volatile:
volatile uint32_t* status_reg = reinterpret_cast(0xFFFF0000);while ((*status_reg & READY_BIT) == 0) { // 忙等待,每次都会真正读取内存}
总结:用途完全不同
简单来说:
volatile 解决的是“编译器优化”问题,适用于非标准内存访问场景std::atomic 解决的是“多线程数据竞争”问题,提供原子性和内存顺序保障两者不互斥,极端情况下甚至可以同时使用:std::atomic(少见,一般用于特殊硬件接口)
在现代 C++ 并发编程中,线程间共享变量应优先使用 std::atomic,而不是 volatile。volatile 几乎只应在与硬件交互或兼容旧代码时使用。
基本上就这些。别再把 volatile 当作线程同步工具了。
以上就是c++++中的volatile和std::atomic有何区别_c++并发编程关键字辨析的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1487558.html
微信扫一扫
支付宝扫一扫