atomic能替代锁实现计数器,因其读-改-写操作在硬件层面不可分割,无上下文切换开销和死锁风险;但需合理选用内存序,避免未初始化、误用内存序及直接使用非原子操作符等常见错误。
为什么 atomic 能替代锁实现计数器
因为 atomic 提供的读-改-写操作(如 fetch_add、load、store)在硬件层面是不可分割的,CPU 会保证这些操作不会被线程调度或其它核心干扰。它不依赖互斥锁的阻塞机制,也就没有上下文切换开销和死锁风险。
但要注意:C++ 的 std::atomic 默认使用 memory_order_seq_cst,虽然安全,但在高竞争场景下可能比更宽松的内存序(如 memory_order_relaxed)慢;而计数器若只关心最终值、不依赖其它变量顺序,就可以降级。
std::atomic<int></int> 基础用法与常见错误
最简实现就是声明一个 std::atomic<int></int> 变量,用 fetch_add(1) 增加,load() 读取:
std::atomic<int> counter{0};
counter.fetch_add(1, std::memory_order_relaxed); // 非阻塞递增
int current = counter.load(std::memory_order_relaxed); // 非阻塞读取
容易踩的坑: