0

0

C++的std::weak_ptr是如何解决shared_ptr循环引用问题的

P粉602998670

P粉602998670

发布时间:2025-08-30 08:49:01

|

997人浏览过

|

来源于php中文网

原创

std::weak_ptr的核心作用是打破shared_ptr的循环引用,避免内存泄漏。它通过不增加引用计数的方式观察对象,在对象仍存活时可升级为shared_ptr访问,从而实现非拥有的安全引用。

c++的std::weak_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
并非一个通用的指针替代品,它有其特定的应用场景,主要集中在需要打破循环引用和实现非拥有观察的地方。

  1. 父子关系中子节点对父节点的引用:在许多数据结构中,父节点拥有子节点(通过

    shared_ptr
    ),但子节点可能需要反向引用其父节点。如果子节点也用
    shared_ptr
    引用父节点,就会形成循环。此时,子节点内部使用
    weak_ptr
    引用父节点是最佳选择。父节点可以被销毁,而子节点仍然可以判断父节点是否存在。

    知识吐司
    知识吐司

    专注K12教育的AI知识漫画生成工具

    下载
  2. 观察者模式(Observer Pattern):在观察者模式中,一个主题(Subject)可能被多个观察者(Observer)订阅。如果主题持有观察者的

    shared_ptr
    ,而观察者又需要持有主题的
    shared_ptr
    (例如,为了在取消订阅时使用),也会产生循环。让主题持有观察者的
    weak_ptr
    ,可以确保观察者在不再被其他地方引用时能够被销毁,同时主题也能安全地检查观察者是否仍然有效。

  3. 缓存机制:当你实现一个缓存系统时,你可能希望缓存中的对象在没有其他强引用时能够被自动清除。如果缓存持有对象的

    shared_ptr
    ,那么对象将永远不会被释放。通过让缓存持有对象的
    weak_ptr
    ,一旦外部不再有强引用,对象就能被回收,而缓存中的
    weak_ptr
    会失效,下次访问时发现对象已不存在,便可将其从缓存中移除。

  4. 图或复杂数据结构中的节点:在图结构中,节点之间可能存在复杂的相互引用。为了避免循环引用导致内存泄漏,通常会策略性地使用

    weak_ptr
    来处理某些方向的引用,尤其是在双向链表或图的边表示中。

  5. 跨线程或异步操作中的对象生命周期管理:当一个对象需要在后台线程中进行处理,并且处理结果可能在对象生命周期结束后才返回时,如果后台任务持有对象的

    shared_ptr
    ,可能会不必要地延长对象的生命周期。使用
    weak_ptr
    可以在任务开始时尝试
    lock()
    获取
    shared_ptr
    ,如果成功,则说明对象仍然存在且可以安全访问;如果失败,则说明对象已销毁,任务可以安全终止或跳过。

我个人在设计一些复杂系统时,尤其是在涉及回调和事件处理的场景下,发现

weak_ptr
简直是救星。它让我能更优雅地处理对象的生命周期,避免了大量手动管理和潜在的悬空指针问题。

使用std::weak_ptr时有哪些常见的陷阱和最佳实践?

虽然

std::weak_ptr
解决了
shared_ptr
的循环引用问题,但它本身也有一些需要注意的细节和使用陷阱。

  1. 务必检查

    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;
    }
  2. weak_ptr
    不能直接解引用
    weak_ptr
    不提供
    operator*
    operator->
    。你必须先通过
    lock()
    方法将其转换为
    shared_ptr
    才能访问底层对象。这是其非拥有性质的体现。

  3. weak_ptr
    不适合作为通用指针:不要用
    weak_ptr
    替代
    unique_ptr
    或裸指针,除非你明确需要其非拥有、可失效的特性来解决特定问题(如循环引用或观察者模式)。在大多数情况下,如果一个对象是独占所有权,用
    unique_ptr
    ;如果生命周期由其创建者控制且不涉及共享所有权,用裸指针(注意生命周期管理)。
    weak_ptr
    引入了额外的开销,包括原子操作和控制块的管理。

  4. 避免

    weak_ptr
    指向栈对象
    weak_ptr
    是为
    shared_ptr
    管理的堆对象设计的。如果你尝试创建一个指向栈上对象的
    shared_ptr
    ,然后从它创建
    weak_ptr
    ,这本身就是不规范的,因为
    shared_ptr
    通常用于管理动态分配的资源。当栈对象超出作用域时,
    shared_ptr
    会认为它已经管理了对象的生命周期,但实际上对象已经由栈自动销毁,这会导致未定义行为。

  5. 性能开销

    weak_ptr::lock()
    内部会涉及原子操作来尝试增加强引用计数,这会带来一定的性能开销。在性能敏感的代码路径中,如果能通过其他方式(如事件通知或生命周期保证)避免使用
    weak_ptr
    ,可能更优。但通常情况下,这点开销是值得的,因为它换来了正确的内存管理和更高的代码健壮性。

  6. 初始化问题

    weak_ptr
    可以从
    shared_ptr
    或另一个
    weak_ptr
    初始化。但不能从裸指针直接初始化。你必须先有一个
    shared_ptr
    来管理对象,然后才能创建
    weak_ptr

我曾经在项目中遇到过一个非常隐蔽的 bug,就是因为在回调函数中使用了

weak_ptr
,但忘记了在每次调用前
lock()
并检查其有效性。结果,在某些极端情况下,被观察的对象提前销毁,回调函数在后台线程中试图访问一个已经不存在的对象,导致了难以追踪的崩溃。这个教训让我深刻认识到,
weak_ptr
虽好,但其“不确定性”是需要时刻警惕的。所以,每次使用
weak_ptr
,我的条件反射就是先写
if (auto sp = wp.lock()) { ... }

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

772

2023.08.22

counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

198

2023.11.20

treenode的用法
treenode的用法

​在计算机编程领域,TreeNode是一种常见的数据结构,通常用于构建树形结构。在不同的编程语言中,TreeNode可能有不同的实现方式和用法,通常用于表示树的节点信息。更多关于treenode相关问题详情请看本专题下面的文章。php中文网欢迎大家前来学习。

536

2023.12.01

C++ 高效算法与数据结构
C++ 高效算法与数据结构

本专题讲解 C++ 中常用算法与数据结构的实现与优化,涵盖排序算法(快速排序、归并排序)、查找算法、图算法、动态规划、贪心算法等,并结合实际案例分析如何选择最优算法来提高程序效率。通过深入理解数据结构(链表、树、堆、哈希表等),帮助开发者提升 在复杂应用中的算法设计与性能优化能力。

17

2025.12.22

深入理解算法:高效算法与数据结构专题
深入理解算法:高效算法与数据结构专题

本专题专注于算法与数据结构的核心概念,适合想深入理解并提升编程能力的开发者。专题内容包括常见数据结构的实现与应用,如数组、链表、栈、队列、哈希表、树、图等;以及高效的排序算法、搜索算法、动态规划等经典算法。通过详细的讲解与复杂度分析,帮助开发者不仅能熟练运用这些基础知识,还能在实际编程中优化性能,提高代码的执行效率。本专题适合准备面试的开发者,也适合希望提高算法思维的编程爱好者。

24

2026.01.06

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

394

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

575

2023.08.10

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

394

2023.07.18

c++ 根号
c++ 根号

本专题整合了c++根号相关教程,阅读专题下面的文章了解更多详细内容。

70

2026.01.23

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号