在C++的动态内存管理中，智能指针的出现大幅降低了手动管理内存的风险，但环形引用问题依然是很多开发者容易踩的坑，尤其是在对象之间存在多层复杂依赖的场景下，内存泄漏问题往往隐蔽且难以定位。
环形引用产生的原因
环形引用通常发生在两个或多个对象互相持有对方的shared_ptr时，每个对象的引用计数都不会降为0，导致动态分配的内存无法被释放。我们可以通过一个简单的例子来理解这个过程。
假设有两个类A和B，它们各自的成员中持有对方的shared_ptr：
#include <iostream>
#include <memory>
class B; // 前向声明
class A {
public:
std::shared_ptr<B> b_ptr; // 持有B的shared_ptr
~A() {
std::cout << "A对象被销毁" << std::endl;
}
};
class B {
public:
std::shared_ptr<A> a_ptr; // 持有A的shared_ptr
~B() {
std::cout << "B对象被销毁" << std::endl;
}
};
int main() {
// 创建A和B的智能指针对象
std::shared_ptr<A> a = std::make_shared<A>();
std::shared_ptr<B> b = std::make_shared<B>();
// 互相持有对方的shared_ptr，形成环形引用
a->b_ptr = b;
b->a_ptr = a;
// 离开作用域后，a和b的引用计数都变为1，不会触发析构函数
return 0;
}
运行上述代码会发现，A和B的析构函数都没有被调用，这就是典型的环形引用导致的内存泄漏。因为a销毁时，A对象的引用计数从2减为1，b销毁时，B对象的引用计数也从2减为1，两个对象的引用计数都不为0，内存永远不会被释放。
weak_ptr解决环形引用的原理
weak_ptr是C++标准库提供的弱引用智能指针，它不会增加所指向对象的引用计数，只是对shared_ptr管理对象的一个观测。我们可以通过将环形引用中的其中一个shared_ptr替换为weak_ptr来打破引用环。
修改上面的例子，把B类中持有A的指针改为weak_ptr：
#include <iostream>
#include <memory>
class B;
class A {
public:
std::shared_ptr<B> b_ptr;
~A() {
std::cout << "A对象被销毁" << std::endl;
}
};
class B {
public:
std::weak_ptr<A> a_ptr; // 改为weak_ptr，不增加引用计数
~B() {
std::cout << "B对象被销毁" << std::endl;
}
};
int main() {
std::shared_ptr<A> a = std::make_shared<A>();
std::shared_ptr<B> b = std::make_shared<B>();
// 互相持有指针，此时B持有的是weak_ptr，不会增加A的引用计数
a->b_ptr = b;
b->a_ptr = a;
// 离开作用域时，a销毁，A对象引用计数从1减为0，触发A析构
// A析构时，其成员b_ptr销毁，B对象引用计数从2减为1
// 之后b销毁，B对象引用计数从1减为0，触发B析构
return 0;
}
运行修改后的代码，会正常输出A和B的销毁信息，说明内存被正确释放了。weak_ptr不会增加引用计数的特性，完美打破了环形引用的闭环。
复杂依赖关系中的内存问题分析
在实际项目中，对象之间的依赖关系往往不是简单的双向依赖，可能是多层的嵌套依赖，比如A依赖B，B依赖C，C又依赖A，或者一个对象被多个不同层级的对象持有，这种场景下分析内存问题需要遵循以下步骤：
- 梳理所有对象的持有关系，画出依赖关系图，找到是否存在闭合的引用环
- 检查每个引用关系中使用的智能指针类型，判断是否存在不必要的
shared_ptr持有 - 对于非必须长期持有对象的情况，优先使用
weak_ptr或者原始指针（如果能保证对象生命周期安全）
复杂依赖场景示例
假设存在一个场景：父节点管理多个子节点，子节点需要反向访问父节点，同时子节点之间也存在互相引用的可能，我们可以设计如下结构：
#include <iostream>
#include <memory>
#include <vector>
class Child;
class Parent {
public:
std::vector<std::shared_ptr<Child>> children; // 父节点持有子节点的shared_ptr
~Parent() {
std::cout << "Parent对象被销毁" << std::endl;
}
};
class Child {
public:
std::weak_ptr<Parent> parent; // 子节点弱引用父节点，避免环形引用
std::vector<std::weak_ptr<Child>> related_children; // 子节点之间用weak_ptr互相关联
~Child() {
std::cout << "Child对象被销毁" << std::endl;
}
};
int main() {
std::shared_ptr<Parent> parent = std::make_shared<Parent>();
std::shared_ptr<Child> child1 = std::make_shared<Child>();
std::shared_ptr<Child> child2 = std::make_shared<Child>();
// 建立依赖关系
parent->children.push_back(child1);
parent->children.push_back(child2);
child1->parent = parent;
child2->parent = parent;
child1->related_children.push_back(child2);
child2->related_children.push_back(child1);
return 0;
}
这个例子中，父节点持有子节点的shared_ptr，子节点弱引用父节点，子节点之间也用weak_ptr互相关联，既满足了功能需求，又避免了环形引用导致的内存泄漏。
使用智能指针的注意事项
在处理复杂依赖关系时，除了正确使用weak_ptr打破环形引用，还需要注意以下几点：
weak_ptr不能直接访问对象，需要先通过lock()方法转换为shared_ptr，判断对象是否还存在再使用- 不要混用智能指针和手动内存管理，比如用
new创建对象后交给shared_ptr管理，同时再手动delete该对象 - 对于生命周期明确的对象，优先使用栈对象，不需要用智能指针管理，减少不必要的开销
通过合理搭配shared_ptr和weak_ptr，梳理清楚对象的生命周期和依赖关系，就能有效避免环形引用带来的内存问题，让智能指针真正发挥简化内存管理的作用。
shared_ptrweak_ptr环形引用内存泄漏修改时间：2026-07-19 18:24:30