0

0

C++如何实现自定义的智能指针检测内存泄漏?(开发工具辅助)

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-02-28 14:54:01

|

391人浏览过

|

来源于php中文网

原创

用 __attribute__((destructor)) 可在程序退出前自动触发泄漏检测,需配合全局 unordered_set 记录裸指针地址、重载 operator new/delete 保存调用栈,并辅以 addresssanitizer 验证真实性,避免误报漏报。

c++如何实现自定义的智能指针检测内存泄漏?(开发工具辅助)

__attribute__((destructor)) 捕获程序退出时的未释放对象

自定义智能指针本身不自带泄漏检测能力,得靠外部机制在进程结束前扫描全局存活对象。GCC/Clang 支持 __attribute__((destructor)),它会在 main() 返回后、库卸载前自动调用标记函数——这是最轻量、无侵入的钩子点。

常见错误是把清理逻辑写在普通全局对象的析构函数里,但静态对象析构顺序不确定,可能在你的检测器之前就被销毁了,导致漏报。

  • 必须用 C 风格函数 + __attribute__((destructor)),不能是类静态成员或 lambda
  • 检测器要早于所有智能指针实例初始化(比如放在单独的 .cpp 文件,避免被链接器优化掉)
  • 记录对象地址时用 std::unordered_set<void></void>,别存 shared_ptr 本身——那会延长生命周期,掩盖泄漏
static std::unordered_set<void*> g_live_ptrs;
void track_ptr(void* p) { g_live_ptrs.insert(p); }
void untrack_ptr(void* p) { g_live_ptrs.erase(p); }
<p><strong>attribute</strong>((destructor))
static void report_leaks() {
if (!g_live_ptrs.empty()) {
fprintf(stderr, "Memory leaks detected: %zu objects\n", g_live_ptrs.size());
for (auto p : g_live_ptrs) {
fprintf(stderr, "  %p\n", p);
}
}
}

重载 operator newoperator delete 记录分配源头

只靠析构钩子只能知道“还有谁活着”,但不知道“从哪来的”。要定位泄漏点,得拦截每次堆分配,把调用栈、文件名、行号一起记下来。C++ 允许全局重载这两个操作符,但要注意:它们不处理 mallocnew[] 或 STL 容器内部分配(除非你一并重载 operator new[])。

容易踩的坑是没处理对齐要求(C++17 起 operator new 必须支持 align_val_t),导致 std::vector 等容器崩溃。

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

Vidyo.ai
Vidyo.ai

一款将长视频制作成短片的AI工具

下载
  • backtrace() + backtrace_symbols() 获取栈帧,但注意符号未 strip 时才有效
  • 分配记录结构体里至少存 void* 地址、size_t 大小、const char* file、int line
  • 记得在 operator delete 里从记录表中删除对应项,否则误报
  • 多线程下必须加锁(std::mutex 或原子操作),否则记录表会损坏

配合 AddressSanitizer(ASan)验证泄漏是否真实

自己写的检测器可能漏掉某些路径(比如异常中途跳出、信号中断),也可能把正常缓存当成泄漏。AddressSanitizer 的 -fsanitize=leak 是更可靠的基线工具——它在运行时跟踪所有 malloc/free,并在退出时报告未配对的分配。

关键差异在于:ASan 检测的是“堆块未释放”,而你的自定义指针检测的是“智能指针对象未析构”。两者不等价:前者可能因裸指针接管内存而漏报;后者可能因循环引用导致 shared_ptr 永不析构而误报。

  • 编译时加 -fsanitize=leak -fno-omit-frame-pointer,否则 ASan 无法还原栈
  • ASan 不兼容自定义 operator new(会冲突),调试时二者选其一
  • LSAN_OPTIONS=suppressions=lsan.supp 屏蔽已知的第三方库假阳性
  • 检查输出里的 indirect leak:说明有对象通过其他路径持有该内存,不是你的智能指针问题

为什么不用 std::weak_ptr 自动发现循环引用?

weak_ptr 本身不解决泄漏,只是提供一种打破循环的手段。它无法主动上报“这里有个循环引用正在发生”,只能靠人工在设计时插入 weak_ptr 断开强引用链。

真正复杂的地方在于:泄漏未必来自循环引用。比如一个全局 shared_ptr 持有对象,但业务逻辑忘记清空它;或者对象被注册到某个事件总线后长期无人反注册。这类问题没法靠 weak_ptr 探测,只能靠上面说的运行时分配跟踪 + 退出扫描。

最容易被忽略的是:智能指针的控制块(control block)本身也占内存,且独立于托管对象。如果你只扫描对象地址,会漏掉控制块泄漏——尤其当大量短生命周期 shared_ptr 频繁创建销毁时,控制块分配可能成为性能瓶颈或隐蔽泄漏源。

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

556

2023.09.20

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

407

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

201

2025.07.04

string转int
string转int

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

870

2023.08.02

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

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

592

2024.08.29

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

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

294

2025.08.29

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

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

210

2025.08.29

javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

185

2023.11.23

Golang 测试体系与代码质量保障:工程级可靠性建设
Golang 测试体系与代码质量保障:工程级可靠性建设

Go语言测试体系与代码质量保障聚焦于构建工程级可靠性系统。本专题深入解析Go的测试工具链(如go test)、单元测试、集成测试及端到端测试实践,结合代码覆盖率分析、静态代码扫描(如go vet)和动态分析工具,建立全链路质量监控机制。通过自动化测试框架、持续集成(CI)流水线配置及代码审查规范,实现测试用例管理、缺陷追踪与质量门禁控制,确保代码健壮性与可维护性,为高可靠性工程系统提供质量保障。

0

2026.02.28

热门下载

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

精品课程

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

共58课时 | 5.6万人学习

Pandas 教程
Pandas 教程

共15课时 | 1.1万人学习

ASP 教程
ASP 教程

共34课时 | 5.4万人学习

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

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