shared_ptr 作为智能指针,可以满足大多数场景,对于一些特殊情况,可能会引发循环引用问题。
目录
1、循环引用案例分析
(1) 案例介绍
(2) 原因分析
2、weak_ptr 解决循环引用
1、循环引用案例分析
(1) 案例介绍
我们通过实际案例来了解循环引用,ListNode结构体的定义如下:
struct ListNode
{
int _data;
shared_ptr<ListNode> _next;
~ListNode() { cout << "~ListNode()" << endl; }
}
我们使用这个结构体做了如下操作:
int main()
{
shared_ptr<ListNode> n1(new ListNode);
shared_ptr<ListNode> n2(new ListNode);
n1.get()->_next = n2; // 代表深蓝色的线所做的事(n1结点的下一个指向n2)
n2.get()->_next = n1; // 代表浅蓝色的线所做的事(n2结点的下一个指向n1)
return 0;
}
我们运行程序会发现,析构函数没有被调用,按理来说,出了作用域,两个对象的引用计数都自减到了0,此时会调用析构函数释放资源,但是实际上并未调用。两个智能指针相互管理造成了对方的资源无法释放,这造成了“循环引用”。
(2) 原因分析
首先,程序释放 n2,此时 n2 的引用计数自减
然后释放 n1,n1的引用计数自减
到此,程序结束,此时两者的引用计数依然没有自减到0,所以不会调用析构函数。实际上只要双方有一方的智能指针不去多管闲事,如 n1的_next 不去指向 n2,这种事情就不会发生。
2、weak_ptr 解决循环引用
weak_ptr 不是常规意义的指针,没有接收一个原生指针的构造函数,他的出现是为了解决shared_ptr 的循环引用问题。
为了解决上述循环引用的问题,我们只需要把ListNode 内部的shared_ptr 改为 weak_ptr 即可。
struct ListNode
{
int _data;
weak_ptr<ListNode> _next; //原本是shared_ptr,现在改为weak_ptr
~ListNode() { cout << "~ListNode()" << endl; }
};
原理是 weak_ptr 在参与资源管理时,不会增加引用计数。简单来说,即便是让一个weak_ptr 去指向其他智能指针,别人都没把你当指针看待,不会增加引用计数。
修改以后的测试结果如下: