💡什么是 C++ 智能指针
C++11 标准模板库(STL)引入了现代 C++ 中管理动态内存的核心工具------智能指针 。它们位于<memory>头文件中。
智能指针旨在解决 C++ 裸指针带来的手动内存管理问题(如内存泄漏、悬垂指针、异常安全等)。智能指针的行为类似于普通指针,但能够自动释放所拥有的对象,是 RAII(资源获取即初始化)思想的典型应用。
C++ 标准库提供了三种主要的智能指针 :std::unique_ptr、std::shared_ptr和std::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互相持有(例如双向链表中的next和prev),引用计数永远不为 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 之前的标准库中首个智能指针,具有所有权转移语义(复制操作会转移所有权,原指针变为空)。
- 缺陷:由于其诡异的复制行为,不能放入容器,且不兼容移动语义的现代写法,已在 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导致重复删除。
🦣总结对比
🐘最佳实践建议
- 默认优先使用
std::unique_ptr:它最轻量,且语义清晰。 - 确实需要共享所有权时才用
std::shared_ptr,并注意使用std::weak_ptr打破循环。 - 优先使用
std::make_unique和std::make_shared,除非需要自定义删除器或对控制块与对象分离有特殊需求。 - 不要混用裸指针和智能指针管理同一内存,避免双重释放或访问悬垂指针。
- 使用
std::weak_ptr观察共享资源时,一定要通过lock()检查有效性,不要通过expired()后直接解引用。
智能指针是 C++ 现代资源管理的基础,正确使用 C++ 智能指针可以显著减少内存错误,写出异常安全、自文档化的代码。对于大多数动态内存需求,完全不需要直接编写new/delete。
🔚🔸🔸🔸
🧑💻我是著名MYCP
C++高并发通讯框架开源项目、和WordBN字远笔记共享软件作者。
👉待过多家上市公司软件总监,技术总监。拥有超20年C++、QT/QML开发经验。早期🌎互联网行业出身,做过企业即时通讯、区块链等大型项目。目前在做🧭机器视觉智能制造行业,如无序抓取,3D仿真,🌟缺陷检测,上位机软件,硬件控制和通讯等。🪐精通跨平台应用开发,高并发,系统架构,☀️性能优化,进程间通讯,RTP通讯,IM即时通讯,音视频编解码等。👈
🛠️业余无事写写免费软件。如有软件开发、定制、咨询等需求,欢迎私信咨询🌹