C++中的智能指针：共享、弱引用与自定义删除器

在现代C++中，原始指针已逐渐被智能指针所取代，原因在于它们能自动管理资源，减少内存泄漏和悬空指针的风险。本文将从共享指针（std::shared_ptr）、弱指针（std::weak_ptr）以及自定义删除器的角度，探讨如何在实际项目中灵活运用这些工具。

1. 共享指针（`std::shared_ptr`）的基本原理

std::shared_ptr 通过引用计数来管理对象生命周期。每个 shared_ptr 实例内部持有一个指向控制块（control block）的指针，该控制块维护：

对象的实际指针
引用计数（use_count）
可选的自定义删除器

当 use_count 为 0 时，对象及其控制块被销毁。

1.1 初始化方式

auto sp1 = std::make_shared <MyClass>(constructor_args);   // 推荐
auto sp2 = std::shared_ptr <MyClass>(new MyClass(args));   // 旧式

使用 std::make_shared 更高效，因为它一次性为对象和控制块分配内存，减少了分配次数并提高缓存局部性。

1.2 线程安全

shared_ptr 的引用计数操作是原子性的，允许多个线程安全地共享同一对象。然而，指向对象本身的读写并不受保护，仍需外部同步。

2. 弱指针（`std::weak_ptr`）的角色

弱指针是对共享指针的轻量级引用，主要解决共享指针产生的循环引用导致的内存泄漏问题。

2.1 循环引用示例

struct Node {
    std::shared_ptr <Node> next;
    std::shared_ptr <Node> prev; // 循环引用
};

若两个节点都互相持有 shared_ptr，则 use_count 永不归零，导致内存泄漏。

2.2 使用弱指针避免循环

struct Node {
    std::shared_ptr <Node> next;
    std::weak_ptr <Node> prev;  // 采用 weak_ptr
};

weak_ptr 并不增加引用计数，lock() 方法可获取对应的 shared_ptr，但如果原始对象已被销毁则返回空指针。

3. 自定义删除器（Custom Deleter）

shared_ptr 的构造函数允许传入自定义删除器，从而对非标准资源（如文件句柄、网络连接、内存池对象等）进行适当清理。

3.1 基本用法

struct FileCloser {
    void operator()(FILE* fp) const {
        if (fp) fclose(fp);
    }
};

auto fp = std::shared_ptr <FILE>(fopen("data.txt", "r"), FileCloser());

3.2 结合智能指针和内存池

template <typename T>
class MemoryPool {
public:
    T* allocate() { /* ... */ }
    void deallocate(T* ptr) { /* ... */ }
};

MemoryPool <MyStruct> pool;

auto mp = std::shared_ptr <MyStruct>(pool.allocate(),
                                    [&pool](MyStruct* p){ pool.deallocate(p); });

这在游戏开发和高性能计算中尤为重要。

4. 典型使用场景

多线程缓存：使用 shared_ptr 存放缓存对象，配合 weak_ptr 防止循环。
资源管理：如 std::filesystem::path、std::unique_ptr 与 shared_ptr 结合。
回调机制：将对象包装成 shared_ptr，在回调中捕获 weak_ptr，避免对象提前销毁导致悬空。

5. 性能考量

开销：引用计数和控制块分配会增加内存占用和运行时成本。
缓存失效：shared_ptr 的控制块与对象可能分离，导致 cache miss。
最佳实践：
- 尽量使用 make_shared。
- 在不需要共享计数时，优先使用 unique_ptr。
- 对于频繁复制的大对象，考虑使用 shared_ptr 的 weak_ptr 进行引用。

6. 结语

智能指针是 C++11 之后的核心特性，合理使用 shared_ptr、weak_ptr 与自定义删除器，可大幅提升代码的安全性与可维护性。然而，过度依赖会带来性能与复杂度的隐患。建议在项目中根据需求、资源类型与访问模式，选择最合适的指针策略，并配合适当的同步机制，形成高效、健壮的资源管理体系。

1. 共享指针（std::shared_ptr）的基本原理