前言
为了保证block内部能够正常访问外部的变量,block有一个变量捕获机制。
局部变量
auto 变量(默认的auto)
在上一篇代码中我们已经了解过block对age变量的捕获。 auto自动变量,离开作用域就销毁,局部变量前面自动添加auto关键字。自动变量会捕获到block内部,也就是说block内部会专门新增加一个参数来存储变量的值。 auto只存在于局部变量中,访问方式为值传递,通过上述对age参数的解释我们也可以确定确实是值传递。
static变量
static 修饰的变量为指针传递,同样会被block捕获。
接下来分别添加auto修饰的局部变量和static修饰的局部变量,重看源码来看一下他们之间的差别:
auto int a = 10;
static int b = 10;
void(^block)(void) = ^{
NSLog(@"hello, a = %d, b = %d", a,b);
///打印 hello, a = 10, b = 20
};
a = 20;
b = 20;
block();
通过命令行我们查看源代码:
从上述源码中可以看出,a,b两个变量都有捕获到block内部。但是a传入的是值,而b传入的则是地址。
为什么两种变量会有这种差异呢,因为自动变量可能会销毁,block在执行的时候有可能自动变量已经被销毁了,那么此时如果再去访问被销毁的地址肯定会发生坏内存访问,因此对于自动变量一定是值传递而不可能是指针传递了。而静态变量不会被销毁,所以完全可以传递地址。而因为传递的是值得地址,所以在block调用之前修改地址中保存的值,block中的地址是不会变得。所以值会随之改变。
全局变量
我们以同样的方式来研究下block是否捕获全局变量
int a = 10;
static int b = 10;
int main(int argc, const char * argv[]) {
@autoreleasepool {
void(^block)(void) = ^{
NSLog(@"hello, a = %d, b = %d", a,b);
/// 打印hello, a = 20, b = 20
};
a = 20;
b = 20;
block();
}
return 0;
}
源代码:
通过上述代码可以发现,__main_block_imp_0并没有添加任何变量,因此block不需要捕获全局变量,因为全局变量无论在哪里都可以访问。 局部变量因为跨函数访问所以需要捕获,全局变量在哪里都可以访问 ,所以不用捕获。 所以用下面这张图做个总结:
总结:局部变量都会被block捕获,自动变量是值捕获,静态变量为地址捕获。全局变量则不会被block捕获
疑问思考:以下代码中block是否会捕获变量呢?
#import "Person.h"
@implementation Person
- (void)test
{
void(^block)(void) = ^{
NSLog(@"%@",self);
};
block();
}
- (instancetype)initWithName:(NSString *)name
{
if (self = [super init]) {
self.name = name;
}
return self;
}
@end