什么是 Blocks ?
Blocks是 C 语言的扩充功能。可以用一句话来表示 Blocks 的扩充功能:带有自动变量(局部变量)的匿名函数。
- 匿名函数 : 不带有名字的函数
- 自动变量 : 局部变量(可以传递值的变量),表现为 “截取自动变量值”
Blocks 模式 ?
^ 返回值类型 参数列表 表达式
注意它没有函数名,因为它是匿名函数;返回值类型带有^
,因为这作为一个插入记号,便于在大量使用 Block 的时候查找。
一般来说,我们的比较常用的情况是这样的。
typedef void (^TestBlock)(NSString *sendValue);
@property (nonatomic, copy) TestBlock testBlock;
if (self.testBlock) {
self.testBlock (@"TestValue");
}
__weak typeof(self) weakSelf = self;
testObject.testBlock = ^(NSString *sendValue){
__strong typeof(weakSelf) strongSelf = weakSelf;
strongSelf.testValue = sendValue;
};
问题的引出
1、block表达式到底是怎样的?
此处,一下子会很奇怪,为什么表达式不是按 Block 语法说的那样的?
// 没有参数没有返回值
TestBlock testBlock = ^void(){
NSLog(@"test");
};
//有参数没有返回值
TestBlock testBlock = ^(NSString *string) {
NSLog(string);
}
//有参数有返回值
TestBlock testBlock = ^NSString *(NSString *str) {
NSLog(str);
return @"testString";
}
常用的那块举例,是因为我们为了更好的使用它,往往都是将表达式和定义函数分开,便于理解和使用,也就可以引出下面一个问题啦。
2、为什么用 typedef?
在函数参数和返回值中使用 block 类型变量时,记述方式很复杂,这时我们可以像使用函数指针类型时那样,使用 typedef 来解决问题。
typedef int (^blk_t)(int);
如上所示,这样通过使用 typeded 可声明 “blk_t”类型变量。换一种方式思考,之前举的例子不那样写应该怎样写呢?
@property (nonatomic, copy) void (^TestTempBlock)(NSString *sendValue);
看起上述真不是我们熟悉的感觉吧,怪怪的,所以简单的说通过 typedef,函数定义变的更容易理解多啦。
3、为什么用 copy?
简单解释就是 Block 的生命周期是和栈是绑定在一起的,为了不被提前释放掉,需要 copy 之后让 block 在堆上。或者说是为了让Block在初始化作用域外可以进行正常访问外部变量。
此时我们先来需要注意的是 Block 是Objective-C 对象,关于 Blcok 结构体这块可以去看看 唐巧的谈Objective-C block的实现加深理解,将 block 当做对象来看时,Blcok的类就有啦,它分为三种:
- _NSConcreteStackBlock
- _NSConcreteGlobalBlock
- _NSConcreteMallocBlock
- _NSConcreteStackBlock :引用了外部变量的 block,或者说使用了截获的自动变量,对应 数据区域。
- _NSConcreteGlobalBlock:没有引用外部变量的 block ,或者说不使用截获的自动变量的block,对应栈。
- _NSConcreteMallocBlock: 当block被copy时,将生成的 block,也就是对应堆。
所以此处使用 copy 的原因,也就出现啦,为了让 block 上__block 变量在作用域结束时不被影响而使用的。
放心的是,__block
变量中有结构体中的成员变量(__forwarding
)可以保证无论是在栈上还是堆上都可以正确的访问__block
变量。 (此处要看源码)
但是 Block 可以用 strong 修饰吗?在ARC下,strong和copy都可以用来修饰block,但是建议修饰block属性使用copy,可以让我们很容易想到它是在堆上的。
MRC下则不行。这是因为在MRC时期,作为属性的block在初始化时是被存放在静态区的,这样在使用时如果block内有调用外部变量,那么block无法保留其内存,在初始化的作用域内使用并不会有什么影响,但一但出了block的初始化作用域,就会引起崩溃,使用copy可以将block的内存推入堆中,这样让其拥有保存调用的外部变量的内存的能力。在MRC下正常情况如果Block是使用retain修饰并且在块内访问了外部变量,block在出了它的初始化的作用域时并再被调用时,程序就会崩溃。
4、为什么用 __weak?
简单直接说,就是为了防止循环引用的啊
同时注意下,循环引用是怎样产生的?例如在某个 VC 中使用一个 Block,假如block对象赋值给了VC的属性,那么VC就会对block有一个强引用,而block中又用到了self(VC),block会对使用到的外部变量进行捕获,所以,block对VC也有一个强引用,最终造成循环引用,谁也无法释放,然后就有问题啦。
self.testBlock = ^(NSString *sendValue) {
self.testValue = sendValue;
};
所以为了破坏这个环,使用 __weak
是必须的,让 block 对 self 就成了弱引用,而打破了环,达到我们的目的。
PS: 用 __strong
是因为上述会有一个隐患,我们不知道 self 什么时候会被释放,为了保证在block内不会被释放,我们添加__strong
。
想要更加深入 block,那就还得看源码啦,通过 clang,研究 block 具体的源码实现方式。不过我们平常用的话,了解了一些基本的也就 OK 啦,书中还有一些具体的实现方式,就没有一一记录啦。