如何在 C++ 中正确使用 std::shared_ptr 与 std::weak_ptr？

作者

在现代 C++ 开发中，智能指针已成为管理动态内存的首选工具。尤其是 std::shared_ptr 与 std::weak_ptr，它们共同解决了共享所有权和循环引用的问题。下面从设计思路、典型场景、常见陷阱以及最佳实践四个维度，系统地阐述如何在实际项目中高效、安全地使用这两种指针。

1. 设计思路：所有权与观察者

  • std::shared_ptr

    • 所有权语义：多个 shared_ptr 可以指向同一对象，对象在最后一个 shared_ptr 被销毁时才真正释放。
    • 引用计数：内部维护一个计数器，线程安全（增减操作使用原子计数）。

  • std::weak_ptr

    • 非所有权语义：用来观察一个 shared_ptr 指向的对象，却不参与对象生命周期的管理。
    • 避免循环引用：在两对象相互持有 shared_ptr 时，若一方改用 weak_ptr，就能打破循环，防止内存泄漏。

2. 典型场景

场景 方案 说明
事件回调链 std::weak_ptr 观察者 回调对象不需要保留事件源的生命周期，避免强引用。
缓存实现 std::shared_ptr + LRU 缓存对象可共享引用，LRU 结构通过 weak_ptr 监测失效。
图结构 节点相互引用 顶点持有子节点的 shared_ptr，父节点使用 weak_ptr。
多线程共享 std::shared_ptr 原子计数保证线程安全，使用 std::make_shared 减少内存碎片。

3. 常见陷阱

  1. 忽略循环引用 

    struct Node {
    std::shared_ptr <Node> next;
    std::shared_ptr <Node> prev; // 两侧持有强引用，导致循环
};

    解决方案：将 prev 换成 `std::weak_ptr

    `。

  2. 错误使用 std::weak_ptr::lock()
    lock() 可能返回空指针，需检查后再使用。 

    if (auto sp = weak.lock()) {
    // 使用 sp
} else {
    // 对象已被销毁
}

  3. 不必要的 std::shared_ptr 嵌套
    std::shared_ptr<std::shared_ptr<T>> 通常是不必要的，导致额外的计数器。直接使用 std::shared_ptr<T>。

  4. 拷贝构造与赋值
    任何复制 shared_ptr 都会增加引用计数，需注意性能。若不想共享，使用 std::unique_ptr 或裸指针。

4. 最佳实践

  • 优先使用 std::make_shared
    通过一次分配既得到对象又得到计数器，内存更紧凑，性能更优。

  • 尽量避免裸指针
    在 C++ 20 之前，裸指针是唯一的观察者手段，但易出错。若需要观察，尽量使用 weak_ptr。

  • 使用 std::unique_ptr 保护所有权
    对象内部仅保留唯一所有权，外部通过 shared_ptr 共享。

  • 在类中声明 weak_from_this
    `std::enable_shared_from_this

    ` 允许对象内部获取自身的 `shared_ptr`，但请注意避免在构造函数中使用 `shared_from_this()`，因为此时计数尚未初始化。

  • 生命周期管理
    在业务代码中，明确对象的生命周期边界。若对象可能在回调前被销毁，回调函数中应先使用 weak_ptr::lock() 检查。

5. 小结

std::shared_ptr 与 std::weak_ptr 的组合提供了一套完整、线程安全、内存安全的对象共享与观察机制。掌握它们的使用要点、典型场景与常见陷阱，能够显著提升代码质量与可维护性。建议在项目中对关键路径使用 std::make_shared，在需要观察时使用 std::weak_ptr，并通过 lock() 处理失效情况，从而构建高效、无泄漏的 C++ 程序。

发表评论