21. 内存泄漏检测：Valgrind、AddressSanitizer与智能指针

内存泄漏，说白了就是程序申请了内存，但忘了还回去。

你想想看，一个服务跑上几天，内存一点点被吃掉，最后系统扛不住，直接崩了。这种问题我在项目中遇到过好几次，每次排查都让人头大。今天我就把常用的检测工具和智能指针的配合用法，一次性讲清楚。

21.1 内存泄漏的本质

内存泄漏的根源其实很简单：new 了但没有 delete，或者 malloc 了但没有 free。

但现实往往更复杂。比如异常路径没处理好，提前 return 了，释放代码没走到。又比如对象互相引用，导致引用计数永远降不到零。

21.2 Valgrind：老牌内存检测工具

Valgrind 是个重量级选手。它通过模拟 CPU 来检测内存访问，准确率很高，但代价是程序跑起来会慢 10-20 倍。

我个人的习惯是：在开发阶段，每周跑一次 Valgrind 做全量检查。

基本用法

// 示例：一个典型的内存泄漏
#include <iostream>

void leak_function() {
    int* p = new int(42);
    // 忘记 delete p;
}

int main() {
    leak_function();
    return 0;
}

用 Valgrind 检测：

g++ -g -o leak leak.cpp
valgrind --leak-check=full ./leak

输出会告诉你：哪一行分配的内存没有被释放。嗯，这里要注意，Valgrind 的报告有时候信息量很大，你得学会过滤关键行。

常见误报场景

Valgrind 也不是万能的。比如标准库内部的一些缓存机制，可能会被误报为泄漏。我曾经被这个坑过，排查了半天才发现是误报。

21.3 AddressSanitizer：轻量级替代方案

AddressSanitizer（简称 ASan）是 Google 开发的工具，集成在 GCC 和 Clang 中。它比 Valgrind 快得多，程序只慢 2-3 倍。

我个人更推荐 ASan，因为它能直接嵌入到日常开发流程中。

启用方式

g++ -fsanitize=address -g -o asan_test leak.cpp
./asan_test

ASan 会在程序退出时报告所有未释放的内存。而且它还能检测缓冲区溢出、使用已释放内存等问题。

对比表格

特性	Valgrind	AddressSanitizer
速度影响	慢 10-20 倍	慢 2-3 倍
内存占用	基本不变	增加 2-3 倍
检测能力	内存泄漏、未初始化	内存泄漏、越界、use-after-free
集成难度	需要单独安装	编译器内置
适用场景	深度排查	日常开发

21.4 智能指针如何帮助避免泄漏

说白了，智能指针就是让编译器帮你管内存。你只管用，它负责释放。

unique_ptr：独占所有权

#include <memory>

void no_leak() {
    auto p = std::make_unique<int>(42);
    // 离开作用域时自动释放
}

这里有个坑：如果你用 p.get() 拿到裸指针，然后手动 delete，那就会 double free。我曾经见过有人这么干，结果程序崩溃得莫名其妙。

shared_ptr：共享所有权

void shared_leak_example() {
    auto a = std::make_shared<int>(1);
    auto b = a;  // 引用计数变为 2
    // 离开作用域时，引用计数减为 0，自动释放
}

但 shared_ptr 也有自己的问题——循环引用。两个对象互相持有对方的 shared_ptr，引用计数永远降不到零。

weak_ptr：打破循环引用

class Node {
    std::shared_ptr<Node> next;
    std::weak_ptr<Node> prev;  // 用 weak_ptr 避免循环
};

weak_ptr 不增加引用计数。它就像一个观察者，需要的时候通过 lock() 获取 shared_ptr。

21.5 知识体系图

下面这张图展示了内存泄漏检测与智能指针的核心关系：

21.6 实战建议

说了这么多，我总结几条实战经验：

1. 开发阶段用 ASan：编译时加 -fsanitize=address，跑单元测试就能发现大部分问题。
2. 发布前跑 Valgrind：做一次全量检查，确保没有遗漏。
3. 优先用 unique_ptr：能用独占就别用共享，性能更好，逻辑也更清晰。
4. shared_ptr 要小心循环引用：一旦发现对象析构不了，先检查是不是互相引用了。
5. 别混用智能指针和裸指针：要么全用智能指针，要么全手动管理。混着用最容易出问题。