能检测,但必须在编译期介入、运行时埋点、退出前校验——核心靠拦截分配、记录上下文、比对残余;重载 operator new/delete 是最实用起点,需覆盖所有变体(含 new[]/delete[]、noexcept、对齐版本),避免递归调用,用静态容器(如 vector+线性查找)和 mutex 保障线程安全,记录文件行号,程序末尾显式 dump 未释放块。

能检测,但必须在编译期介入、运行时埋点、退出前校验——不依赖 valgrind 或 AddressSanitizer,核心就靠三件事:拦截分配、记录上下文、比对残余。
重载 operator new 和 operator delete 是最实用的起点
这是 C++ 标准允许的合法手段,所有 new 表达式最终都会落到 operator new,包括 new[];delete 同理。关键不是“能不能重载”,而是“怎么避免递归调用”和“怎么存信息不引发新泄漏”。
- 必须提供带位置信息的重载版本:
void* operator new(size_t, const char*, int),否则宏替换#define new new(__FILE__, __LINE__)会失败 - 内部记录不能用
std::map或std::string—— 它们自己可能触发new,导致死循环;改用static std::unordered_map<void meminfo ...></void>并配合自定义哈希/分配器,或更稳妥地用static std::vector+ 线性查找(调试阶段够用) - 加
std::mutex是必须的,多线程下不加锁会导致g_alloc_map迭代崩溃,但锁本身可能引入性能抖动,上线前应关闭 - 不要在
operator delete里做复杂日志——只删记录,留到程序退出统一 dump
_CrtDumpMemoryLeaks() 在 Windows Debug CRT 下开箱即用
VS 默认项目(尤其 MFC)已启用,但纯 Win32 Console 项目默认不生效,需手动补全配置。
- 头文件必须是
#include <crtdbg.h></crtdbg.h>,且_CRTDBG_MAP_ALLOC要在包含前定义:#define _CRTDBG_MAP_ALLOC - 必须在
main()返回前调用_CrtDumpMemoryLeaks(),放在atexit()里也不保险——某些全局对象析构可能触发 new - 输出格式固定:
{157} normal block at 0x003AF170, 4 bytes long,其中{157}是分配序号,双击该行可跳转到源码,但前提是编译时启用了/Zi(生成调试信息) - 它只捕获 CRT 分配(
malloc/new),不跟踪VirtualAlloc或第三方堆,也不管智能指针内部是否泄漏
宏替换 malloc/free 适合单文件快速验证
不改动构建系统、不依赖编译器特性,但仅限于你完全控制的源码——第三方库、系统头文件里的 malloc 不会被替换。
- 定义要放在所有
#include之后,否则stdio.h里的内部 malloc 调用会被污染 - 宏里不能调用
printf或任何可能间接调用malloc的函数(比如snprintf在某些 libc 实现中会 malloc 临时 buffer),推荐用write(2)直接写 fd - 记录文件路径别用
./block/%p.mem这种含地址的路径——ASLR 下地址不可靠,且不同进程可能冲突;改用进程 PID + 自增 ID 更稳 - 释放时检查
unlink()返回值:返回 -1 且errno == ENOENT表示 double-free;返回 0 才算成功匹配
退出时遍历残留记录必须人工干预时机
没人帮你自动触发 dump——C++ 没有“程序退出前钩子”的标准机制,靠 atexit() 很危险:全局对象析构期间仍可能 new,此时再 dump 会漏报或 crash。
- 最佳实践是在
main()最后一行显式调用检测函数,例如dump_unfreed_blocks() - 若程序是服务型(无限循环),需提供信号 handler(如
SIGUSR1),收到信号后 dump 并继续运行,避免停服 - dump 内容至少包含:地址、大小、
__FILE__、__LINE__、调用栈(可用backtrace()+addr2line,但注意符号未 strip) - 别指望一次跑完就定位全部泄漏——有些泄漏只在特定分支触发,需结合条件编译(
#ifdef MEM_TRACE)或运行时开关控制埋点粒度
真正难的不是记下谁 alloc 了,而是确保记录过程自身不 alloc、不 crash、不拖慢主线程;最容易被忽略的是多线程竞争和第三方库绕过你的 hook——它们的存在意味着你永远只能覆盖“你看见的那部分内存流”。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











