C++ 的智能指针笔记

贡献者： addis; admin

1. unique_ptr

• 文档。
• unique_ptr<类> p(类指针)，其中 类指针 可以由 new 类(构造参数) 产生，指向一个需要 delete 的对象。
• 不允许 “复制赋值” 或 “复制构造”，要传给函数可以用引用或指针。允许 std::move()。
• unique_ptr<类，删除器类> p(类指针, 删除器)。删除器 是 删除器类 的一个对象（例如 C 函数指针）。
• 删除器类 或 删除器 可以省略，省略后默认用 delete 类指针 或 delete[] 类数组，实际上是 std::default_delete<T>（对数组进行了特化）。
• 删除器 需要可以像 void 函数名(类* p) 一样使用。它几乎可以是任何 callable（例如具有 operator() 的对象）
• unique_ptr 的 destructor 会调用 删除器(类指针) 释放内存。
• 一般指针的操作 *, ->, []，也可以对 unique_ptr 使用。
• p.get() 返回 类指针。p.get_deleter() 返回 删除器 的 ref。
• if(p) 或 bool(p) 可以判断是否在管理一个对象。
• p.reset(新指针) 调用原来对象的删除器，并管理新的对象。
• 如果用同一个指针来初始化两个不同的 unique_ptr，那么将造成重复 delete 错误，行为未定义，这也是为什么要尽量用 make_unique

// 创建（无法指定删除器，默认用 delete 释放）
unique_ptr<int> ptr = make_unique<int>(42);
unique_ptr<int> ptr2 = std::move(ptr1); // 转移所有权
int* rawPtr = ptr.release(); // 释放所有权并返回裸指针（被管理的对象不会被释放）
int* rawPtr = ptr.get(); // 返回裸指针（不释放所有权）
ptr.reset(ptr3); // 释放当前对象并管理新的对象
ptr.reset(); // 手动释放对象

// 自定义删除器类
struct Deleter {
    void operator()(int* ptr) {
        cout << "Deleting resource: " << *ptr << endl;
        delete ptr;
    }
};

// 用法
unique_ptr<int, Deleter> ptr(new int(42)); // 默认使用 Deleter() 新建删除器
unique_ptr<int, Deleter> ptr2(new int(42), Deleter()); // 手动提供删除器

2. shared_ptr

• 可以复制，但只有所有关联的 shared_ptr 都释放所有权，管理的对象才会被删除器释放。
• p.use_count() 返回有几个 shared_ptr 正在使用。
• p.reset() 和 p.reset(p3) 用法同 unique_ptr
• shared_ptr<void> 可以装任何指针

3. weak_ptr

• 可以从 shared_ptr，或者 weak_ptr 初始化
• p.lock() 创建出管理对象的一个新的 shared_ptr
• p.expired() 可以检查对象是否已经被删除。
• 可用于防止循环依赖导致的内存泄漏，例如：

  #include <iostream>
  #include <memory>
  
  class Node {
  public:
      shared_ptr<Node> next;
      weak_ptr<Node> prev; // weak_ptr to avoid circular reference
  
      ~Node() {
          cout << "Node destroyed" << endl;
      }
  };
  
  int main() {
      shared_ptr<Node> node1 = make_shared<Node>();
      shared_ptr<Node> node2 = make_shared<Node>();
  
      node1->next = node2;
      // This would create a circular reference if prev were a shared_ptr
      node2->prev = node1;
  
      cout << "node1 use count: " << node1.use_count() << endl;  // 1
      cout << "node2 use count: " << node2.use_count() << endl;  // 2
  
      return 0;
  }