《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.7 __block变量和对象
*** 附加__strong修饰符的对象类型__block变量和自动变量***
__block说明符可指定“任何类型”的自动变量。
下面指定用于赋值Objective-C对象的id类型自动变量：
__block id obj = [[NSObject alloc] init];
ARC有效时，id类型以及对象类型变量默认附加__strong修饰符。
所以，该代码等同于：
__block id __strong obj = [[NSObject alloc] init];
经clang转换：
/* __block变量的结构体部分 */
// 结构体 __Block_byref_obj_0
struct __Block_byref_obj_0 {
void *__isa;
__Block_byref_obj_0 *__forwarding;
int __flags;
int __size;
void (*__Block_byref_id_object_copy)(void*, void*);
void (*__Block_byref_id_object_dispose_)(void*);
__strong id obj; // __block变量被追加为成员变量
};
// 静态函数 __Block_byref_id_object_copy_131
static void __Block_byref_id_object_copy_131(void *dst, void *src){
_Block_object_assign((char*)dst + 40, *(void * *) ((char*)src + 40), 131);
}
// 静态函数 __Block_byref_id_object_dispose_131
static void __Block_byref_id_object_dispose_131(void *src){
_Block_object_dispose(*(void * *) ((char*)src + 40), 131);
}
/* __block变量声明部分 */
__Block_byref_obj_0 obj = {
0,
&obj,
0x20000000,
sizeof(__Block_byref_obj_0),
__Block_byref_id_object_copy_131,
__Block_byref_id_object_dispose_131,
[[NSObject alloc] init]
};
在Block中使用“附有__strong修饰符的id类型或对象类型自动变量”的情况下，当Block从栈复制到堆时，使用_Block_object_copy函数，持有Block截获的对象。当堆上的Block被废弃时，使用_Block_object_dispose函数，释放Block截获的对象。
在__block变量为“附有__strong修饰符的id类型或对象类型自动变量”的情形下会发生同样的过程。当__block变量从栈复制到堆时，使用_Block_object_copy函数，持有赋值给__block变量的对象。当堆上的__block变量被废弃时，使用_Block_object_dispose函数，释放赋值给__block变量的对象。
由此可知，即时对象赋值给“复制到堆上的附有__strong修饰符的对象类型__block变量”中，只要__block变量在堆上继续存在，那么该对象就会继续处于被持有的状态。这与在Block中对象赋值给“附有__strong修饰符的对象类型自动变量”相同。
*** 附有__weak修饰符的id类型自动变量 ***
在Block中使用附有__weak修饰符的id类型自动变量：
blk_t blk;
{
id array = [[NSMutableArray alloc] init];
id __weak weakArray = array;
blk = [^(id obj){
[weakArray addObject:obj];
NSLog(@"weakArray count = %ld", [weakArray count]);
} copy];
}
blk([[NSObject alloc] init]);
blk([[NSObject alloc] init]);
blk([[NSObject alloc] init]);
执行结果：
weakArray count = 0
weakArray count = 0
weakArray count = 0
该段代码能够正常运行。这是因为在变量作用域结束时，附有__strong修饰符的自动变量array所持有的NSMutableArray类对象会被释放被废弃，而附有__weak修饰符的自动变量weakArray由于对NSMutableArray类对象持有弱引用，此时nil赋值在自动变量weakArray上。
*** 附有__weak修饰符的__block变量 ***
blk_t blk;
{
id array = [[NSMutableArray alloc] init];
__block id __weak blockWeakArray = array;
blk = [^(id obj){
[blockWeakArray addObject:obj];
NSLog(@"blockWeakArray count = %ld", [blockWeakArray count]);
} copy];
}
blk([[NSObject alloc] init]);
blk([[NSObject alloc] init]);
blk([[NSObject alloc] init]);
执行结果：
blockWeakArray count = 0
blockWeakArray count = 0
blockWeakArray count = 0
这段代码也能正常运行。这是因为即时附加了__block说明符，在变量作用域结束时，附有__strong修饰符的自动变量array所持有的NSMutableArray类对象会被释放被废弃，而附有__weak修饰符的自动变量blockWeakArray由于对NSMutableArray类对象持有弱引用，此时nil赋值在自动变量blockWeakArray上。
注意
- 由于附有__unsafe_unretained修饰符的变量只不过与指针相同，所以不管在Block中使用还是附加到__block变量中，也不会像__strong修饰符或__weak修饰符那样进行处理。在使用附有__unsafe_unretained修饰符的变量时，注意不要通过悬挂指针访问已被废弃的对象，否则程序可能会崩溃！
- 没有设定__autoreleasing修饰符与Block同时使用。
- __autoreleasing修饰符与__block说明符同时使用会产生编译错误。
