本篇文章并不会剖析block的原理,笔者对原理也不甚了解。
声明:
对某个属性的访问(access)包括getter和setter。以下所说的访问是指setter。
1.1 block内访问外部局部变量
block内访问的外部局部变量
是值传递,block会捕获外部局部变量的瞬间值。
block内不能直接set外部局部变量,否则会报错,错误代码如下:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
int var = 10;
self.block = ^{
var = 20; // block内不可以直接访问外部局部变量
};
self.block();
NSLog(@"var == %d",var);
}
错误截图:
![10011945_0MNL.png](https://static.oschina.net/uploads/img/201709/10011945_0MNL.png)
要想访问外部局部变量,外部局部变量必须用__block
修饰,代码如下:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
__block int var = 10;
self.block = ^{
var = 20;
};
self.block();
NSLog(@"var == %d",var);
}
运行效果如下:
![10011946_23Og.png](https://static.oschina.net/uploads/img/201709/10011946_23Og.png)
block内访问__block关键字修饰的外部局部变量
是地址传递。block内修改这个局部变量会影响到外部局部变量的值。反之亦然。
1.2 block内访问静态变量
block内访问的静态变量
也是地址传递。block内修改这个静态变量会影响到静态变量的值。反之亦然。
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
static int staticVar = 10;
self.block = ^{
staticVar = 20;
};
self.block();
NSLog(@"staticVar == %d",staticVar);
}
![10011946_dmLl.png](https://static.oschina.net/uploads/img/201709/10011946_dmLl.png)
1.3 block内访问全局变量
block对全局变量
也是地址传递。block内修改这个全局变量会影响到全局变量的值。反之亦然。
代码如下:
int globalVar = 10;
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
self.block = ^{
globalVar = 20;
};
self.block();
NSLog(@"globalVar == %d",globalVar);
}
运行效果如下:
![10011947_b5Nl.png](https://static.oschina.net/uploads/img/201709/10011947_b5Nl.png)
block内要想修改外部局部变量,外部局部变量必须要用block修饰。但,block内部可以直接修改外部的静态变量或者全局变量,静态变量和全局变量无需用block修饰。
block分为三种:全局block、栈区block、堆block
block循环引用问题
ARC
![10011948_3BmX.png](https://static.oschina.net/uploads/img/201709/10011948_3BmX.png)
解决方法:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
// 使用__weak
__weak typeof(self) weakSelf = self;
self.block = ^{
[weakSelf handleBlock];
};
self.block();
}
- (void)handleBlock {
NSLog(@"调用block");
}
![10011948_SFtf.png](https://static.oschina.net/uploads/img/201709/10011948_SFtf.png)
MRC
把viewController.m文件切换到MRC,切换方式如下:
![10011948_BmEp.png](https://static.oschina.net/uploads/img/201709/10011948_BmEp.png)
使用_ _block
修饰block内部引用的外部变量,如下:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
// MRC下使用__block
__block typeof(self) weakSelf = self;
self.block = ^{
[weakSelf handleBlock];
};
self.block();
}
- (void)handleBlock {
NSLog(@"调用block");
}
![10011949_TdMr.png](https://static.oschina.net/uploads/img/201709/10011949_TdMr.png)
block类型
关于block的种类,网上有很多文章说是三种,其实不然,block的类型其实是六种,只不过我们接触过得只有3中而已(另外3种主要用于GC),如下:
- NSConcreteGlobalBlock (全局block)
- NSConcreteStackBlock (栈block)
- NSConcreteMallocBlock (堆block)
什么是全局block
如果一个block没有访问外界的任何变量或者对象,那么这个block就是一个全局block。全局block既不存储于栈区也不存储于堆区。下面的blk就是一个全局block:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
// block内部没有访问外界的任何变量或对象
customBlock blk = ^{
};
NSLog(@"%@",blk);
}
输出block,查看blk类型,验证结果如下:
![10011950_Y4yl.png](https://static.oschina.net/uploads/img/201709/10011950_Y4yl.png)
注意:
只有block内部不访问任何外部的变量,才是全局block。如果block没有访问外部变量,但是访问了block自己本身,此时也不再是全局block,代码如下:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
// block内部没有访问外界的任何变量或对象
// block 内部也不能访问block自己本身
customBlock blk = ^{
NSLog(@"%@",blk);
};
NSLog(@"%@",blk);
}
输出block,查看blk类型,验证结果如下:
![10011950_iXHW.png](https://static.oschina.net/uploads/img/201709/10011950_iXHW.png)
如上图,block内部访问了block自己(或者访问外部变量),就会变成堆block。那么问题来了,问题一:为什么block的类型会变呢?为题二:为什么block会变成堆block而不是栈block呢?
MRC下,访问了外界变量的block会变成栈block。栈上的Block,如果其所属的变量作用域结束,该Block就被释放,如同栈上的其他变量。为了解决栈block在其变量作用域结束之后被释放的问题,我们需要把Block复制到堆中,使用引用计数管理block,就像堆上的其他对象一样,延长其生命周期。所以在MRC下,我们经常会对block进行copy操作(当然,我没有彻头彻尾的经历过MRC时代的项目)。ARC下,编译器会判断是否有需要将Block从栈复制到堆,如果需要复制到堆上,编译器会自动生成将Block从栈复制到堆上的代码。Block的复制操作执行的是copy实例方法。Block只要调用了copy方法,栈block就会变成堆block。所以再ARC下,开发者不需要对block进行额外的copy操作,编译器会替我们做这些事情。而上面的工程代码是在ARC下编写的,所以block访问了外界变量,会经历两个过程:全局block -> 栈block -> 堆block
。最终,控制台输出的block的类型变成了堆NSMallocBlock
。
为了证明在MRC下,访问外界变量的block会变成堆block,我们把viewController.m后面加上-fno-objc-arc
,然后运行代码,结果如下:
![10011951_TDEG.png](https://static.oschina.net/uploads/img/201709/10011951_TDEG.png)
然后,在MRC下,对这个栈上的block进行copy操作,copy出的副本是堆block,代码如下:
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
// block内部没有访问外界的任何变量或对象
// block 内部也不能访问block自己本身
customBlock blk = ^{
NSLog(@"%@",blk);
};
NSLog(@"拷贝前:%@",blk);
customBlock copyBlk = [blk copy];
NSLog(@"拷贝后:%@",copyBlk);
}
输出结果如下:
![10011951_8GH5.png](https://static.oschina.net/uploads/img/201709/10011951_8GH5.png)
![10011951_5sgg.png](https://static.oschina.net/uploads/img/201709/10011951_5sgg.png)
从上图也能看出,栈上的block被copy后,堆上多出来一个block。而栈上的block依然存在,只是当其作用于结束后,栈上的block会被销毁。
block property
还是MRC下,如果我们的控制器有一个block属性,那么这个block的内存管理语义(retain、strong、copy)也决定了block的类型。
viewController设置为MRC,如下图:
![10011951_4co0.png](https://static.oschina.net/uploads/img/201709/10011951_4co0.png)
strong修饰block,代码如下:
typedef void(^customBlock)();
@interface ViewController ()
@property(nonatomic,strong) customBlock block;
@end
-(void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event {
__block typeof(self) weakSelf = self;
self.block = ^{
[weakSelf printBlockType:weakSelf.block];
};
self.block();
}
- (void)printBlockType:(customBlock)block {
NSLog(@"%@",block);
}
输出结果:
![10011952_XCCg.png](https://static.oschina.net/uploads/img/201709/10011952_XCCg.png)
如果property改为copy修饰呢?当然肯定也是变成堆block,如下图:
typedef void(^customBlock)();
@interface ViewController ()
@property(nonatomic,copy) customBlock block;
@end
![10011953_cGp9.png](https://static.oschina.net/uploads/img/201709/10011953_cGp9.png)
如果block属性使用retain修饰呢?(MRC下):
typedef void(^customBlock)();
@interface ViewController ()
@property(nonatomic,retain) customBlock block;
@end
输出结果:
![10011953_9QRB.png](https://static.oschina.net/uploads/img/201709/10011953_9QRB.png)
当然,MRC下assign修饰的block属性也是栈block,编译器也不会对其进行拷贝操作,如下图:
![10011954_sx9J.png](https://static.oschina.net/uploads/img/201709/10011954_sx9J.png)
所以,我们可以得出结论:
MRC下,block属性使用不同的内存管理语义,会有不一样的效果。使用strong/copy,编译器会自动帮我们把block copy到堆内存上。使用retain.assign修饰的block属性依旧是栈block,此时如果有需要延长栈block的生命周期,开发者需要对其手动copy。
其实,MRC下,如果我们使用retain修饰block属性,编译器会对我们进行警告,从警告信息我们也可以看出,使用retain修饰block属性,编译器并不会对block进行copy。如下图:
![10011955_U3Lu.png](https://static.oschina.net/uploads/img/201709/10011955_U3Lu.png)
那你肯能会问,既然MRC下,strong/copy和retain对block属性有不一样的影响,ARC会不会也有相同的影响呢?答案是否定的,不管ARC下我们使用strong/copy/retain中的哪个关键字修饰block属性,如果有需要,最终编译器都会进行优化,把block copy到堆内存上。
ARC下,虽然,我们使用retain修饰了block属性,但是输出的block类型依然是堆block,如下图所示:
![10011955_8kau.png](https://static.oschina.net/uploads/img/201709/10011955_8kau.png)
ARC下,只有当block属性使用assign修饰时,block才会是栈block,编译器无论如何都不会对其进行copy操作,因为编译器会认为这是开发者有意而为之,并不会多此一举的进行拷贝,如下图:
![10011956_yR0p.png](https://static.oschina.net/uploads/img/201709/10011956_yR0p.png)
所以,ARC下使用retain/strong/copy修饰block属性效果是一样的,编译器会在有必要的时候自动对其进行copy。但assign修饰block是很危险的,不要轻易尝试,除非有特殊需要。