0

0

c++怎么实现简单的智能指针_c++引用计数原理【核心】

尼克

尼克

发布时间:2026-03-12 20:39:31

|

216人浏览过

|

来源于php中文网

原创

std::shared_ptr通过控制块实现引用计数管理:控制块含对象指针、强/弱引用计数、销毁逻辑;拷贝增计数,析构减计数,归零时删除对象;控制块与对象默认分内存分配,make_shared可合并分配提升性能;控制块线程安全,但托管对象需额外同步;weak_ptr不增计数,须lock()获取临时shared_ptr才可安全访问;适用于多所有者场景,单一所有者应选unique_ptr或栈对象。

c++怎么实现简单的智能指针_c++引用计数原理【核心】

std::shared_ptr 是怎么靠引用计数活下来的

它不靠魔法,就靠一个额外的控制块(control block):里面存着指向对象的指针、当前引用计数、销毁逻辑(比如自定义 deleter),还有弱引用计数。每次 shared_ptr 拷贝,控制块里的引用计数加 1;每次析构或重置,减 1;减到 0 就 delete 对象。

注意:控制块和托管对象**不一定在一块内存里**。默认情况下,shared_ptr<T>(new T) 会分别分配两块内存——对象一块,控制块一块。这有性能开销,也影响缓存局部性。

  • make_shared<T>() 可以把对象和控制块**一次分配、连续布局**,省一次 malloc,也更快
  • make_shared 不支持自定义分配器传给 T 的构造函数(C++17 起部分支持),如果 T 的构造函数需要非常规参数且依赖分配器,可能得退回到 new + shared_ptr
  • 控制块本身是线程安全的(引用计数增减是原子操作),但被管理的对象不是——别以为用了 shared_ptr 就能随便多线程读写对象

weak_ptr 不增加引用计数,但为什么不能直接解引用

weak_ptr 只观察,不参与所有权。它内部只存指向控制块的指针,不碰强引用计数。所以它自己析构不会影响对象生死,也不会阻止对象被释放。

正因为如此,你不能直接用 operator*operator->——它没保证对象还活着。必须先调 lock(),得到一个临时 shared_ptr,或者用 expired() 判断。

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

AI Web Designer
AI Web Designer

AI网页设计师,快速生成个性化的网站设计

下载
  • lock() 成功返回非空 shared_ptr,失败返回空;这是唯一安全拿强引用的方式
  • 别写 if (!wp.expired()) { auto p = wp.lock(); ... } —— 这中间可能已被其他线程释放,还是得用 lock() 结果判断
  • weak_ptr 常用于打破循环引用:A 持有 shared_ptr<B>,B 用 weak_ptr<A> 回指,这样 A 和 B 都能正常析构

手动实现简易 shared_ptr 时最容易崩在哪

核心就三件事:控制块生命周期、引用计数线程安全、析构时机。崩点全在这儿。

  • 控制块必须和 shared_ptr 实例共存亡——不能用裸指针存控制块地址,得用 shared_ptr<control_block> 管理它自己?不行,死循环。正确做法是控制块里用裸指针指向数据,再用原子整数管计数
  • 引用计数必须是原子操作(如 std::atomic_int),否则多线程拷贝/析构会撕裂计数器,导致提前释放或内存泄漏
  • 别忘了 weak 引用计数:即使没人用 shared_ptr,只要还有 weak_ptr 活着,控制块就得留着(因为要回答 expired());只有强+弱计数都为 0,控制块才能删
  • 自定义 deleter 如果捕获了外部变量,得确保它和控制块一起分配,否则 weak_ptr::lock() 后执行 deleter 时可能访问已销毁闭包

什么时候不该用 shared_ptr

它解决的是「多个所有者共享同一资源」的问题。不是万能胶,乱贴反而出事。

  • 单一所有者场景(比如函数内创建、函数末尾销毁)——用 unique_ptr 或栈对象,零开销
  • 只是临时观察、绝不会延长对象生命——用裸指针或引用更轻量,也更清晰表达意图
  • 高频小对象(如 vector 里存几千个 shared_ptr<int>)——每个都带控制块开销,不如存值或用对象池
  • 跨 DLL 边界传递(Windows 下尤其危险)——不同模块可能用不同堆,shared_ptr 在 A 模块 new,在 B 模块 delete,崩溃

引用计数本身不复杂,难的是边界条件:多线程、自定义删除器、异常安全、与裸指针混用……这些地方一松懈,就是夜半 core dump。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

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

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

847

2023.08.22

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1051

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

614

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

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

335

2025.08.29

C++中int的含义
C++中int的含义

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

235

2025.08.29

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

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

447

2023.07.18

堆和栈区别
堆和栈区别

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

606

2023.08.10

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

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

447

2023.07.18

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 11.3万人学习

C 教程
C 教程

共75课时 | 5.4万人学习

C++教程
C++教程

共115课时 | 21.7万人学习

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

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