一分钟学会 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 示例

image

🔸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 示例

image

🔸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 示例(打破循环引用)

image

🔸std::weak_ptr 注意事项

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

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

  • 它是 C++11 之前的标准库中首个智能指针,具有所有权转移语义(复制操作会转移所有权,原指针变为空)。
  • 缺陷:由于其诡异的复制行为,不能放入容器,且不兼容移动语义的现代写法,已在 C++17 中完全移除。
  • 替代品std::unique_ptr完全取代了std::auto_ptr的功能且更安全。

🦧额外工具函数与模式

  • std::make_unique(C++14):为std::unique_ptr创建对象,避免显式new,提供异常安全。
  • std::make_shared(C++11):为std::shared_ptr创建对象,将对象和控制块一起分配,减少内存碎片和引用计数开销。
  • std::enable_shared_from_this:允许一个类安全的生成指向自身的std::shared_ptr,避免在内部使用this构造std::shared_ptr导致重复删除。

🦣总结对比

image

🐘最佳实践建议

  1. 默认优先使用std::unique_ptr:它最轻量,且语义清晰。
  2. 确实需要共享所有权时才用std::shared_ptr,并注意使用std::weak_ptr打破循环。
  3. 优先使用std::make_uniquestd::make_shared,除非需要自定义删除器或对控制块与对象分离有特殊需求。
  4. 不要混用裸指针和智能指针管理同一内存,避免双重释放或访问悬垂指针。
  5. 使用std::weak_ptr观察共享资源时,一定要通过lock()检查有效性,不要通过expired()后直接解引用。

智能指针是 C++ 现代资源管理的基础,正确使用 C++ 智能指针可以显著减少内存错误,写出异常安全、自文档化的代码。对于大多数动态内存需求,完全不需要直接编写new/delete

🔚🔸🔸🔸


🧑‍💻我是著名MYCPC++高并发通讯框架开源项目、和WordBN字远笔记共享软件作者。
👉待过多家上市公司软件总监,技术总监。拥有超20年C++、QT/QML开发经验。早期🌎互联网行业出身,做过企业即时通讯、区块链等大型项目。目前在做🧭机器视觉智能制造行业,如无序抓取,3D仿真,🌟缺陷检测,上位机软件,硬件控制和通讯等。🪐精通跨平台应用开发,高并发,系统架构,☀️性能优化,进程间通讯,RTP通讯,IM即时通讯,音视频编解码等。👈
🛠️业余无事写写免费软件。如有软件开发、定制、咨询等需求,欢迎私信咨询🌹
posted @ 2026-06-17 10:16  天恩软件  阅读(55)  评论(0)    收藏  举报