c++中std::atomic是什么，如何使用_c++原子操作与并发安全解析

std::atomic是C++中用于保证共享变量操作原子性的模板类，定义在<atomic>头文件中，支持int、bool、指针等平凡可复制类型，通过load、store、exchange和compare_exchange_weak/strong等成员函数实现线程安全的读取、写入和比较交换操作，避免数据竞争；其操作可指定内存序（如memory_order_relaxed、acquire/release、seq_cst），其中seq_cst为默认且最严格；常用于实现无锁编程，但不支持拷贝构造与赋值，复杂同步仍需配合互斥锁使用。

在C++多线程编程中，std::atomic 是用于实现原子操作的核心工具。它确保对共享数据的读取、修改和写入操作不会被多个线程同时干扰，从而避免数据竞争（data race），保证并发安全。

什么是 std::atomic？

std::atomic 是一个模板类，定义在 <atomic> 头文件中，用于封装某种类型的变量（如 int、bool、指针等），使其操作具有原子性。这意味着在多线程环境下，对该变量的操作是不可分割的——不会出现中间状态被其他线程观察到的情况。

常见的原子类型包括：

• std::atomic<int>
• std::atomic<bool>
• std::atomic<T*>（用于原子指针）
• C++17 起还提供了 std::atomic_flag（最轻量的原子布尔标志）

为什么需要原子操作？

在没有原子操作的情况下，多个线程对同一变量进行递增操作可能会导致结果错误。例如：

立即学习“C++免费学习笔记（深入）”；

int counter = 0;
// 多个线程执行 counter++;

看似简单的操作实际上包含“读-改-写”三个步骤，在并发场景下可能交错执行，最终结果小于预期。

使用 std::atomic 可以解决这个问题：

#include <atomic>
#include <thread>
#include <vector>
std::atomic<int> counter(0);
void increment() {
for (int i = 0; i < 1000; ++i) {
counter++;  // 原子递增，线程安全
}
}
int main() {
std::vector<std::thread> threads;
for (int i = 0; i < 10; ++i) {
threads.emplace_back(increment);
}
for (auto& t : threads) {
t.join();
}
// 最终 counter 的值一定是 10000
return 0;
}

常用原子操作与内存序

std::atomic 提供了多种成员函数来执行不同语义的原子操作：

PPT.CN,PPTCN,PPT.CN是什么,PPT.CN官网,PPT.CN如何使用

一键操作，智能生成专业级PPT

37

查看详情

• load()：原子地读取值
• store(val)：原子地写入值
• exchange(val)：设置新值并返回旧值
• compare_exchange_weak() 和 compare_exchange_strong()：比较并交换（CAS），是实现无锁算法的基础

这些操作可以接受一个可选的内存序（memory order）参数，控制操作的内存同步行为。常用的有：

• std::memory_order_relaxed：最宽松，仅保证原子性，不保证顺序
• std::memory_order_acquire / release：用于实现锁或同步点
• std::memory_order_seq_cst：默认选项，提供最严格的顺序一致性，安全性最高但性能略低

示例：使用 compare_exchange_strong 实现线程安全的单例或无锁栈节点插入：

std::atomic<int> value(0);
int expected = value.load();
while (!value.compare_exchange_strong(expected, 42)) {
// 如果当前值等于 expected，则设为 42；否则更新 expected 为当前值
// 循环重试直到成功
}

注意事项与限制

并非所有类型都能用于 std::atomic。只有满足“平凡可复制（trivially copyable）”的类型才支持。例如自定义结构体需谨慎使用，通常建议只用于基本类型或指针。

另外，虽然原子操作避免了数据竞争，但并不意味着完全不需要互斥锁。复杂逻辑或多变量协调仍可能需要 mutex 配合。

std::atomic 不支持拷贝构造和赋值，因为这会破坏原子性保障。

基本上就这些。std::atomic 是编写高效并发程序的重要工具，理解其原理和用法有助于写出更安全、更高性能的多线程代码。关键是掌握 load/store、CAS 操作以及合理选择内存序。