Block 循环引用(中)

不会造成循环引用的block

大部分GCD方法

 dispatch_async(dispatch_get_main_queue(), ^{
     [self doSomething];
 });

因为self并没有对GCD的block进行持有，没有形成循环引用。目前我还没碰到使用GCD导致循环引用的场景，如果某种场景self对GCD的block进行了持有，则才有可能造成循环引用。

block并不是属性值，而是临时变量

 - (void)doSomething {
     [self testWithBlock:^{
         [self test];
     }];
 }

 - (void)testWithBlock:(void(^)())block {
     block();
 }

 - (void)test {
     NSLog(@"test");
 }

这里因为block只是一个临时变量，self并没有对其持有，所以没有造成循环引用

block使用对象被提前释放

有这种情况，如果不只是ClassA持有了myBlock，ClassB也持有了myBlock。

当ClassA被someObj对象释放后

此时，ClassA对象已经被释放，而myBlock还是被ClassB持有，没有释放；如果myBlock这个时被调度，而此时ClassA已经被释放，此时访问的ClassA将是一个nil对象（使用__weak修饰，对象释放时会置为nil），而引发错误。

另一个常见错误使用是，开发者担心循环引用错误（如上所述不会出现循环引用的情况），使用__weak。比如

 __weak typeof(self) weakSelf = self;
 dispatch_async(dispatch_get_main_queue(), ^{
     [weakSelf doSomething];
 });

因为将block作为参数传给dispatch_async时，系统会将block拷贝到堆上，而且block会持有block中用到的对象，因为dispatch_async并不知道block中对象会在什么时候被释放，为了确保系统调度执行block中的任务时其对象没有被意外释放掉，dispatch_async必须自己retain一次对象（即self），任务完成后再release对象（即self）。但这里使用__weak，使dispatch_async没有增加self的引用计数，这使得在系统在调度执行block之前，self可能已被销毁，但系统并不知道这个情况，导致block执行时访问已经被释放的self，而达不到预期的结果。

注：如果是在MRC模式下，使用__block修饰self,则此时block访问被释放的self，则会导致crash。

该场景下的代码

 // ClassA.m
 - (void)test {
     __weak MyClass* weakSelf = self;
     double delayInSeconds = 10.0f;
     dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, (int64_t)(delayInSeconds * NSEC_PER_SEC));
     dispatch_after(popTime, dispatch_get_main_queue(), ^(void){
         NSLog(@"%@", weakSelf);
     });
 }

 // ClassB.m
 - (void)doSomething {
     NSLog(@"do something");
     ClassA *objA = [[ClassA alloc] init];
     [objA test];
 }

运行结果

[:] do something
[:] self:(null)

解决方法：

对于这种场景，就不应该使用__weak来修饰对象，让dispatch_after对self进行持有，保证block执行时self还未被释放。

block执行过程中对象被释放

还有一种场景，在block执行开始时self对象还未被释放，而执行过程中，self被释放了，此时访问self时，就会发生错误。

对于这种场景，应该在block中对 对象使用__strong修饰，使得在block期间对 对象持有，block执行结束后，解除其持有。

 - (void)testBlockRetainCycle {
     ClassA* objA = [[ClassA alloc] init];
     __weak typeof(objA) weakObjA = objA;
     self.myBlock = ^() {
         __strong typeof(weakObjA) strongWeakObjA = weakObjA;
         [strongWeakObjA doSomething];
     };
     objA.objA = self;
 }

注：此方法只能保证在block执行期间对象不被释放，如果对象在block执行执行之前已经被释放了，该方法也无效。

参考资料：block的循环引用问题