block存储和copy操作
在开始研究Block的copy操作之前，先来思考一下：Block是存储在栈上还是堆上呢？
- 其实，block有三种类型：
- 全局块(_NSConcreteGlobalBlock)
- Block不访问外界变量（包括栈中和堆中的变量）
- 栈块(_NSConcreteStackBlock)
- 堆块(_NSConcreteMallocBlock)
各快存储在各自相应的地方
- ARC下，访问外界变量的Block为什么要自动从栈区拷贝到堆区呢？
栈上的Block，如果其所属的变量作用域结束，该Block就被废弃，如同一般的自动变量。当然，Block中的__block变量也同时被废弃。
为了解决栈块在其变量作用域结束之后被废弃（释放）的问题，我们需要把Block复制到堆中，延长其生命周期。开启ARC时，大多数情况下编译器会恰当地进行判断是否有需要将Block从栈复制到堆，如果有，自动生成将Block从栈上复制到堆上的代码。Block的复制操作执行的是copy实例方法。Block只要调用了copy方法，栈块就会变成堆块。
但是没中类型的block被copy修饰之后效果不一样
- 全局用copy修饰，不做改变
- 堆区block被copy修饰，引用计数增加
- 栈区block被copy修饰，会被拷贝到堆区。
1、block引用外部变量
对于 block 外的变量引用，block 默认是将其复制到其数据结构中来实现访问的。也就是说block的自动变量截获只针对block内部使用的自动变量, 不使用则不截获, 因为截获的自动变量会存储于block的结构体内部, 会导致block体积变大。特别要注意的是默认情况下block只能访问不能修改局部变量的值。
2、block修改外部变量
block为什么不能修改局部变量
__block 修饰的外部变量 为什么可以被block 内部修改 ？
因为 被__block 修改的局部变量会被转化成一个 和block一样的结构体类型的自动变量实例。然后通过复制其引用地址，通过forwarding对象进行访问
通过forwarding, 无论是在block中还是 block外访问block变量, 也不管该变量在栈上或堆上, 都能顺利地访问同一个__block变量。
还有一点是值得注意的。使用__block修饰的也可以引起循环引用
// 循环引用 self -> _attributBlock -> tmp -> self
typedef void (^Block)();
@interface TestObj : NSObject
{
Block _attributBlock;
}
@end
@implementation TestObj
- (id)init {
self = [super init];
__block id tmp = self;
self.attributBlock = ^{
NSLog(@"Self = %@",tmp);
tmp = nil;
};
}
- (void)execBlock {
self.attributBlock();
}
@end
// 使用类
id obj = [[TestObj alloc] init];
[obj execBlock]; // 如果不调用此方法，tmp 永远不会置 nil，内存泄露会一直在
