标准 std::shared_ptr 不是写时复制的，因为它只管理对象生命周期，不提供访问语义隔离；真正的 COW 要求读共享、写前拷贝并保证线程安全，而 shared_ptr 仅原子维护引用计数，无此语义。
为什么标准 std::shared_ptr 不是写时复制的？
std::shared_ptr 的引用计数是原子的，但每次读取或写入所指向对象时，它都直接访问同一块内存 —— 没有“复制”动作。真正的写时复制（COW）要求：多个读者可共享同一份数据，一旦某个线程尝试修改，它必须先创建一份私有副本，再修改，且不影响其他读者。标准智能指针不提供这种语义层的隔离，它只管生命周期，不管访问模式。
如何手动实现一个基础 COW ptr（以 std::shared_ptr 为底层）？
核心思路是：把“是否独占”状态和“实际数据”分离；所有读操作走共享视图；写操作前检查引用计数，仅当 use_count() > 1 时才触发深拷贝。
- 用
std::shared_ptr<t></t>存储数据，保证自动管理生命周期 - 读操作（如
operator*、operator->）直接返回解引用，无需拷贝 - 写操作入口（例如
write()方法）调用make_unique_copy()：若ptr.use_count() == 1，直接返回原指针；否则调用new T(*ptr)构造副本，并用新std::shared_ptr替换 - 注意：不能重载
operator=对T的赋值来隐式触发 COW —— 这会污染接口且无法拦截成员函数调用
template<typename T>
class cow_ptr {
std::shared_ptr<T> ptr;
public:
explicit cow_ptr(std::shared_ptr<T> p) : ptr(std::move(p)) {}
explicit cow_ptr(std::unique_ptr<T> p) : ptr(std::move(p)) {}
<pre class='brush:php;toolbar:false;'>const T& read() const { return *ptr; }
T& write() {
if (ptr.use_count() > 1) {
ptr = std::make_shared<T>(*ptr); // deep copy
}
return *ptr;
}
// 只读访问器（推荐用于 const 场景）
const T* get() const { return ptr.get(); }};
多线程下 use_count() 检查 + 复制不是原子的，怎么办？
这是最关键的陷阱：ptr.use_count() > 1 返回 true 后，另一线程可能立刻释放其引用，导致你刚判断完就变成独占，但你仍执行了无谓拷贝；更糟的是，若两个线程同时判断为非独占并同时拷贝，会浪费资源，但不会崩溃 —— 因为 std::shared_ptr 的构造本身是线程安全的。真正要防的是「判断后写入前」被抢占导致逻辑错乱。
立即学习“C++免费学习笔记（深入）”；
- 不能靠单次
use_count()判断做决策 —— 它只是快照，不提供同步语义 - 正确做法：用
std::shared_ptr::unique()（C++17 起）或更稳妥地，用std::atomic<bool>配合 CAS 控制写入权，但会增加复杂度 - 实践中，更常见的是放弃“完全透明”的 COW，改为显式接口：比如只暴露
read()和mutate()，并在mutate()内部用std::shared_ptr的原子操作+重置完成安全替换 - 如果
T支持移动构造/赋值，优先用std::make_shared<T>(std::move(*ptr))减少拷贝开销
COW ptr 在什么场景真正有用？
它不是通用替代品，只在特定读多写少 + 数据拷贝成本可控 + 逻辑上需隔离修改的场景有价值：
- 配置对象缓存：多个模块读取同一份配置，仅管理后台线程偶尔更新
- 不可变数据结构的“伪可变”封装：比如封装一个
std::vector，允许用户“修改”但实际生成新副本 - 避免锁竞争：比起对整个对象加
std::mutex，COW 把同步点转移到复制瞬间（通常很短），适合低频写入 - 注意：如果
T很大（如百 MB 的 buffer）或拷贝极慢（含外部资源），COW 反而恶化性能；此时应考虑细粒度锁或 RCU
真正难的不是“怎么复制”，而是判断“什么时候该复制”——这依赖对共享意图和并发模型的精确建模，而不是模板技巧。
