对于block的循环引用导致的内存泄露,网上的讲解文章很多,大部分说的都非常的好,但是描述的更为通俗直白的不多,本文意在通俗直白的解释block循环引用导致的内存泄露,以及为什么weakSelf与strongSelf这种官方提供的写法的必要性.(虽然这种重写为c++语法的过程被抛弃了,但是也可以作为学习的途径)
结合下面一段代码来看:
为什么会循环引用了呢?
其一:当前对象强引用着blockTest,这句话很好理解,说白了也就是说当前的对象self在内存中不释放,那么blockTest作为self的属性也不会释放.
其二:根据block捕捉上下文变量的原理,block内部使用了self,那么将对self强引用.
大部分的解释到此为止了,明白的人看到这里也没什么疑惑可是作为寻求答案的不明白的同学来说,看上去还是似懂非懂,不透彻.那么接下来将多举例子,从OC重写到C++代码层面分析一下这个问题.
首先,内存不会被释放也就是retainCount值不为0,这个道理始终是最基本的,单一变量控制,我们始终只在main函数中执行这样一句代码,所以在main函数大括号内代码走完之前,self的retainCount值是1,blockTest的retainCount也是1,可是由于blockTest强引用了self导致self的retainCount增加了1变为2,当main函数大括号走完后,self的retainCount减小到1,blockTest的retainCount还是1,self的retainCount没有回到0,所以self此时和blockTest组成的引用关系,如同两条蛇,咬住了对方的尾巴,谁也不松口,死锁了!
当我自己理解到这个节点的时候,我还是疑惑,block怎么就强引用了呢?为啥用 __weak __typeof(self) weakSelf = self;在block内部使用weakSelf就不会强引用呢?为啥要 __strong __typeof(self) strongSelf = weakSelf;才会安全呢?这一系列的机理到底是怎么回事呢?
比较着咱们来思考一下,先把上面的代码做一个改动
运行后断点肯定会进,也就是内存确实释放了,weakSelf 是个局部变量,这个局部变量会被block捕获,我们看一下这个使用weakSelf后的中间代码
1==>表示的是blockTest的结构体形式的表示,这部分中间代码的具体含义不解释了,网上有很多讲解,
2==>表示的是blockTest的函数体,无论如何最终执行的代码功能片段都会是个函数,block也不例外
3==>表示的就是- (void)test这个函数.
核心的地方在于1和2,代码执行起来无非就是发消息,函数调用,传递参数,返回值,这一系列的动作,
方法执行起来以后,3开始执行,调用到了2,2呢有这样一句话__cself->weakSelf; 看2的形参__cself,其实是结构体__WYTestObject__test_block_impl_0,而结构体就是blockTest,用这种写法__cself->weakSelf; 具体的编译以及执行肯定是更为细致精密,但是我们不难看出结构体把weakSelf作为了自己的属性,或者说直接捕获的是weakSelf这个局部变量作为自己的属性,但是可以通俗直白的理解为结构体直接引用了weakSelf内存空间想使用weakself中保存的self指针,而这个weakSelf并没有增加self的引用计数,所以self依然可以释放.如果说这样就砍断了循环引用,那么苹果为什么要提倡weak,strong写法呢?请看下面的代码
类似以上的情况我们不会总遇到,因此很多人都是只写一个weakSelf在使用着,但是这样崩溃的情况在更复杂的情况下,如果隐藏为nil的逻辑很深的话,出现不必现的bug就不好调试了.那么咱们在回到简单的oc代码中分析一下strongSelf写法为什么既能避免这种为空情况,又能不产生循环引用的呢?请看下面的代码.
只是多了箭头所指的一句代码,咱们看看中间代码是此时又是什么样的.
相比之前没加入strongSelf的时候函数__WYTestObject__test_block_func_0 多了一句话WYTestObject * strongSelf = weakSelf,strongSelf赋值得到的是self(由weakSelf传过来的),这使得在函数体运行期间self是不会被释放的,__WYTestObject__test_block_func_0函数实际上就是blockTest的功能模块,实际上执行blockTest也就是在执行__WYTestObject__test_block_func_0这个函数,既然是函数,那么大括号走完其函数体重的局部变量就会被释放,也就是说函数执行完以后,strongSelf作为局部变量正常释放了,strongSelf也不属于blockTest结构体的属性,weakSelf与strongSelf一内一外,意义是不一样的,所以下面的代码:
以上代码viewWy既能正常释放,又不会崩溃,这也就是weak和strong配合使用的意义所在.
