一分钟学会 C++ 标准模板库智能指针

什么是 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导致重复删除。

🦣总结对比

🐘最佳实践建议

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

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