ARC下,我们常常会使用weak 的修饰符来修饰一个变量,防止其在block中被循环引用,但是有些特殊情况下,有必要在block中使用strong 来修饰这个在block外刚刚用__weak修饰的变量,这样写有什么必要性呢?
首先结合代码看一下在block外使用__weak修饰的情况:
clang -rewrite-objc QYTestOject.m
将OC代码转成C++,可以看到block的底层实现:
2是调用block具体执行的代码段;
3表示的就是-(void)test这个函数
在执行3的时候,会调用到2,可以看到在2中__cself是__QYTestObject__test_block_imp1_0对象,也就是代码中的block自身,2中__cself->weakSelf,可以看出block将weakSelf作为自己的属性来使用,而weakSelf保存有指向self的引用,但是self的引用计数并没有增加,所以self依然可以被释放,这样就保证了不会出现循环引用,那为什么苹果还提倡weak,strong的写法呢?首先看一下代码:
对应的c++代码:
attribute((objc_ownership(strong))) typeof(self) strongSelf = weakSelf;
从这行代码可以看到在block内部又强引用了self,那这样不会造成循环引用吗?
strongSelf在block内部是作为局部变量,strongSelf也不属于block结构体的属性,一旦block执行结束,局部变量就会被释放,所以strongSelf不会引起循环引用。
假设仅仅使用weakSelf持有一次对self的弱引用,如果self在其他地方不小心被释放,weakSelf也变成了nil,block可能无法继续执行,程序将会崩溃。
这样做的意义在于可以保证在block执行期间,self不会被释放,而block执行结束之后,self可以正常被释放,不会引起循环引用,所以weakSelf与strongSelf意义是不一样的,一内一外,保证程序正常运行。