C++20前std::atomic不合法,仅能通过std::atomic_load/store等自由函数原子操作;C++20起标准强制特化,支持load/store/CAS,要求16字节无锁或退化为互斥锁。

std::atomic<:shared_ptr>> 在 C++20 之前就存在,但直到 C++20 才支持完整原子操作
在 C++11 到 C++17 中,std::atomic<:shared_ptr>> 是受限的:只允许 load()、store()、exchange() 和 compare_exchange_weak/strong(),且所有操作都要求指针值对齐(通常没问题),但不支持 fetch_add 类算术操作——这很正常,因为 shared_ptr 不是数值类型。C++20 没新增“新类型”,而是正式标准化并修复了部分实现缺陷(如某些平台上的 compare_exchange 内存序行为),并明确要求所有标准库实现必须提供完整的特化支持。
你不需要等 C++20 才用它;只要编译器支持(GCC 4.8+、Clang 3.2+、MSVC 2015+),就可以安全使用基础原子操作。关键不是语言版本,而是你是否需要无锁更新共享所有权。
什么时候该用 std::atomic<:shared_ptr>> 而不是普通 shared_ptr
当你有多个线程频繁读取同一个 std::shared_ptr,且偶尔需要**无锁地更新其指向对象**时,才值得上 std::atomic<:shared_ptr>>。常见于无锁数据结构(如 lock-free stack、MPSC queue 的 head 指针)或配置热更新场景。
- ✅ 适用:多线程轮询一个全局配置指针,主线程原子替换新配置对象
- ✅ 适用:无锁栈的
top指针,每次push/pop都需 CAS 更新 - ❌ 过度设计:仅用于传递所有权(如函数参数)、或读多写少但可接受互斥锁的场景
- ❌ 错误用法:把它当线程安全的容器用(它不保护
T的内部状态,只保护指针本身的读写原子性)
compare_exchange_weak 的典型用法和易错点
compare_exchange_weak 是最常用也最容易出错的操作。它可能因 ABA 或平台原因“伪失败”(返回 false 却没修改),必须放在循环里重试。别直接用 compare_exchange_strong 图省事——它在某些架构(如 ARM)上开销显著更高。
std::atomic<:shared_ptr>> head{nullptr};
<p>void push(Node* new_node) {
auto new_ptr = std::shared_ptr<node>(new_node);
auto expected = head.load();
do {
new_ptr->next = expected;
} while (!head.compare_exchange_weak(expected, new_ptr));
}
</node></p></:shared_ptr>
- 注意:循环体内必须重新计算依赖
expected的值(如上面的new_ptr->next = expected),否则会写入陈旧指针 -
compare_exchange_weak的第一个参数是引用,会把当前实际值写回expected,所以每次循环开始前expected都是最新观测值 - 不要忽略返回值——不检查就等于放弃原子性保证
load/store 的内存序选择直接影响性能和正确性
默认 load() 和 store() 使用 memory_order_seq_cst,安全但可能拖慢性能。在明确知道读写不与其他原子变量构成依赖关系时,可降级:
- 纯发布场景(如初始化后只读):用
load(std::memory_order_acquire)+store(std::memory_order_release) - 计数器式更新(不关心顺序,只保原子性):可用
memory_order_relaxed,但务必确认没有隐含依赖(例如:先 store ptr,再 store 其他字段) - 千万别混用:
relaxed load后立刻访问ptr->data可能读到未初始化内存——除非你能确保构造完成与指针发布之间有同步(比如用releasestore 发布指针)
多数情况下,老老实实用默认序更稳妥;只有在 profiler 显示原子操作成为瓶颈,且你完全理解 memory model 时,才去调优。
真正麻烦的从来不是语法,而是弄清“哪个线程何时能看到哪个版本的对象”,以及“对象析构是否会在其他线程还持有指针时发生”。std::shared_ptr 的引用计数本身是原子的,但 std::atomic 包裹的是指针值——这两层原子性要分开想清楚。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











