什么是 C++ 智能指针

什么是 C++ 智能指针

C++11 标准模板库(STL)引入了现代 C++ 中管理动态内存的核心工具——智能指针。它们位于<memory>头文件中。

智能指针旨在解决 C++ 裸指针带来的手动内存管理问题(如内存泄漏、悬垂指针、异常安全等)。智能指针的行为类似于普通指针,但能够自动释放所拥有的对象,是 RAII(资源获取即初始化)思想的典型应用。

C++ 标准库提供了三种主要的智能指针std::unique_ptrstd::shared_ptrstd::weak_ptr(以及已被废弃的std::auto_ptr)。

👇👇👇下面分别介绍它们的特性、适用场景和注意事项。


🐅1. std::unique_ptr—— 独占所有权

  • 所有权模型:严格独占。一个std::unique_ptr实例唯一拥有它所指向的对象,不允许复制构造或复制赋值,但支持移动语义(所有权可转移)。
  • 默认删除器:调用delete,也可为数组特化(std::unique_ptr<T[]>)或自定义删除器。
  • 开销:与裸指针几乎相同,无额外引用计数开销。

🔸std::unique_ptr 典型使用场景

  • 替代裸指针:任何需要动态分配并拥有唯一所有权的资源。
  • 工厂函数:返回动态创建的对象的独占所有权。
  • 容器元素:如std::vector<std::unique_ptr<Widget>>,安全地存储多态对象。
  • 自定义资源管理:通过自定义删除器管理文件句柄、数据库连接等(比如std::unique_ptr<FILE, decltype(&fclose)>)。

🔸std::unique_ptr 示例

🔸std::unique_ptr 注意事项

  • 优先使用std::make_unique(C++14)而不是直接new,更安全、异常安全且性能略优。
  • 需要传递所有权时,使用std::move
  • 如果只需要在函数内部使用动态对象,首选std::unique_ptr,开销最低。

🐆2. std::shared_ptr—— 共享所有权

  • 所有权模型:多个std::shared_ptr可共享同一对象,内部使用引用计数来跟踪所有者数量。当最后一个std::shared_ptr被销毁或重置时,对象被删除。
  • 线程安全:引用计数的操作是原子性的,但指向的对象本身不是线程安全的,需要额外同步。
  • 删除器:自定义删除器不会改变类型参数,但会影响构造方式。

🔸std::shared_ptr 典型使用场景

  • 多个对象或组件需要共同拥有同一资源,且无法确定哪个会最后释放。
  • 缓存:多个客户端共享缓存对象,当所有客户端不再需要时自动释放。
  • 多线程任务:在线程间传递并共享数据,避免过早释放。
  • std::weak_ptr配合:实现弱引用,解决循环引用问题。

🔸std::shared_ptr 示例

🔸std::shared_ptr 注意事项

  • 循环引用:如果两个std::shared_ptr互相持有(例如双向链表中的nextprev),引用计数永远不为 0,导致内存泄漏。解决方案:将其中一个改为std::weak_ptr
  • 性能开销:比std::unique_ptr大,需要维护引用计数(通常两个机器字:一个指针+一个控制块指针)。
  • 尽量使用std::make_shared:将对象和控制块一起分配,提高内存局部性且更安全(但如果自定义删除器且需要std::weak_ptr,则不能使用std::make_shared)。
  • 避免使用裸指针构造多个std::shared_ptr(会导致未定义行为,出现双重删除)。

🦓3. std::weak_ptr—— 弱引用,不增加引用计数

  • 定位:配合std::shared_ptr使用,不参与所有权。它指向一个由std::shared_ptr管理的对象,但不会增加引用计数。
  • 访问方式:不能直接解引用,必须通过lock()获得一个std::shared_ptr,然后判断是否为nullptr(如果是表示对象已被释放)。
  • 用途:解决循环引用、观察者模式中避免共享所有权、安全地缓存弱引用。

🔸std::weak_ptr 典型使用场景

  • 打破循环引用:例如父子结构中,父持有子的std::shared_ptr,子持有父的std::weak_ptr
  • 观察者模式:主题持有观察者的std::weak_ptr,避免主题阻止观察者销毁。
  • 缓存:例如一个缓存池,键为std::weak_ptr,允许对象在无人使用时自动被回收。

🔸std::weak_ptr 示例(打破循环引用)

🔸std::weak_ptr 注意事项

  • std::weak_ptr不能直接管理数组,但可通过自定义删除器间接实现。
  • 每次使用lock()都会构造一个新的shared_ptr,有一定开销;如果已知对象仍存活且不会在线程间被释放,可以先用expired()检查,但实际使用时仍需lock()保证安全。

🦍4. 已废弃:std::auto_ptr(C++98/03)

  • 它是 C++11 之前的标准库中首个智能指针,具有所有权转移语义(复制操作会转移所有权,原指针变为空)。
  • 缺陷:由于其诡异的复制行为,不能放入容器,且不兼容