std::weak_ptr的核心作用是打破shared_ptr的循环引用，避免内存泄漏。它通过不增加引用计数的方式观察对象，在对象仍存活时可升级为shared_ptr访问，从而实现非拥有的安全引用。
std::weak_ptr
的核心作用，就是提供一种“非拥有”（non-owning）的引用机制，它能观察一个由
std::shared_ptr
管理的对象，但自身不参与对象的生命周期管理。这意味着，它不会增加对象的引用计数。当
shared_ptr
之间出现相互持有对方引用，导致引用计数永远无法归零的“循环引用”问题时，
weak_ptr
通过打破这种所有权链条，确保对象最终能被正确释放。简单来说，它就像一个旁观者，看着对象，但不对其生老病死负责。
解决方案
要理解
std::weak_ptr
如何解决循环引用，我们得先从
std::shared_ptr
的工作原理说起。
shared_ptr
内部维护着一个引用计数，每当有一个
shared_ptr
实例指向同一个对象，引用计数就加一；当一个
shared_ptr
实例被销毁或重新赋值时，引用计数就减一。当引用计数降到零时，它所管理的对象就会被删除。
问题就出在，如果两个对象 A 和 B，A 持有 B 的
shared_ptr
，同时 B 也持有 A 的
shared_ptr
，这就形成了一个死循环。A 和 B 的引用计数永远不会降到零，因为它们各自还被对方“拥有”着。即使外部所有对 A 和 B 的
shared_ptr
都消失了，它们也无法被释放，造成内存泄漏。
std::weak_ptr
正是为了解决这个痛点而生的。它的设计理念是：我可以知道你存在，甚至在你存在的时候使用你，但我绝不干涉你的“寿命”。当我们在一个循环引用中，将其中一方对另一方的
shared_ptr
替换为
weak_ptr
，这个循环就被打破了。
立即学习“C++免费学习笔记（深入）”；
举个例子，假设我们有一个
Node
类，表示图中的节点，它可能需要引用其他节点。如果两个节点
nodeA
和
nodeB
互相持有对方的
shared_ptr
，那它们就永远无法被销毁。
class Node {public: std::shared_ptr next; // ... 其他数据 ... ~Node() { std::cout << "Node destroyed." << std::endl; }};// 循环引用示例void demonstrate_circular_reference() { auto nodeA = std::make_shared(); auto nodeB = std::make_shared(); nodeA->next = nodeB; nodeB->next = nodeA; // 此时 nodeA 和 nodeB 的引用计数都为 2 // 外部对 nodeA 和 nodeB 的 shared_ptr 离开作用域后，它们的引用计数会降到 1 // 但因为互相持有，永远不会降到 0，导致内存泄漏}
要解决这个问题，我们可以让其中一个
next
成员变成
std::weak_ptr
：
class Node {public: std::shared_ptr next_strong; // 强引用，参与计数 std::weak_ptr next_weak; // 弱引用，不参与计数 // ... 其他数据 ... ~Node() { std::cout << "Node destroyed." << std::endl; }};void solve_circular_reference() { auto nodeA = std::make_shared(); auto nodeB = std::make_shared(); nodeA->next_strong = nodeB; // A 强引用 B nodeB->next_weak = nodeA; // B 弱引用 A // 此时 nodeA 的强引用计数为 1 (外部) + 0 (来自 next_weak，不计数) = 1 // nodeB 的强引用计数为 1 (外部) + 1 (来自 next_strong) = 2 // 外部 shared_ptr 离开作用域后： // nodeB 的强引用计数降到 1 (来自 nodeA->next_strong) // nodeA 的强引用计数降到 0，nodeA 被销毁。 // nodeA 被销毁后，nodeA->next_strong 也被销毁，导致 nodeB 的强引用计数降到 0，nodeB 被销毁。}
通过这种方式，
nodeB
对
nodeA
的引用不再增加
nodeA
的强引用计数。当外部所有对
nodeA
的强引用都消失时，
nodeA
就能被正常销毁。
nodeA
销毁时，它内部对
nodeB
的强引用也会随之释放，最终
nodeB
也能被销毁。循环就此打破，内存泄漏得以避免。
std::weak_ptr究竟是如何工作的？它与shared_ptr有何本质区别？
std::weak_ptr
和
std::shared_ptr
都依赖于一个共享的控制块（control block），这个控制块通常是在第一次创建
shared_ptr
时（比如通过
std::make_shared
）一同创建的。这个控制块里包含了两个引用计数：一个是“强引用计数”（strong count），另一个是“弱引用计数”（weak count）。
std::shared_ptr
增加的是强引用计数。当强引用计数归零时，它所管理的对象就会被销毁。
std::weak_ptr
增加的则是弱引用计数。它不影响对象的生命周期，也就是说，即使有很多
weak_ptr
指向一个对象，只要强引用计数归零，对象就会被删除。弱引用计数的作用是，当对象被销毁后，控制块本身不会立即被销毁，它会一直存在，直到所有
weak_ptr
都被销毁。这允许
weak_ptr
能够判断它所观察的对象是否还“活着”。
weak_ptr
的核心操作是
lock()
方法。当你调用
weak_ptr::lock()
时，它会检查其所观察的对象的强引用计数是否大于零。如果对象还活着，
lock()
会返回一个临时的
std::shared_ptr
，并增加对象的强引用计数。这样，你就可以安全地使用这个对象了。如果对象已经被销毁（即强引用计数为零），
lock()
会返回一个空的
std::shared_ptr
。
这种机制的本质区别在于所有权：
shared_ptr
拥有对象，并管理其生命周期；
weak_ptr
只是观察对象，不拥有，也不管理生命周期。它更像是一个“观察者模式”中的观察者，或者说，是一个可以“失效”的指针。
在哪些实际场景中，我们应该优先考虑使用std::weak_ptr？
std::weak_ptr
并非一个通用的指针替代品，它有其特定的应用场景，主要集中在需要打破循环引用和实现非拥有观察的地方。
父子关系中子节点对父节点的引用：在许多数据结构中，父节点拥有子节点（通过
shared_ptr
），但子节点可能需要反向引用其父节点。如果子节点也用
shared_ptr
引用父节点，就会形成循环。此时，子节点内部使用
weak_ptr
引用父节点是最佳选择。父节点可以被销毁，而子节点仍然可以判断父节点是否存在。
观察者模式（Observer Pattern）：在观察者模式中，一个主题（Subject）可能被多个观察者（Observer）订阅。如果主题持有观察者的
shared_ptr
，而观察者又需要持有主题的
shared_ptr
（例如，为了在取消订阅时使用），也会产生循环。让主题持有观察者的
weak_ptr
，可以确保观察者在不再被其他地方引用时能够被销毁，同时主题也能安全地检查观察者是否仍然有效。
缓存机制：当你实现一个缓存系统时，你可能希望缓存中的对象在没有其他强引用时能够被自动清除。如果缓存持有对象的
shared_ptr
，那么对象将永远不会被释放。通过让缓存持有对象的
weak_ptr
，一旦外部不再有强引用，对象就能被回收，而缓存中的
weak_ptr
会失效，下次访问时发现对象已不存在，便可将其从缓存中移除。
图或复杂数据结构中的节点：在图结构中，节点之间可能存在复杂的相互引用。为了避免循环引用导致内存泄漏，通常会策略性地使用
weak_ptr
来处理某些方向的引用，尤其是在双向链表或图的边表示中。
跨线程或异步操作中的对象生命周期管理：当一个对象需要在后台线程中进行处理，并且处理结果可能在对象生命周期结束后才返回时，如果后台任务持有对象的
shared_ptr
，可能会不必要地延长对象的生命周期。使用
weak_ptr
可以在任务开始时尝试
lock()
获取
shared_ptr
，如果成功，则说明对象仍然存在且可以安全访问；如果失败，则说明对象已销毁，任务可以安全终止或跳过。
我个人在设计一些复杂系统时，尤其是在涉及回调和事件处理的场景下，发现
weak_ptr
简直是救星。它让我能更优雅地处理对象的生命周期，避免了大量手动管理和潜在的悬空指针问题。
使用std::weak_ptr时有哪些常见的陷阱和最佳实践？
虽然
std::weak_ptr
解决了
shared_ptr
的循环引用问题，但它本身也有一些需要注意的细节和使用陷阱。
务必检查
lock()
的结果：这是最重要的一点。
weak_ptr
所指向的对象随时可能被销毁，因此在尝试使用它之前，必须通过
lock()
方法获取一个
shared_ptr
，并检查这个
shared_ptr
是否为空。忘记检查
lock()
的结果，直接解引用一个可能已经失效的
weak_ptr
，会导致未定义行为（通常是程序崩溃）。
std::weak_ptr weakPtr;// ... somewhere else, the shared_ptr might have expired ...if (auto sharedPtr = weakPtr.lock()) { // 对象仍然存在，可以安全使用 sharedPtr sharedPtr->doSomething();} else { // 对象已失效，sharedPtr 为空 std::cout << "对象已销毁，无法执行操作。" << std::endl;}
weak_ptr
不能直接解引用：
weak_ptr
不提供
operator*
或
operator->
。你必须先通过
lock()
方法将其转换为
shared_ptr
才能访问底层对象。这是其非拥有性质的体现。
weak_ptr
不适合作为通用指针：不要用
weak_ptr
替代
unique_ptr
或裸指针，除非你明确需要其非拥有、可失效的特性来解决特定问题（如循环引用或观察者模式）。在大多数情况下，如果一个对象是独占所有权，用
unique_ptr
；如果生命周期由其创建者控制且不涉及共享所有权，用裸指针（注意生命周期管理）。
weak_ptr
引入了额外的开销，包括原子操作和控制块的管理。
避免
weak_ptr
指向栈对象：
weak_ptr
是为
shared_ptr
管理的堆对象设计的。如果你尝试创建一个指向栈上对象的
shared_ptr
，然后从它创建
weak_ptr
，这本身就是不规范的，因为
shared_ptr
通常用于管理动态分配的资源。当栈对象超出作用域时，
shared_ptr
会认为它已经管理了对象的生命周期，但实际上对象已经由栈自动销毁，这会导致未定义行为。
性能开销：
weak_ptr::lock()
内部会涉及原子操作来尝试增加强引用计数，这会带来一定的性能开销。在性能敏感的代码路径中，如果能通过其他方式（如事件通知或生命周期保证）避免使用
weak_ptr
，可能更优。但通常情况下，这点开销是值得的，因为它换来了正确的内存管理和更高的代码健壮性。
初始化问题：
weak_ptr
可以从
shared_ptr
或另一个
weak_ptr
初始化。但不能从裸指针直接初始化。你必须先有一个
shared_ptr
来管理对象，然后才能创建
weak_ptr
。
我曾经在项目中遇到过一个非常隐蔽的 bug，就是因为在回调函数中使用了
weak_ptr
，但忘记了在每次调用前
lock()
并检查其有效性。结果，在某些极端情况下，被观察的对象提前销毁，回调函数在后台线程中试图访问一个已经不存在的对象，导致了难以追踪的崩溃。这个教训让我深刻认识到，
weak_ptr
虽好，但其“不确定性”是需要时刻警惕的。所以，每次使用
weak_ptr
，我的条件反射就是先写
if (auto sp = wp.lock()) { ... }
。
以上就是C++的std::weak_ptr是如何解决shared_ptr循环引用问题的的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1473637.html
微信扫一扫 
支付宝扫一扫 
