std::atomic::exchange()比store()更安全，因其原子返回旧值，使调用方能安全处置（如延迟回收或析构），而store()仅单向写入，丢失旧值导致无法判断资源是否仍在被其他线程使用。
std::atomic 的 exchange() 为什么比 store() 更安全
用 store() 只是单向写入新值，旧指针直接丢失，调用方无法知道它是否还在被其他线程使用；而 exchange() 原子返回旧值，你才能决定怎么处置它——比如包装成 std::shared_ptr 触发析构，或加入延迟回收队列。
常见错误是写成：ptr.store(new_obj); delete old_obj; —— 这里 old_obj 根本没来源，编译都过不去。
正确做法始终是先拿到旧值再处理：
auto old = ptr.exchange(new_obj);- 若
old != nullptr，说明有旧对象，需确保其生命周期结束（不能裸delete，除非你完全控制分配方式） - 如果原对象由
std::make_shared构造，且你保留了控制块访问能力，可复用其 deleter；否则推荐统一走std::shared_ptr管理
更换时怎么避免 double-free 或 use-after-free
裸指针原子切换本身不带所有权语义，出问题几乎都卡在内存释放环节。最稳妥的路径是：所有节点必须用 std::make_shared 构造，更换后把旧指针塞回 std::shared_ptr 再丢弃。
立即学习“C++免费学习笔记（深入）”；
但注意这个写法是错的：std::shared_ptr<t>(old)</t> —— 它会尝试新建控制块，导致和原有 std::shared_ptr 实例双控同一对象，引用计数错乱。
正确方式是利用 aliasing 构造或自定义 deleter：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 如果你还持有原始
std::shared_ptr实例，直接复用它的get()和deleter - 否则，用
std::shared_ptr<t>(nullptr, [old](T*) { delete old; })</t>手动接管释放逻辑（仅限new分配的对象） - 更健壮的做法：整个链表/结构只用
std::shared_ptr存储节点，原子操作对象改为std::atomic<:shared_ptr>></:shared_ptr>（C++20 起合法）
std::atomic<:shared_ptr>> 在 C++20 中能直接用了，但要注意什么
C++20 标准确实提供了 std::atomic<:shared_ptr>></:shared_ptr> 特化，支持 load()、store()、exchange() 和 compare_exchange_weak()。但它只对“指针地址”做原子操作，不保证引用计数增减与对象析构同步完成。
也就是说：atomic_ptr.exchange(new_ptr) 是原子的，但 new_ptr 的引用计数 +1 发生在传入前，old_ptr 的 -1 和可能的销毁发生在 exchange 返回后——中间存在微小窗口，其它线程仍可能持有旧 std::shared_ptr 实例。
所以它适合「读多写少」场景，比如配置热更新、观察者列表替换，但不适合高频所有权移交（如无锁队列 pop）。关键限制：
- 必须用
std::make_shared构造对象，否则控制块不完整，引用计数操作未定义 - 不能对它用
=赋值，必须显式调用store()或exchange() - 所有读取必须用
load()，不能直接取*atomic_ptr
为什么 std::atomic 加标记位不是万能解法
有人想用 std::atomic<:uintptr_t></:uintptr_t> 存带标记的指针（比如低 2 位存状态），但问题在于：它不提供 fetch_or、fetch_and 这类原子位操作，所有位运算都得靠 compare_exchange_weak 循环实现，代码复杂且易出错。
更隐蔽的坑是平台依赖：
- x86-64 上
std::atomic<:uintptr_t></:uintptr_t>通常是 lock-free 的，ARM64 却要求 8 字节对齐，否则compare_exchange_weak可能触发未定义行为 - 指针地址若本身不对齐（比如某些嵌入式平台或自定义分配器），左移腾标记位会截断高位，导致地址错误
- 标记位数不能超过自然对齐位数（4 字节对齐 → 最多用低 2 位），超了就破坏指针有效性
真正需要标记指针时，优先考虑标准方案：用 std::atomic<:shared_ptr>></:shared_ptr> 配合状态字段，或用 Hazard Pointer 等成熟无锁内存管理机制——别自己拼 uintptr_t。
