shared_ptr初始化应优先用make_shared以确保异常安全和性能；避免裸指针重复构造导致double-free；循环引用需用weak_ptr打破；reset和赋值影响引用计数；跨线程时控制块线程安全但所指对象不安全。
shared_ptr 初始化必须用 new 或 make_shared
直接把裸指针传给 shared_ptr 构造函数非常危险，比如 shared_ptr<int>(new int(42))</int> 看似没问题，但一旦构造过程中抛异常（比如后续 shared_ptr 内部分配控制块失败），new int(42) 就泄露了。更安全的做法是用 make_shared：它把对象和控制块一次性分配，原子完成，不会泄露。
常见错误现象：shared_ptr 析构后内存没释放、程序崩溃在控制块访问、Valgrind 报 double-free —— 很可能是因为多个 shared_ptr 用同一个裸指针初始化，比如：
int* p = new int(10); shared_ptr<int> a(p); shared_ptr<int> b(p); // 错！a 和 b 各自管理 p，析构时两次 delete p
- 永远优先用
make_shared<t>(args...)</t>，它性能更好、异常安全 - 万不得已要用裸指针初始化时，确保只初始化一次，且不再用该指针构造其他智能指针
-
make_shared不支持自定义删除器，需要删除器时才退回到带deleter的构造函数
循环引用导致内存泄漏的典型场景
shared_ptr 通过引用计数管理生命周期，但父子对象互相持有对方的 shared_ptr 时，计数永远不为 0，对象就永远不会析构 —— 这是最隐蔽的内存泄漏来源之一，尤其在树形结构、观察者模式或回调绑定中高频出现。
例如一个 Node 类同时持有父节点和子节点的 shared_ptr：
立即学习“C++免费学习笔记（深入）”；
struct Node {
shared_ptr<Node> parent;
vector<shared_ptr<Node>> children;
};只要任意父子链形成闭环（比如 child→parent→child），整条链就锁死。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 打破循环的标准解法是把其中一端换成
weak_ptr，比如让parent改成weak_ptr<node></node> -
weak_ptr不增加引用计数，访问前必须调用lock()转成shared_ptr，返回空说明原对象已销毁 - 注意：不能对
weak_ptr直接解引用，也不能用它初始化另一个shared_ptr（除非调用lock()）
reset() 和赋值操作对引用计数的影响
reset() 和 = 赋值都会改变当前 shared_ptr 所指向的对象，并触发旧对象引用计数减一、新对象加一 —— 但很多人忽略它们的语义差异和副作用。
比如：
shared_ptr<int> a = make_shared<int>(1); shared_ptr<int> b = a; // b 和 a 共享，计数=2 a.reset(); // a 置空，计数减为1；b 仍有效 b.reset(); // 计数减为0，内存释放
-
reset()等价于赋值一个空shared_ptr，会立即释放旧资源（如果计数归零） - 赋值操作（
=）是浅拷贝，不复制对象，只共享控制块；若右边为空，则左边也变为空 - 频繁调用
reset()可能导致控制块反复分配/释放，性能敏感路径建议复用对象或用移动语义：a = std::move(b)
跨线程使用 shared_ptr 的注意事项
shared_ptr 的控制块（含引用计数）是线程安全的，即多个线程同时读写不同 shared_ptr 实例（哪怕指向同一对象）不会导致数据竞争。但对象本身不是线程安全的 —— 这点常被混淆。
错误理解：“用了 shared_ptr 就不用加锁”，结果在多线程里并发修改它指向的 vector 或调用非线程安全成员函数，引发未定义行为。
- 控制块线程安全 ≠ 所指对象线程安全；引用计数增减原子，但对象内容需自行同步
- 若需在线程间转移所有权，优先用
std::move，避免无谓的原子计数操作 - 避免在临界区外长期持有
shared_ptr并在临界区内解引用——可能因其他线程提前释放导致空指针解引用；稳妥做法是先lock()（如果是weak_ptr）或确保生命周期覆盖整个使用区间
真正麻烦的从来不是怎么创建 shared_ptr，而是搞清谁在什么时候还持有它。引用计数像一层薄冰，踩对位置没事，一步踏错就掉进循环引用或竞态里，而且往往等程序跑几天才暴露。
