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

在C++中,std::atomic 是一个模板类,用于封装变量并提供原子操作,确保对这些变量的读、写或修改在多线程环境下是“不可分割”的,即不会被其他线程中断。这是实现线程安全的重要工具之一,尤其适用于避免数据竞争(data race)。
原子操作指的是一个操作在执行过程中不会被线程调度机制打断。也就是说,从任意线程看来,该操作要么完全执行完毕,要么尚未开始,不存在中间状态。例如:
这类操作如果不在原子层面完成,多个线程同时访问就可能导致结果错误。比如两个线程同时执行 counter++,实际可能只增加一次,因为读取、修改、写入这三个步骤可能交错执行。
使用 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,由于它是原子操作,最终结果始终正确。
常用成员函数包括:
std::atomic 允许指定内存顺序,控制操作的内存可见性和重排序行为。常见的选项有:
合理选择内存序可以在保证正确性的前提下提升性能,尤其是在高性能并发场景中。
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; // 可能无法保证原子性,取决于平台
以上就是c++++中的std::atomic是什么_原子操作的概念与多线程安全实现的详细内容,更多请关注php中文网其它相关文章!
c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号