shared_ptr循环引用发生在两个对象互相用shared_ptr持有对方,导致引用计数无法归零而内存泄漏;weak_ptr通过不增加引用计数来打破循环,需用lock()安全访问对象。

shared_ptr 循环引用到底怎么发生的
当两个 shared_ptr 互相持有对方管理的对象时,引用计数永远无法归零,对象就不会析构——这不是死锁,是资源泄漏。典型场景是双向链表节点、父子对象(如树节点中 parent 和 children 互相存 shared_ptr)。
比如 A 持有 shared_ptr,B 内部又持有 shared_ptr,两者构造完成后,各自的引用计数至少为 1,且彼此依赖,析构顺序失效。
weak_ptr 怎么打破这个循环
weak_ptr 不增加引用计数,只“观察”对象是否还活着。把它用在非拥有关系的一端(通常是反向指针),就能让引用计数回归真实所有权模型。
关键点:weak_ptr 不能直接访问对象,必须调用 lock() 转成 shared_ptr 才能使用;如果原对象已析构,lock() 返回空 shared_ptr。
- 只在需要“可能访问”的地方用
weak_ptr,比如 parent 指针、缓存句柄、回调上下文 - 不要对
weak_ptr调用get()或解引用——它没有operator-> -
weak_ptr构造开销极小,但lock()有原子操作成本,别在热路径频繁调用
一个可运行的父子节点循环引用修复示例
#include <memory>
#include <iostream>
struct Child;
struct Parent {
std::shared_ptr<child> child;
~Parent() { std::cout parent; // ← 关键:这里用 weak_ptr
~Child() { std::cout ();
auto c = std::make_shared<child>();
p->child = c;
c->parent = p; // 不增加 p 的引用计数
// 安全访问 parent(需检查 lock 是否成功)
if (auto locked_p = c->parent.lock()) {
std::cout <p>注意:<code>c->parent = p</code> 这行不会延长 <code>p</code> 的生命周期;离开<a style="color:#f60; text-decoration:underline;" title="作用域" href="https://m.php.cn/zt/35787.html" target="_blank">作用域</a>后,<code>c</code> 先析构(无引用残留),接着 <code>p</code> 引用计数降为 0,正常析构。</p>
<h3>weak_ptr 不是万能解药,这些坑得避开</h3>
<p>用错位置反而引入空指针或竞态——<code>weak_ptr</code> 只解决循环引用,不解决线程安全或生命周期误判。</p>
<ul>
<li>不要把 <code>weak_ptr</code> 存在全局容器里长期持有,容易变成悬空观察者</li>
<li>多线程中 <code>lock()</code> + 使用必须是原子逻辑,否则 <code>lock()</code> 成功后对象仍可能被其他线程释放</li>
<li>不能用 <code>weak_ptr</code> 替代原始指针做性能敏感的遍历(比如 vector 中大量 <code>weak_ptr</code>),<code>lock()</code> 的原子开销明显高于裸指针</li>
<li>调试时注意:<code>weak_ptr.use_count()</code> 返回的是它所观察的 <code>shared_ptr</code> 的当前引用计数,不是自己数量</li>
</ul>
<p>最常被忽略的其实是语义:weak_ptr 表达的是“我不要所有权,只临时借用”,如果业务逻辑本质要求强持有,硬套 weak_ptr 只会让代码更难懂、更易出错。</p></child></child></iostream></memory>
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











