讲师中心 微信公众号
AI工具推荐 视频效率加速

C++中std::shared_ptr的循环引用如何通过weak_ptr解决? (引用计数陷阱)

落伟大大_5154

落伟大大_5154

发布时间:2026-02-14 19:09:55

|

254人浏览过

|

来源于php中文网

原创

std::shared_ptr循环引用会导致内存泄漏,因引用计数无法归零;应使用weak_ptr打破循环,仅一方用shared_ptr持有,另一方用weak_ptr观察,并通过lock()安全访问。

c++中std::shared_ptr的循环引用如何通过weak_ptr解决? (引用计数陷阱)

std::shared_ptr 循环引用会导致内存泄漏

当两个 std::shared_ptr 相互持有对方管理的对象时,引用计数永远无法归零,对象永远不会析构。这不是 bug,是设计使然——shared_ptr 只看“还有谁在用”,不关心“谁在用谁”。

典型场景:双向链表节点、父子对象(如树节点)、观察者与被观察者之间用 shared_ptr 互相保存。

现象:程序结束前内存占用持续增长,Valgrind 或 ASan 报告“still reachable”块,对象的析构函数根本不执行。

用 weak_ptr 打断循环中的一个引用链

weak_ptr 不增加引用计数,只“观察”对象是否还活着。它必须配合 lock() 升级为 shared_ptr 才能安全访问对象,且升级失败时返回空 shared_ptr。

立即学习“C++免费学习笔记(深入)”;

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

关键原则:循环中**只有一方用 shared_ptr 持有,另一方改用 weak_ptr**。比如父节点用 shared_ptr 持有子节点,子节点用 weak_ptr 回指父节点。

  • 不要在构造函数里直接用 weak_ptr 的 lock() 结果初始化成员 shared_ptr,容易引发未定义行为
  • 访问前必须调用 lock() 并检查返回值,不能假设对象一定存在
  • weak_ptr 本身不参与资源管理,析构开销极小,但频繁 lock() 有原子操作成本

示例:

struct Node {
    std::shared_ptr<Node> next;
    std::weak_ptr<Node> prev; // 不再用 shared_ptr
};

auto a = std::make_shared<Node>();
auto b = std::make_shared<Node>();
a->next = b;
b->prev = a; // 此时 b 不延长 a 的生命周期

weak_ptr::lock() 返回空 shared_ptr 的常见原因

不是所有 weak_ptr 失效都意味着你写错了,但得知道为什么失效:

  • 被观察的 shared_ptr 已全部析构(正常)
  • 对象在多线程中被另一个线程释放,而本线程的 weak_ptr 还没来得及 lock()(需同步)
  • 误把临时 shared_ptr 赋给 weak_ptr,比如 wptr = std::make_shared<t>();</t> 后立刻离开作用域,临时对象销毁

错误写法:

std::weak_ptr<int> wp;
{
    auto sp = std::make_shared<int>(42);
    wp = sp; // OK
} // sp 析构 → wp now expired
auto sp2 = wp.lock(); // sp2.get() == nullptr

std::enable_shared_from_this 是弱引用的辅助工具

当你需要从对象内部安全地生成指向自身的 shared_ptr(比如回调、异步任务),直接用 this 构造会破坏引用计数——此时必须继承 std::enable_shared_from_this<t></t>。

它内部持有一个 weak_ptr,由首次创建的 shared_ptr 初始化。所以:

  • 必须通过 shared_ptr 创建对象(如 make_shared),否则 shared_from_this() 抛 std::bad_weak_ptr
  • weak_from_this() 是 C++17 新增,可直接拿到那个内部 weak_ptr,适合做延迟访问或观察
  • 不要在构造函数里调用 shared_from_this(),此时内部 weak_ptr 还没被初始化

典型误用:

struct Good : std::enable_shared_from_this<Good> {
    void go() {
        auto self = shared_from_this(); // OK,前提是 this 来自 shared_ptr
    }
};

// 错误:
Good g;
g.shared_from_this(); // 抛异常

循环引用真正的复杂点不在语法,而在逻辑所有权的划分:哪个模块“真正拥有”这个对象?weak_ptr 不是补丁,是所有权模型的显式声明。一旦开始用,就得全程按这个契约来——比如子节点访问父节点前,必须接受“父节点可能已不存在”这个事实。

热门AI工具

更多
咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

相关专题

更多
线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

4558

2023.08.10

Python 多线程与异步编程实战
Python 多线程与异步编程实战

本专题系统讲解 Python 多线程与异步编程的核心概念与实战技巧,包括 threading 模块基础、线程同步机制、GIL 原理、asyncio 异步任务管理、协程与事件循环、任务调度与异常处理。通过实战示例,帮助学习者掌握 如何构建高性能、多任务并发的 Python 应用。

1269

2025.12.24

java多线程相关教程合集
java多线程相关教程合集

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

423

2026.01.21

C++多线程相关合集
C++多线程相关合集

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

579

2026.01.21

C# 多线程与异步编程
C# 多线程与异步编程

本专题深入讲解 C# 中多线程与异步编程的核心概念与实战技巧,包括线程池管理、Task 类的使用、async/await 异步编程模式、并发控制与线程同步、死锁与竞态条件的解决方案。通过实际项目,帮助开发者掌握 如何在 C# 中构建高并发、低延迟的异步系统,提升应用性能和响应速度。

429

2026.02.06

C++多线程并发控制与线程安全设计实践
C++多线程并发控制与线程安全设计实践

本专题围绕 C++ 在高性能系统开发中的并发控制技术展开,系统讲解多线程编程模型与线程安全设计方法。内容包括互斥锁、读写锁、条件变量、原子操作以及线程池实现机制,同时结合实际案例分析并发竞争、死锁避免与性能优化策略。通过实践讲解,帮助开发者掌握构建稳定高效并发系统的关键技术。

273

2026.03.16

Java 多线程与并发编程实战
Java 多线程与并发编程实战

深入讲解 Java 并发编程体系,涵盖 Thread / Runnable / Callable 线程创建方式、线程生命周期与状态转换、synchronized 同步锁与 Lock/ReentrantLock 显式锁、volatile 可见性保证、ThreadPool 线程池配置与调优(核心参数/拒绝策略)、JUC 并发工具类(CountDownLatch/CyclicBarrier/Semaphore/ConcurrentHashMa

369

2026.04.17

C++ 多线程使用教程大全
C++ 多线程使用教程大全

系统讲解 C++11 及后续标准引入的多线程编程能力,涵盖 std::thread 线程创建与生命周期管理、std::mutex / shared_mutex 互斥锁与读写锁、std::condition_variable 条件变量同步、std::atomic 原子操作与内存序(memory_order)、std::future / promise / async 异步任务、线程池的设计与实现、死锁检测与避免策略,帮助开发者编写正确高效

236

2026.04.28

Uvicorn 报错与问题解决教程
Uvicorn 报错与问题解决教程

本专题汇总了Uvicorn服务器常见问题与报错解决的教程合集,涵盖启动失败、端口占用、模块导入错误、事件循环冲突及热重载失效等典型故障的排查思路。同时整理了多进程与Worker配置、SSL/HTTPS证书报错、跨域与代理配置等实战解决方案,助你快速定位并解决Uvicorn运行中的各类问题。

0

2026.11.02

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn