C++ 内存管理进阶：从裸指针到智能指针实战

使用示例

推荐使用 make_unique 创建，避免裸指针暴露风险。

#include <memory>
#include <iostream>
using namespace std;

class Test {
public:
    Test(int id) : id_(id) { cout << "Test(" << id_ << ") 构造" << endl; }
    ~Test() { cout << "Test(" << id_ << ") 析构" << endl; }
    void show() { cout << "id: " << id_ << endl; }
private:
    int id_;
};

int main() {
    // 推荐方式
    auto up = make_unique<Test>(1);
    up->show();
    
    // 移动所有权
    auto up2 = move(up);
    
    // 管理数组需特化模板
    unique_ptr<int[]> arr(new int[5]{1, 2, 3, 4, 5});
    return 0;
}

运行后会自动析构，无需手动干预。注意管理数组时使用 unique_ptr<T[]> 以确保调用 delete[]。

2. shared_ptr：共享所有权的'社交达人'

当多个对象需要共享同一资源时，shared_ptr 通过引用计数机制管理所有权。只有当最后一个 shared_ptr 销毁时，内存才会被释放。

原理

每个 shared_ptr 指向一个控制块，其中包含引用计数。拷贝时引用计数加 1，析构时减 1。

shared_ptr<Test> sp1 = make_shared<Test>(1);
shared_ptr<Test> sp2 = sp1; // 引用计数变为 2

循环引用问题

若两个 shared_ptr 互相持有对方，引用计数无法归零，导致内存泄漏。这是 shared_ptr 的致命缺陷。

// 错误示范：循环引用
sp1->member = sp2;
sp2->member = sp1;
// 离开作用域后，引用计数均为 1，对象无法析构

3. weak_ptr：打破循环的'旁观者'

weak_ptr 不增加引用计数，仅观察 shared_ptr 管理的对象。它是解决循环引用的关键工具。

使用场景

• 解决循环引用：将循环中的一方改为 weak_ptr。
• 观察者模式：观察者持有主题的弱引用，避免主题无法销毁。

weak_ptr<Test> wp = sp1;
if (auto sp = wp.lock()) {
    sp->show(); // 安全访问
} else {
    cout << "对象已过期" << endl;
}

三、进阶技巧与性能优化

1. 定制删除器

默认使用 delete 释放内存，特殊资源（如文件句柄）需自定义删除器。

FILE* fp = fopen("test.txt", "w");
unique_ptr<FILE, decltype(&fclose)> up(fp, fclose);
// 离开作用域自动调用 fclose

2. 类型转换

智能指针不支持直接 cast，需使用专用函数：

• static_pointer_cast：静态转换。
• dynamic_pointer_cast：动态转换（需多态）。
• const_pointer_cast：去除 const 限定。

3. 性能优化建议

• 优先使用 unique_ptr：无额外开销，接近裸指针性能。
• 使用 make_shared：一次性分配对象和控制块，减少内存碎片。
• 避免不必要的拷贝：传递 shared_ptr 时尽量用 const&。
• 及时释放 lock() 结果：避免长期持有临时 shared_ptr。

四、避坑指南与最佳实践

1. 严禁裸指针混用：不要将裸指针交给多个智能指针管理，会导致二次释放。
2. 慎用 get() 和 release()：它们会暴露裸指针，仅在必要时使用。
3. 数组管理要特化：unique_ptr<T> 不能正确释放数组，需用 unique_ptr<T[]>。
4. 检查有效性：使用 weak_ptr 前检查 expired() 或判断 lock() 返回值。
5. 遵循 RAII 原则：资源获取即初始化，确保异常安全。

总结

智能指针是现代 C++ 内存管理的基石。通过 unique_ptr 独占、shared_ptr 共享及 weak_ptr 辅助，配合 RAII 机制，可从根本上杜绝内存泄漏与野指针问题。在实际开发中，应优先选择智能指针替代裸指针，并根据所有权需求合理选型，让代码更安全、更高效。