首页 > 后端开发 > C++ > 正文

c++中的std::atomic是什么_原子操作的概念与多线程安全实现

裘德小鎮的故事
发布: 2025-10-31 02:23:20
原创
698人浏览过
std::atomic是C++中用于实现线程安全的模板类,通过提供原子操作避免数据竞争。它支持整型、指针等基础类型,常用操作包括load、store、exchange和compare_exchange_weak/strong,确保读写修改不可分割。配合内存序(如memory_order_relaxed、memory_order_seq_cst)可控制可见性与重排序,在保证正确性的同时优化性能。对于非平凡复制或不支持的自定义类型,可能退化为加锁实现,因此适用于需高效并发访问的共享变量场景。

c++中的std::atomic是什么_原子操作的概念与多线程安全实现

在C++中,std::atomic 是一个模板类,用于封装变量并提供原子操作,确保对这些变量的读、写或修改在多线程环境下是“不可分割”的,即不会被其他线程中断。这是实现线程安全的重要工具之一,尤其适用于避免数据竞争(data race)。

原子操作的基本概念

原子操作指的是一个操作在执行过程中不会被线程调度机制打断。也就是说,从任意线程看来,该操作要么完全执行完毕,要么尚未开始,不存在中间状态。例如:

  • 对一个共享计数器进行自增:counter++
  • 检查并设置标志位:if (flag) flag = false;

这类操作如果不在原子层面完成,多个线程同时访问就可能导致结果错误。比如两个线程同时执行 counter++,实际可能只增加一次,因为读取、修改、写入这三个步骤可能交错执行。

std::atomic 的基本用法

使用 std::atomic 非常简单,只需将要保护的变量声明为原子类型:

立即学习C++免费学习笔记(深入)”;

#include <atomic>
#include <thread>

std::atomic<int> counter(0);

void increment() {
    for (int i = 0; i < 1000; ++i) {
        counter.fetch_add(1, std::memory_order_relaxed);
    }
}

int main() {
    std::thread t1(increment);
    std::thread t2(increment);
    t1.join();
    t2.join();
    // 最终 counter 值一定是 2000
    return 0;
}
登录后复制

上面的例子中,即使多个线程同时调用 fetch_add,由于它是原子操作,最终结果始终正确。

常用成员函数包括:

  • load():原子地读取当前值
  • store(value):原子地写入新值
  • exchange(value):替换值并返回旧值
  • compare_exchange_weak()compare_exchange_strong():实现 CAS(Compare-And-Swap),常用于无锁编程
  • fetch_add()fetch_sub() 等:原子加减

内存序(Memory Order)的作用

std::atomic 允许指定内存顺序,控制操作的内存可见性和重排序行为。常见的选项有:

  • memory_order_relaxed:仅保证原子性,不保证顺序,性能最高
  • memory_order_acquire:用于读操作,确保之后的读写不会被重排到它前面
  • memory_order_release:用于写操作,确保之前的读写不会被重排到它后面
  • memory_order_acq_rel:同时具备 acquire 和 release 语义
  • memory_order_seq_cst:默认选项,提供最严格的顺序一致性,但开销最大

合理选择内存序可以在保证正确性的前提下提升性能,尤其是在高性能并发场景中。

适用类型与限制

std::atomic 可用于整型、指针类型等支持原子操作的基础类型。对于自定义类型,C++ 要求其满足“可平凡复制”(trivially copyable),并且底层硬件支持原子操作,否则编译会报错或退化为加锁实现。

例如以下写法是合法的:

std::atomic<int> a{0};
std::atomic<bool> ready{false};
std::atomic<int*> ptr{nullptr};
登录后复制

但如下则可能不被支持:

struct MyStruct { int x, y; };
std::atomic<MyStruct> data; // 可能无法保证原子性,取决于平台
登录后复制
基本上就这些。std::atomic 提供了一种高效且清晰的方式来处理共享数据的并发访问,避免使用互斥锁带来的开销,是现代 C++ 多线程编程的核心组件之一。

以上就是c++++中的std::atomic是什么_原子操作的概念与多线程安全实现的详细内容,更多请关注php中文网其它相关文章!

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习
PHP中文网抖音号
发现有趣的

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号