智能指针循环引用问题详解

这是我第一次写博客,有写的不对的地方见谅

  1. 为什么要去写这个问题呢?这是我刚接触智能指针时遇见的问题,并且想了好久才明白,其实就是钻牛角尖了,如果跳出这个思维也许早就知道了,所有我打算写下来,让那些和我一样想的人,能快速的了解这个问题。
  2. 这里只讲解 shared_ptr 为什么产生循环引用这个问题,如果想解决这个问题 请搜索weak_ptr,这里就不细说明这个问题了。
  3. 如果你有了一定的基础,那么你一定知道shared_ptr内部有一个引用计数,当shared_ptr出作用域时,引用计数减一,当对shared_ptr赋值或者调用构造函数就是引用计数加一,这些只是一些基础东西,在这就是提一嘴。
  4. 现在步入正题。先看一段代码,先了解循环引用怎么出现的。
struct A{
	std::shared_ptr<B> b;
};

struct B {
	std::shared_ptr<A> a;
};

int main() {
	std::shared_ptr<A> _a(new A); 
	std::shared_ptr<B> _b(new B);
	_a->b = _b;
	_b->a = _a;
	return 0;
}

这个代码你要运行能成功我都服你,别运行了 只讲解,提一嘴为啥运行不成功,A类前有B类吗???,那它如何用B类呢??(我知道你懂,万一有些人有疑问呢??所有写了一下)此时就需要在A类前声明一下B类class B。如果想知道原理为啥搜呗。
开始讲解:开始从main函数讲解,用shared_ptr创建一个A对象,此时_a 引用计数是1,同理可证_b引用计数也是1,当_a->b = _b; 此时_b的引用计数为2,因为智能智能当赋值时引用计数会加一,同理可证_b->a = _a;时_a引用计数也是2。
关键问题来了:刚才是不是说了_a和_b引用计数都是2,如果这里明白了那么后面的你才能懂,当出main函数这个作用域时_b先析构,然后_a在析构,这里就拿一个对象作为讲解,怕你蒙蔽,(多了我自己也懵逼,我说啥了),_b析构了是不是引用计数减一,此时有些小伙伴就会问(比如那时的我,二逼呵呵的)_b析构了,B类里面的对象a也减一了,当_a在析构时,这不应该所有引用计数都减成0了吗???引用循环在哪呢??(蒙蔽。。。),后来我想了好久才发现我进入了一个误区,那就是对象析构和智能指针析构本来就是两回事,当时的我搞乱了,如果你将这两个分开去看,你就会发现这个问题好简单。
再次分析:_a析构了是不是现在_a的引用计数变为1了但是A类里的b会析构吗??不会,因为_a里面的还有A对象的指针没有释放呢,为什么没有被释放呢??,刚才是不是说了将智能指针析构和对象析构分开来看,类内的智能指针是不是只有当前类析构时才会析构,
可是当出main函数作用域之前_a的引用计数还是2啊,此时析构的是智能指针里面的析构,指针指向的对象没有进行析构,是不是就说明了类内指针没有被析构,同理_b也是一样,所以当出了main函数之后你就会发现所有的指针指针引用计数都是1,此时是不是导致内存泄漏了,完毕》》》》》

  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值