0

0

c++的智能指针shared_ptr存在哪些循环引用问题? (weak_ptr实战)

穿越時空

穿越時空

发布时间:2026-01-09 13:51:29

|

294人浏览过

|

来源于php中文网

原创

shared_ptr循环引用发生于双方相互持有导致引用计数无法归零;weak_ptr通过不增加引用计数并配合lock()安全访问来破环,需在非拥有关系端使用。

c++的智能指针shared_ptr存在哪些循环引用问题? (weak_ptr实战)

shared_ptr 循环引用是怎么发生的

当两个 shared_ptr 相互持有对方管理的对象时,各自的引用计数永远无法降到 0,导致内存泄漏。典型场景是双向链表节点、父子对象关系(如树结构中父节点持子节点的 shared_ptr,子节点又用 shared_ptr 回指父节点)。

根本原因是 shared_ptr 的引用计数只在析构或重置时递减,而双方都“等着对方先释放”,结果谁都不释放。

weak_ptr 如何打破循环

weak_ptr 不增加引用计数,只“观察”目标对象是否还活着。它不能直接访问对象,必须调用 lock() 获得一个临时的 shared_ptr —— 如果原对象已销毁,lock() 返回空 shared_ptr

实战中,把“非拥有关系”的那一端换成 weak_ptr 即可破环。例如子节点对父节点的引用应为 weak_ptr,而不是 shared_ptr

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

  • 使用 weak_ptr::lock() 获取安全访问:返回 shared_ptr,自动处理生命周期检查
  • 避免直接用 weak_ptr::operator->() —— 它不存在,强制你显式调用 lock()
  • 不要长期缓存 lock() 返回的 shared_ptr,除非你明确需要延长对象生命周期

常见误用与陷阱

很多人以为只要用了 weak_ptr 就万事大吉,其实仍有几个关键坑:

聚蜂消防BeesFPD
聚蜂消防BeesFPD

关注消防领域的智慧云平台

下载
  • 从裸指针或 shared_ptr.get() 构造 weak_ptr 是未定义行为 —— 必须由同一个 shared_ptr 初始化
  • weak_ptr 本身不保证线程安全:多个线程同时调用 lock() 没问题,但若一个线程正在析构对象,另一个线程的 lock() 可能返回空,需业务逻辑容错
  • 误用 expired() 判断后直接解引用:它只是快照,调用完到实际使用之间对象仍可能被销毁;正确做法是 auto sp = wp.lock(); if (sp) { /* use *sp */ }
  • 在 lambda 捕获中混用 shared_ptrweak_ptr:若捕获 shared_ptr 会导致隐式延长生命周期,应捕获 weak_ptr 并在 lambda 内部 lock()

一个最小可验证示例

下面代码演示父子类间用 shared_ptr + weak_ptr 避免泄漏:

#include 
#include 

struct Child; struct Parent { std::shared_ptr child; ~Parent() { std::cout << "Parent destroyed\n"; } };

struct Child { std::weak_ptr parent; // 注意:不是 shared_ptr ~Child() { std::cout << "Child destroyed\n"; } };

int main() { auto p = std::make_shared(); auto c = std::make_shared(); p->child = c; c->parent = p; // weak_ptr 不增加 p 的引用计数

// 此时 p 的引用计数为 1(main 中的 p),c 的引用计数为 1(p-youjiankuohaophpcnchild)
// 函数结束时 p 和 c 都能正常析构

}

如果把 std::weak_ptr 换成 std::shared_ptr,程序退出时两个对象都不会析构 —— 这就是循环引用的真实表现。

真正难的不是知道该用 weak_ptr,而是识别出哪些引用是“非拥有”的。这依赖对数据所有权边界的清晰判断,稍一模糊,weak_ptr 就会变成掩盖设计缺陷的胶带。

相关专题

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

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

738

2023.08.22

if什么意思
if什么意思

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

738

2023.08.22

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

204

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

190

2025.11.08

Python lambda详解
Python lambda详解

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

47

2026.01.05

线程和进程的区别
线程和进程的区别

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

480

2023.08.10

Golang gRPC 服务开发与Protobuf实战
Golang gRPC 服务开发与Protobuf实战

本专题系统讲解 Golang 在 gRPC 服务开发中的完整实践,涵盖 Protobuf 定义与代码生成、gRPC 服务端与客户端实现、流式 RPC(Unary/Server/Client/Bidirectional)、错误处理、拦截器、中间件以及与 HTTP/REST 的对接方案。通过实际案例,帮助学习者掌握 使用 Go 构建高性能、强类型、可扩展的 RPC 服务体系,适用于微服务与内部系统通信场景。

6

2026.01.15

公务员递补名单公布时间 公务员递补要求
公务员递补名单公布时间 公务员递补要求

公务员递补名单公布时间不固定,通常在面试前,由招录单位(如国家知识产权局、海关等)发布,依据是原入围考生放弃资格,会按笔试成绩从高到低递补,递补考生需按公告要求限时确认并提交材料,及时参加面试/体检等后续环节。要求核心是按招录单位公告及时响应、提交材料(确认书、资格复审材料)并准时参加面试。

37

2026.01.15

公务员调剂条件 2026调剂公告时间
公务员调剂条件 2026调剂公告时间

(一)符合拟调剂职位所要求的资格条件。 (二)公共科目笔试成绩同时达到拟调剂职位和原报考职位的合格分数线,且考试类别相同。 拟调剂职位设置了专业科目笔试条件的,专业科目笔试成绩还须同时达到合格分数线,且考试类别相同。 (三)未进入原报考职位面试人员名单。

51

2026.01.15

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
10分钟--Midjourney创作自己的漫画
10分钟--Midjourney创作自己的漫画

共1课时 | 0.1万人学习

Midjourney 关键词系列整合
Midjourney 关键词系列整合

共13课时 | 0.9万人学习

AI绘画教程
AI绘画教程

共2课时 | 0.2万人学习

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

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