循环 引用因相互持有 shared_ptr 导致内存泄漏,可用 weak_ptr 打破循环,明确 对象 所有权并避免双向强依赖,合理设计类关系以确保资源正确释放。

在 c++ 中,循环引用指的是两个或多个对象相互持有对方的引用或 指针 ,导致资源无法正常释放的问题。这种情况在使用智能指针(如 std::shared_ptr)时尤为常见,容易引发内存泄漏。下面从问题分析到 解决方法 进行详细说明。
1. 循环引用的产生原因
当使用 std::shared_ptr 管理对象生命周期时,每个 shared_ptr 都会增加引用计数。如果两个对象互相持有对方的 shared_ptr,它们的引用计数永远不会降为 0,即使外部已无任何指针指向它们。
例如:
struct node; using NodePtr = std::shared_ptr<Node>; struct Node {NodePtr parent; NodePtr child;}; auto parent = std::make_shared<Node>(); auto child = std::make_shared<Node>(); parent->child = child; child->parent = parent; // 形成循环引用
此时,parent 和 child 的引用计数都为 2,离开 作用域 后引用计数减 1,仍为 1,析构函数 不会被调用,造成内存泄漏。
立即学习“C++ 免费学习笔记(深入)”;
2. 使用 std::weak_ptr 打破循环
解决循环引用最常用的方法是将其中一个引用改为std::weak_ptr。weak_ptr 不增加引用计数,只观察对象是否存在,需要时可尝试提升为 shared_ptr。
修改上面的例子:
struct Node {NodePtr child; std::weak_ptr<Node> parent; // 使用 weak_ptr};
这样,child 持有 parent 的弱引用,不会影响 parent 的引用计数。当 parent 超出 作用域,引用计数正确归零,对象被销毁。访问 parent 前需检查有效性:
if (auto p = child->parent.lock()) {// 使用 p 操作 parent}
3. 设计层面避免强依赖
除了技术手段,合理设计类之间的关系也能有效避免循环引用:
- 审视对象关系,明确所有权。通常父子关系中,父节点用 shared_ptr 管理子节点,子节点用 weak_ptr 或裸指针回指父节点。
- 考虑使用 接口 或回调机制替代直接持有对象指针。
- 在非必要情况下,避免双向强引用。
4. 其他注意事项
除了 shared_ptr,其他形式的引用也可能导致类似问题:
- 信号与槽机制中,若双方互连且未正确断开,可能造成对象无法释放。
- 全局对象或单例模式中持有实例引用,也需注意生命周期管理。
- 使用裸指针虽不增加引用计数,但需手动管理,易出错,应优先考虑智能指针配合 weak_ptr 的方案。
基本上就这些。关键是在使用 shared_ptr 时警惕双向引用,善于用 weak_ptr 解除强依赖,同时保持清晰的对象所有权设计。不复杂但容易忽略。


