atomic 原子变量是 C++11 提供的用于解决多线程竞争的机制，通过硬件级原子操作保证变量访问的完整性。它定义在 <atomic> 头文件中，支持如 int、bool 等基础类型的原子读写、自增、比较交换等操作，避免使用互斥锁实现线程安全。典型应用场景为计数器，例如多个线程对 std::atomic<int> 类型变量进行自增，可确保结果正确。其核心操作包括 load、store、exchange 和 compare_exchange_weak/strong，并支持运算符重载。通过指定内存序（如 memory_order_relaxed、memory_order_seq_cst）可平衡性能与一致性。但 atomic 不适用于涉及多个变量或复杂逻辑的场景，此类情况仍需互斥锁。
在多线程编程中，多个线程同时访问共享数据容易引发竞争条件（race condition），导致程序行为不可预测。C++ 提供了 atomic 类型来解决这一问题，它通过硬件级别的原子操作保证对变量的读、写或修改是不可分割的，从而实现线程安全而无需显式使用互斥锁（mutex）。
什么是 atomic 原子变量？
atomic 是 C++11 引入的一个模板类，定义在 <atomic> 头文件中。它可以包装一个基础类型（如 int、bool、指针等），并确保对该变量的操作是原子的。也就是说，当一个线程正在读取或修改该变量时，其他线程无法中断这个过程。
例如：
#include <atomic> std::atomic<int> counter(0); // 原子整型变量
此时对 counter 的自增、赋值等操作都是线程安全的。
立即学习“C++免费学习笔记（深入）”；
为什么需要 atomic？
考虑一个简单的计数器场景：多个线程同时执行 counter++。表面上看是一条语句，实际上包含三个步骤：读取值、加1、写回内存。如果两个线程几乎同时读到相同的旧值，就会导致其中一个线程的更新被覆盖。
使用普通变量会出现漏计数的问题。而使用 std::atomic 后，整个“读-改-写”过程由 CPU 指令保证原子性，避免了数据竞争。
常见用法与操作
atomic 支持多种原子操作，常用的包括：
- load()：原子地读取当前值
- store(val)：原子地写入新值
- exchange(val)：设置新值，并返回旧值
- compare_exchange_weak() 和 compare_exchange_strong()：比较并交换（CAS），用于实现无锁算法的核心机制
- 支持运算符重载，如 ++、--、+= 等（仅适用于特定类型，如整型和指针）
示例：线程安全的计数器
#include <iostream>
#include <thread>
#include <vector>
#include <atomic>
std::atomic<int> count(0);
void increment() {
for (int i = 0; i < 1000; ++i) {
count++; // 安全的原子自增
}
}
int main() {
std::vector<std::thread> threads;
for (int i = 0; i < 10; ++i) {
threads.emplace_back(increment);
}
for (auto& t : threads) {
t.join();
}
std::cout << "Final count: " << count.load() << std::endl;
return 0;
}
无论运行多少次，结果都会是 10000，说明 atomic 成功避免了竞态条件。
内存序（Memory Order）控制性能与可见性
atomic 操作可以指定内存顺序，影响编译器优化和 CPU 乱序执行的行为。默认使用 memory_order_seq_cst（顺序一致性），最安全但可能稍慢。
根据需求可选择更轻量的选项：
- memory_order_relaxed：只保证原子性，不保证顺序，适合计数器类场景
- memory_order_acquire / release：用于线程间同步，控制变量修改的可见顺序
- memory_order_acq_rel：结合 acquire 和 release
- memory_order_seq_cst：最强一致性模型
例如，一个高性能计数器可以这样写：
count.fetch_add(1, std::memory_order_relaxed);
这在不需要严格同步顺序时能提升性能。
限制与注意事项
并不是所有类型都能用于 atomic。标准库为 bool、整型、指针等提供了特化版本，但自定义类型需满足 trivially copyable 才能使用 atomic
另外，虽然 atomic 避免了锁的开销，但它并不能替代 mutex 在所有场景下的作用。比如涉及多个变量的复合逻辑，仍需使用锁来保证整体事务性。
基本上就这些。掌握 atomic 是学习 C++ 无锁编程的第一步，合理使用可以在保证线程安全的同时提升并发性能。
