第12章内存管理

课程目录第12章内存管理

12、内存管理：智能指针实战与RAII原则

内存管理，说白了就是C++里最容易翻车的地方。

我做了十几年C++开发，见过太多因为内存泄漏、悬空指针、重复释放导致的事故。有些问题在测试环境跑得好好的，一上线就崩。嗯，今天我们就来聊聊怎么用智能指针把这些坑填平。

12.1 RAII：C++内存管理的基石

RAII全称是"资源获取即初始化"。这名字听着挺学术，其实核心思想很简单：把资源的生命周期绑定到对象的生命周期上。

你想想看，一个局部对象在离开作用域时会自动调用析构函数。如果我们把内存、文件句柄、锁这些资源在构造函数里获取，在析构函数里释放，那资源管理就变得自动了。

核心原则：谁分配，谁释放。但通过RAII，让编译器替我们执行释放操作。

我在项目中遇到过这样一个场景：一个函数里开了三个文件，中间某个操作抛了异常，后面的关闭代码根本没执行。用RAII封装后，不管函数怎么退出，析构函数都会执行，文件一定被关闭。

// 传统方式：容易漏掉释放
void oldWay() {
    int* p = new int[100];
    // ... 中间可能抛异常
    delete[] p;  // 如果抛异常，这行不会执行
}

// RAII方式：自动释放
void raiiWay() {
    std::unique_ptr<int[]> p(new int[100]);
    // ... 中间随便抛异常
    // 离开作用域时，unique_ptr析构函数自动delete[]
}

12.2 unique_ptr：独占所有权

unique_ptr 是我个人用得最多的智能指针。它的特点很明确：一个对象只能被一个unique_ptr拥有。不能拷贝，只能移动。

为什么设计成不能拷贝？你想想看，如果两个指针都认为自己拥有同一个对象，那谁负责释放？两个都释放就是double free，都不释放就是内存泄漏。unique_ptr用移动语义解决了这个问题——所有权只能转移，不能共享。

使用建议：默认情况下，优先使用unique_ptr。只有确实需要共享所有权时，才考虑shared_ptr。

#include <memory>

class Resource {
public:
    Resource() { /* 获取资源 */ }
    ~Resource() { /* 释放资源 */ }
    void doWork() {}
};

void demo() {
    // 创建unique_ptr
    std::unique_ptr<Resource> ptr1 = std::make_unique<Resource>();
    
    // 移动所有权
    std::unique_ptr<Resource> ptr2 = std::move(ptr1);
    // 此时ptr1为空，ptr2拥有资源
    
    // 使用
    ptr2->doWork();
    
    // 离开作用域，自动释放
    // 不需要手动delete
}

注意：不要用裸指针接收unique_ptr的get()返回值长期持有。get()只是临时借用，如果unique_ptr被销毁，get()返回的指针就悬空了。

12.3 shared_ptr：共享所有权

有些场景下，多个对象需要共同拥有同一个资源。比如多个线程共享一个配置对象，或者图结构中的节点被多个父节点引用。这时候就需要shared_ptr。

shared_ptr内部维护一个引用计数。每次拷贝构造或赋值时，计数加1；每次析构时，计数减1。当计数降到0时，才真正释放资源。

void sharedDemo() {
    std::shared_ptr<Resource> sp1 = std::make_shared<Resource>();
    {
        std::shared_ptr<Resource> sp2 = sp1;  // 引用计数变为2
        // sp1和sp2指向同一个对象
    }  // sp2析构，引用计数变为1
    // sp1析构，引用计数变为0，释放资源
}

这里有个坑：循环引用。我曾经在一个项目中遇到内存泄漏，查了两天才发现是shared_ptr互相引用，导致引用计数永远降不到0。

循环引用示例：A持有B的shared_ptr，B持有A的shared_ptr。两者析构时，都等着对方先释放自己，结果谁都不释放。

12.4 weak_ptr：打破循环引用

weak_ptr 是shared_ptr的"小弟"。它指向一个由shared_ptr管理的对象，但不增加引用计数。它只是"观察"这个对象，不参与所有权管理。

使用weak_ptr时，必须先调用lock()方法获取一个shared_ptr。如果对象已经被释放，lock()返回空指针。

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

void weakDemo() {
    auto a = std::make_shared<Node>();
    auto b = std::make_shared<Node>();
    
    a->next = b;
    b->prev = a;  // 不会增加a的引用计数
    
    // 使用weak_ptr前需要lock
    if (auto sharedPrev = b->prev.lock()) {
        sharedPrev->next = nullptr;
    }
}

我的习惯：在父子关系中，父节点用shared_ptr持有子节点，子节点用weak_ptr指向父节点。这样既保证了父节点释放时子节点自动释放，又避免了循环引用。

12.5 内存泄漏检测工具

就算用了智能指针，也不能保证完全没有内存问题。比如全局变量中的shared_ptr、回调函数中的捕获、或者第三方库的裸指针。这时候就需要工具来帮忙。

12.5.1 Valgrind

Valgrind是Linux下最经典的内存检测工具。它模拟CPU执行程序，能检测出未初始化内存、越界访问、内存泄漏等问题。

# 基本用法
valgrind --leak-check=full ./my_program

# 显示更详细的信息
valgrind --leak-check=full --show-leak-kinds=all ./my_program

Valgrind的缺点也很明显：程序运行速度会慢10-20倍。我一般只在开发阶段用，或者针对特定测试用例跑。

12.5.2 AddressSanitizer (ASan)

ASan是Google开发的编译器内置工具，比Valgrind快得多（只慢2-3倍）。它集成在GCC和Clang中，用起来很方便。

# 编译时加上-fsanitize=address
g++ -fsanitize=address -g -o my_program main.cpp

# 直接运行，ASan会在检测到问题时输出详细报告
./my_program

ASan能检测的问题包括：

堆内存越界（写入或读取超出分配范围）
栈内存越界
全局变量越界
释放后使用（use-after-free）
双重释放（double free）
内存泄漏

我曾经踩过的坑：ASan在Debug模式下效果最好。Release模式下有些优化可能会干扰检测结果。另外，ASan会增加内存占用，生产环境不要开。

12.6 实战建议与避坑指南

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

优先使用make_unique和make_shared，而不是直接new。这样更安全，而且make_shared能把控制块和对象分配在同一个内存块上，减少一次分配开销。
函数参数传递：如果函数不持有所有权，传裸指针或引用；如果函数需要存储对象，传unique_ptr；如果多个地方需要共享，传shared_ptr。
不要混用智能指针和裸指针。一个对象要么完全由智能指针管理，要么完全由裸指针管理。混用会导致混乱。
定期跑内存检测。我习惯在每次提交代码前，用ASan跑一遍单元测试。发现问题越早，修复成本越低。

一句话总结：用unique_ptr管理独占资源，用shared_ptr管理共享资源，用weak_ptr打破循环引用。配合RAII原则和内存检测工具，C++的内存管理其实没那么可怕。

好了，关于内存管理就聊到这里。记住，好的工具和习惯能帮你省下大量调试时间。下次遇到莫名其妙的内存问题，先跑一遍ASan，多半能找到线索。

公众号:蓝海资料掘金营，微信deep3321

📚 课程目录

12、内存管理：智能指针实战与RAII原则

12.1 RAII：C++内存管理的基石

12.2 unique_ptr：独占所有权

12.3 shared_ptr：共享所有权

12.4 weak_ptr：打破循环引用

12.5 内存泄漏检测工具

12.5.1 Valgrind

12.5.2 AddressSanitizer (ASan)

12.6 实战建议与避坑指南