# C++ 中的智能指针：如何安全地管理动态资源

作者

在现代 C++ 开发中，手动管理动态内存已不再是首选方案。智能指针通过 RAII（Resource Acquisition Is Initialization）模式，自动完成资源的获取与释放，从而显著降低内存泄漏、悬空指针等错误的风险。本文将系统介绍 C++11 标准库中提供的三种主要智能指针——std::unique_ptr、std::shared_ptr 与 std::weak_ptr——以及它们各自的适用场景、实现原理和常见陷阱。

1. std::unique_ptr

1.1 语义与使用

  • 唯一所有权：每个对象只能有一个 unique_ptr 拥有。拷贝构造和拷贝赋值被删除，只有移动语义可用。
  • 自定义删除器：通过模板参数可以为非标准类型或需要特殊释放逻辑的资源提供自定义删除器。
  • 与数组一起使用：std::unique_ptr<int[]> 通过 operator[] 访问数组元素。
std::unique_ptr<int[]> arr(new int[10]);  // 动态数组
arr[0] = 42;

1.2 典型场景

  • 对象生命周期局部，无法共享所有权。
  • 需要高效的、无引用计数的资源管理。

1.3 常见错误

  • 与裸指针混用：将裸指针存入 unique_ptr 并外部再次 delete，导致双重释放。
  • 捕获 unique_ptr：在 Lambda 中捕获 unique_ptr 的引用时需小心，避免意外转移所有权。

2. std::shared_ptr

2.1 语义与使用

  • 共享所有权：使用引用计数（通常是 `std::atomic `）来追踪对象被多少 `shared_ptr` 持有。
  • 线程安全：对引用计数的操作是原子性的，但对象本身的修改不保证线程安全。
  • 循环引用：若两个对象相互 shared_ptr 指向，可能导致内存泄漏。
struct Node {
    std::shared_ptr <Node> next;
};

auto a = std::make_shared <Node>();
auto b = std::make_shared <Node>();
a->next = b;
b->next = a;   // 循环引用，内存泄漏

2.2 典型场景

  • 对象需要跨多个模块共享，生命周期不确定。
  • 需要在多个线程之间安全共享资源。

2.3 解决循环引用

  • 使用 std::weak_ptr 破坏循环。weak_ptr 不参与引用计数，能够查询资源是否仍然有效。
struct Node {
    std::shared_ptr <Node> next;
    std::weak_ptr <Node> prev;   // 弱引用
};

3. std::weak_ptr

3.1 语义与使用

  • 观察者：持有对象但不拥有其生命周期，weak_ptr 可以通过 lock() 创建临时的 shared_ptr。
  • 检查有效性：expired() 判断资源是否已被销毁。
std::weak_ptr <int> weak = shared;
if (auto sp = weak.lock()) {
    // 成功获取到 shared_ptr，资源有效
}

3.2 典型场景

  • 需要观察 shared_ptr 所管理的对象，但不参与生命周期管理。
  • 解决 shared_ptr 循环引用。

4. 对比与选择

智能指针 所有权 引用计数 典型用例
unique_ptr 独占 无 局部资源、工厂函数返回
shared_ptr 共享 有 需要多点共享的对象、跨线程
weak_ptr 非拥有 无 观察者、避免循环引用

小贴士：尽量使用 std::make_shared 或 std::make_unique 创建对象，避免显式使用 new，减少错误。

5. 高级主题

5.1 自定义 deleter 与分配器

  • 可以为 unique_ptr 指定自定义删除器来处理文件句柄、网络连接等非堆内存资源。
auto filePtr = std::unique_ptr<FILE, decltype(&fclose)>(fopen("a.txt", "w"), fclose);

5.2 与 std::optional 组合

  • std::optional<std::unique_ptr<T>> 用于可选资源管理，支持显式“无资源”状态。
std::optional<std::unique_ptr<int>> maybeInt;  // 默认空
maybeInt.emplace(new int(5));

5.3 智能指针的性能考量

  • shared_ptr 的引用计数实现为原子操作，在线程频繁访问时会成为热点。若不需要共享，首选 unique_ptr。

6. 结语

智能指针是 C++ 现代化资源管理的基石。通过正确选择 unique_ptr、shared_ptr 与 weak_ptr，并避免常见陷阱，你可以写出更安全、更易维护的代码。记住，最重要的原则是：只在必要时使用共享所有权，优先采用独占所有权。这样既能保证性能，又能最大限度减少潜在错误。

发表评论