《Objective-C高级编程》Blocks 阅读笔记系列
《Objective-C高级编程》Blocks 阅读笔记 item1（Blocks概要和模式）
《Objective-C高级编程》Blocks 阅读笔记 item2（Block的实质）
《Objective-C高级编程》Blocks 阅读笔记 item3（截获自动变量值）
《Objective-C高级编程》Blocks 阅读笔记 item4（__block说明符）
《Objective-C高级编程》Blocks 阅读笔记 item5（Block存储域）
《Objective-C高级编程》Blocks 阅读笔记 item6（__block变量存储域）
《Objective-C高级编程》Blocks 阅读笔记 item7（截获对象）
《Objective-C高级编程》Blocks 阅读笔记 item8（__block变量和对象）
《Objective-C高级编程》Blocks 阅读笔记 item9（Block循环引用）
《Objective-C高级编程》Blocks 阅读笔记 item10（copy/release实例方法）
2.3 Blocks的实现
2.3.8 Block循环引用
*** 如果在Block中使用附有__strong修饰符的对象类型自动变量，那么当Block从栈复制到堆时，该对象为Block所持有。 *** 这样容易引起*** 循环引用 ***。
*** 使用Block类型成员变量和附有__strong修饰符的self出现循环引用 ***
typedeft void (^blk_t)(void);
@interface MyObject : NSObject
{
blk_t blk_;
}
@end
@implementation MyObject
- (id)init
{
self = [super init];
blk_ = ^{NSLog(@"self = %@", self);};
return self;
}
- (void)dealloc
{
NSLog(@"dealloc");
}
@end
int main()
{
id o = [[MyObject alloc] init];
NSLog(@"%@", o);
return 0;
}
编译该源代码时，编译器会发出警告，这是因为出现了循环引用，从而导致dealloc实例方法没有被调用。
*** 使用Block类型成员变量和附有__weak修饰符的self避免循环引用 ***
为避免此循环引用，可声明附有__weak修饰符的变量，并将self赋值给该变量，然后在Block语法中使用该变量。
- (id)init
{
self = [super init];
id __weak weakSelf = self;
blk_ = ^{NSLog(@"self = %@", weakSelf);};
return self;
}
*** 面向iOS4，使用__unsafe_unretained修饰符 ***
- (id)init
{
self = [super init];
id __unsafe_unretained weakSelf = self;
blk_ = ^{NSLog(@"self = %@", weakSelf);};
return self;
}
面向iOS4，使用__unsafe_unretained修饰符替代__weak修饰符，并且不用担心悬挂指针问题。
*** Block中没有使用self，但是截获了self ***
@interface MyObject : NSObject
{
blk_t blk_;
id obj_;
}
@end
@implementation MyObject
- (id)init
{
self = [super init];
blk_ = ^{NSLog(@"obj_ = %@", obj_);};
return self;
}
该源代码，如果编译，编译器会发出警告（出现循环引用）。这是因为Block语法中使用的obj_实际上截获了self，而对编译器来说，obj_只不过是对象的结构体的成员变量。
blk_ = ^{NSLog(@"obj_ = %@", self->obj_);};
为避免循环引用，解决方法参考前面。
*** 使用__block变量避免循环引用 ***
typedeft void (^blk_t)(void);
@interface MyObject : NSObject
{
blk_t blk_;
}
@end
@implementation MyObject
- (id)init
{
self = [super init];
__block id blockSelf = self;
blk_ = ^{
NSLog(@"self = %@", blockSelf);
blockSelf = nil; // 记得清零
};
return self;
}
- (void)execBlock
{
blk_();
}
- (void)dealloc
{
NSLog(@"dealloc");
}
@end
int main()
{
id o = [[MyObject alloc] init];
[o execBlock];
return 0;
}
该源代码没有引起循环引用。但是，如果不调用execBlock实例方法（即不执行赋值给成员变量blk_的Block），便会循环引用并引起内存泄露。该种循环引用可参看下面。
*** 使用__block变量不恰当会出现循环引用 ***
在生成并持有MyObject类对象的状态下会引起以下循环引用，如下图：
- MyObject类对象持有Block
- Block持有__block变量
- __block变量持有MyObject类对象
如果不执行execBlock实例方法，就会持续该循环引用从而造成内存泄露。
如果只想execBlock实例方法，Block被执行，nil被赋值在__block变量blockSelf中。
blk_ = ^{
NSLog(@"self = %@", blockSelf);
blockSelf = nil; // 记得清零
};
因此，__block变量blockSelf对MyObject类对象的强引用失效，从而避免了循环引用，如下图：
- MyObject类对象持有Block
- Block持有__block变量
*** 使用__block变量避免循环引用的优缺点 ***
优点
- 通过__block变量可控制对象的持有期间
- 在不能使用__weak修饰符的环境中不使用__unsafe_unretained修饰符即可（不必担心悬挂指针）
在执行Block时可动态地决定是否将nil或其他对象赋值在__block变量中，从而避免出现循环引用。
缺点
- 为避免循环引用必须执行Block
存在执行了Block语法，却不执行Block的路径时，无法避免循环引用。
总结
若由于Block引发了循环引用时，根据Block的用途选择使用__block变量、__weak修饰符或__unsafe_unretained修饰符来避免循环引用。