原子操作是不可分割的操作，能避免多线程数据竞争。C++11提供std::atomic模板类，支持整型和指针类型的原子读写、增减及CAS操作，如load、store、fetch_add等，默认保证顺序一致性，相比互斥锁更轻量，适用于计数器、标志位等简单共享变量，但不适用于复杂事务操作，需结合内存序谨慎使用以确保正确性和性能。
在C++多线程编程中，多个线程同时访问共享数据容易引发数据竞争（data race），导致程序行为未定义。解决这一问题的关键是确保对共享数据的操作是原子的——即操作不可分割，不会被其他线程打断。C++11引入了std::atomic模板类，为原子操作提供了语言级别的支持，是避免数据竞争的有效手段。
什么是原子操作？
原子操作是指一个操作在执行过程中不会被线程调度机制中断，它要么完全执行，要么完全不执行，不会出现中间状态。在多线程环境中，使用原子操作可以安全地读、写或修改共享变量，而无需额外加锁。
std::atomic 是一个模板类，可用于整型、指针等类型，例如：
- std::atomic
- std::atomic
- std::atomic
注意：不能用于自定义类型（除非特化并满足特定条件）。
立即学习“C++免费学习笔记（深入）”；
基本用法示例
以下是一个典型的计数器例子，展示如何使用 std::atomic 避免数据竞争：
#include
#include
#include
std::atomic
void increment() {
for (int i = 0; i counter.fetch_add(1, std::memory_order_relaxed);
}
}
int main() {
std::vector<:thread> threads;
for (int i = 0; i threads.emplace_back(increment);
}
for (auto& t : threads) {
t.join();
}
std::cout return 0;
}
在这个例子中，多个线程并发调用 fetch_add 增加计数器。由于 counter 是 std::atomic
常用原子操作函数
std::atomic 提供了多种成员函数来执行不同的原子操作：
- load()：原子地读取当前值
- store(value)：原子地写入新值
- exchange(value)：设置新值，并返回旧值
- compare_exchange_weak() 和 compare_exchange_strong()：实现CAS（Compare-And-Swap），常用于无锁编程
- fetch_add() / fetch_sub()：原子加减，返回原值
这些操作默认使用最强的内存序 std::memory_order_seq_cst，保证顺序一致性。如果性能要求高，可显式指定更弱的内存序，但需谨慎使用。
与互斥锁的对比
相比 std::mutex，原子操作通常更轻量，没有锁的开销，适合简单共享变量的场景。例如，一个标志位或计数器使用 std::atomic
但在复杂操作（如更新多个变量、事务性操作）中，原子操作难以胜任，仍需使用互斥锁来保护临界区。
基本上就这些。合理使用 std::atomic 可以有效避免多线程下的数据竞争，提升程序效率和安全性。关键是理解其适用场景和内存模型的影响。
