在使用 block 的时候,为了避免产生循环引用,通常需要使用 weakSelf 与 strongSelf,写下面这样的代码:
__weak typeof(self) weakSelf = self;
[self doSomeBlockJob:^{
__strong typeof(weakSelf) strongSelf = weakSelf;
if (strongSelf) {
...
}
}];
什么时候在 block 里面用 self,不需要使用 weak self?
使用weakSelf
当 block 本身不被 self 持有,而被别的对象持有,同时不产生循环引用的时候,就不需要使用 weak self 了。最常见的代码就是 UIView 的动画代码,我们在使用 UIView 的 animateWithDuration:animations 方法 做动画的时候,并不需要使用 weak self,因为引用持有关系是:
- UIView 的某个负责动画的对象持有了 block
- block 持有了 self
- 因为 self 并不持有 block,所以就没有循环引用产生,因为就不需要使用 weak self 了。
[UIView animateWithDuration:0.2 animations:^{
self.alpha = 1;
}];
当动画结束时,UIView 会结束持有这个 block,如果没有别的对象持有 block 的话,block 对象就会释放掉,从而 block 会释放掉对于 self 的持有。整个内存引用关系被解除。
使用strongSelf
在使用 block 的时候,为了避免产生循环引用,通常需要使用 weakSelf 与 strongSelf,写下面这样的代码:
__weak typeof(self) weakSelf = self;
[self doSomeBackgroundJob:^{
__strong typeof(weakSelf) strongSelf = weakSelf;
if (strongSelf) {
...
}
}];
为什么 block 里面还需要写一个 strong self,如果不写会怎么样?
在 block 中先写一个 strong self,其实是为了避免在 block 的执行过程中,突然出现 self 被释放的尴尬情况。通常情况下,如果不这么做的话,还是很容易出现一些奇怪的逻辑,甚至闪退。
我们以 AFNetworking 中 AFNetworkReachabilityManager.m 的一段代码举例:
__weak __typeof(self)weakSelf = self;
AFNetworkReachabilityStatusBlock callback = ^(AFNetworkReachabilityStatus status) {
__strong __typeof(weakSelf)strongSelf = weakSelf;
strongSelf.networkReachabilityStatus = status;
if (strongSelf.networkReachabilityStatusBlock) {
strongSelf.networkReachabilityStatusBlock(status);
}
};
如果没有 strongSelf 的那行代码,那么后面的每一行代码执行时,self 都可能被释放掉了,这样很可能造成逻辑异常。
特别是当我们正在执行 strongSelf.networkReachabilityStatusBlock(status); 这个 block 闭包时,如果这个 block 执行到一半时 self 释放,那么多半情况下会 Crash。
结合下面一段代码来看:
image为什么会循环引用了呢?
其一:当前对象强引用着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;才会安全呢?这一系列的机理到底是怎么回事呢?
比较着咱们来思考一下,先把上面的代码做一个改动
image运行后断点肯定会进,也就是内存确实释放了,weakSelf 是个局部变量,这个局部变量会被block捕获,我们看一下这个使用weakSelf后的中间代码
image1==>表示的是blockTest的结构体形式的表示,这部分中间代码的具体含义不解释了,网上有很多讲解,
2==>表示的是blockTest的函数体,无论如何最终执行的代码功能片段都会是个函数,block也不例外
3==>表示的就是- (void)test这个函数.
核心的地方在于1和2,代码执行起来无非就是发消息,函数调用,传递参数,返回值,这一系列的动作,
image方法执行起来以后,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写法为什么既能避免这种为空情况,又能不产生循环引用的呢?请看下面的代码.
image只是多了箭头所指的一句代码,咱们看看中间代码是此时又是什么样的.
image相比之前没加入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一内一外,意义是不一样的,所以下面的代码:
image以上代码viewWy既能正常释放,又不会崩溃,这也就是weak和strong配合使用的意义所在.
网友评论