<p>std::atomic 是 C++ 中用于实现多线程环境下原子操作的核心工具,确保对共享变量的读、写和复合操作不可分割,避免数据竞争。原子操作指操作在执行中不会被中断,要么完全执行,要么不执行,无中间状态。例如,多个线程同时对普通变量进行 i++ 操作可能导致结果错误,因其包含“读-改-写”三步,而使用 std::atomic<int> 可保证该操作原子性,结果正确。常见用法包括 std::atomic<int> counter{0}、std::atomic<bool> ready{false} 等,支持整型、指针等类型。主要操作有 load()(原子读)、store(val)(原子写)、exchange(val)(替换并返回旧值)、compare_exchange_weak/strong(比较并交换,CAS,用于无锁编程)、fetch_add()/fetch_sub()(原子加减并返回原值),且对整型和指针支持 ++、– 运算符重载。示例代码中两个线程各对 atomic 变量自增 1000 次,最终结果为 2000,体现其正确性。内存序(Memory Order)控制原子操作的同步行为与性能,默认为 std::memory_order_seq_cst(顺序一致性,最安全但性能较低)。其他选项包括 memory_order_relaxed(仅保证</p>

std::atomic 是 C++ 中用于实现原子操作的核心,它能确保对共享数据的操作在多线程环境下不会出现数据竞争,从而保证并发安全。简单来说,使用 std::atomic 的变量,其读、写或复合操作(如自增)是“不可分割”的——其他线程无法观察到中间状态。
什么是原子操作?
原子操作是指一个操作在执行过程中不会被线程调度机制打断。也就是说,该操作要么完全执行,要么完全不执行,不存在部分完成的状态。在多线程编程中,多个线程同时访问同一变量时,如果没有,就会导致未定义行为。
例如,两个线程同时对一个普通整型变量执行 i++,由于 i++ 实际包含“读-改-写”三个步骤,可能两个线程都读取了旧值,各自加1后再写回去,最终只加了一次,造成。
而如果这个变量是 std::atomic<int> 类型,则 ++ 操作会以原子方式完成,结果正确。
std::atomic 的基本用法
你可以将 std::atomic 用于整型、指针等支持原子操作的类型:
- std::atomic<int> counter{0};
- std::atomic<bool> ready{false};
- std::atomic<int*> ptr{nullptr};
常用操作包括:
- load():原子地读取值
- store(val):原子地写入值
- exchange(val):原子地替换值并返回旧值
- compare_exchange_weak/strong(expected, desi):比较并交换(CAS),是实现编程的基础
- fetch_add(), fetch_sub():原子加减并返回原值
- 对整型和指针类型,还支持
++、--等运算符重载
示例代码:
立即学习“”;
#include <atomic> #include <thread> #include <iostream> std::atomic<int> count{0}; void increment() { for (int i = 0; i < 1000; ++i) { count.fetch_add(1); } } int main() { std::thread t1(increment); std::thread t2(increment); t1.join(); t2.join(); std::cout << "Final count: " << count.load() << "n"; // 输出 2000 }
内存序(Memory Order)控制性能与可见性
std::atomic 操作允许指定内存序,用来控制操作的内存同步行为。默认使用 std::memory_order_seq_cst(顺序一致性),最安全但可能影响性能。
一键操作,智能生成专业级PPT
37 常见内存序选项:
- memory_order_relaxed:仅保证原子性,不保证顺序。适合计数器等无需同步场景
- memory_order_acquire:用于读操作,保证后续读写不会被重排到该操作之前
- memory_order_release:用于写操作,保证之前的读写不会被重排到该操作之后
- memory_order_acq_rel:结合 acquire 和 release
- memory_order_seq_cst:最强一致性,所有线程看到相同操作顺序
例如:
count.store(1, std::memory_order_release); int val = count.load(std::memory_order_acquire);
这种配对常用于实现自定义同步机制,如自旋锁或无锁队列。
原子操作的限制与注意事项
std::atomic 并非万能,使用时需注意:
- 不是所有类型都能特化为 atomic。例如 std::atomic<std::string> 不合法,因为字符串操作无法原子化
- 复合操作(如先检查再修改)仍需谨慎,应使用 compare_exchange 循环实现
- 过度使用 memory_order_seq_cst 可能降低性能,应根据需求选择合适的内存序
- 原子变量不能拷贝构造或赋值,只能通过 load/store 或原子操作修改
基本上就这些。std::atomic 提供了高效且灵活的并发控制手段,尤其适用于轻量级同步场景。掌握它,是写出高性能、线程安全 C++ 代码的重要一步。
以上就是++中std::atomic是什么_c++原子操作与并发安全讲解的详细内容,更多请关注php中文网其它相关文章!
微信扫一扫打赏
支付宝扫一扫打赏
