std::atomic 提供原子操作以避免数据竞争,支持 int、bool、指针等类型,常用方法有 load、store、fetch_add 和 compare_exchange_weak,可用于无锁编程,如原子计数、标志位同步、CAS 循环更新及原子指针操作实现无锁链表,使用时需注意内存顺序与类型限制。

在C++多线程编程中,std::atomic 提供了一种安全的方式来操作共享变量,避免数据竞争。它保证对特定类型的操作是原子的,即不会被其他线程中断,常用于实现无锁编程或简化同步逻辑。
1. 基本用法与常用类型
std::atomic 是一个模板类,可以包装像 int、bool、指针等可平凡复制(trivially copyable)的类型。
常用特化类型包括:
- std::atomic
- std::atomic
-
std::atomic
(适用于指针) - std::atomic_flag(最轻量,只支持 test_and_set / clear)
示例:定义一个原子整数并进行自增:
立即学习“C++免费学习笔记(深入)”;
#include#include iostream>
std::atomic
void increment() {
for (int i = 0; i counter.fetch_add(1); // 原子加1
}
}
2. 常见操作函数说明
原子对象提供多种操作方式,以下是核心方法:
- load():原子地读取当前值
- store(val):原子地写入值
- fetch_add(val):加 val 并返回旧值(支持 +、- 等)
- exchange(val):设置新值,返回旧值
- compare_exchange_weak(expected, desired):CAS 操作,常用于实现无锁结构
示例:使用 load 和 store 安全访问:
std::atomic// 线程1:等待就绪
while (!ready.load()) {
std::this_thread::sleep_for(std::chrono::milliseconds(1));
}
std::cout
// 线程2:设置就绪
ready.store(true);
3. compare_exchange_weak 使用示例
CAS(Compare and Swap)是实现原子更新的关键机制。常见于修改前检查是否被其他线程改动。
std::atomicvoid safe_increment_if_10() {
int expected = 10;
bool success = value.compare_exchange_weak(expected, 11);
if (success) {
std::cout } else {
std::cout ailed: current value is " }
}
注意:compare_exchange_weak 可能因虚假失败而返回 false,通常放在循环中使用:
int expected = value.load();do {
// 修改期望值
} while (!value.compare_exchange_weak(expected, expected + 1));
4. 原子指针操作
std::atomic
int data;
Node* next;
};
std::atomic
void push_front(int val) {
Node* new_node = new Node{val, nullptr};
Node* old_head;
do {
old_head = head.load();
new_node->next = old_head;
} while (!head.compare_exchange_weak(old_head, new_node));
}
基本上就这些。std::atomic 让你在不加锁的情况下安全操作共享变量,但要小心内存顺序(默认是 memory_order_seq_cst,最安全但也稍慢)。除非有性能要求,否则不必显式指定。使用时注意不要对复杂对象使用 atomic,它只适合基本类型和指针。











