37-理解“block”
block的基础知识
block与函数类似,只不过是直接定义在另一个函数里的,和定义它的那个函数共享同一个范围内的东西。block用“^”表示,后面跟着一对花括号,括号里面的是块的实现代码,
^{
//Block implementation here
}
块其实就是个值,而且自有其相关类型,与int,float或OC对象一些,也可以吧块赋给变量。然后像使用其他变量那样使用它,块类型的语法和函数指针近似。
void (^someBlock) () =^{
//Block implementation here
}
这段代码定义了一个名为someBlock的变量。由于变量名写在正中间,所以看上去也许有点怪,不过一旦理解了语法,很容易就能读懂。块类型的语法结构如下
return_type (^block_name) (paremeters)
下面这种写法所定义的块,返回int值,并且接受两个int做参数
int (^addBlock)(int a, int b) = ^(int a, int b){
return a + b;
}
定义好之后,就可以向函数那样使用了,比方说,addBlock块可以这样用:
int add = addBlock(2, 5);
块的强大之处是:在声明他的范围里,所有的变量都可以为其捕获。这就是说,那个范围里的全部变量,在块里依然可用。比如,下面这段代码所定义的块,就使用了块以外的变量:
int additional = 5;
int (^addBlock)(int a, int b) = ^(int a, int b){
return a + b + addittional;
}
int add = addBlock(2, 5);//add = 12
默认情况下,为块所捕获的变量,是不可以在块里修改的。在本例中,假如块内的代码该懂了addittional变量的值,那么编译器就会报错,不过,声明变量的时候可以加上__block修饰符,这样就可以在块内修改了。例如,可以用下面这个块来枚举数组中的元素
NSArray *array = @[ @0, @1, @2, @3, @4, @5];
__block NSInteger count = 0;
[array enumerateObjectsUsingBlock : ^(NSNumber *number, NSUInteger idx, BOOL *stop){
if([number compare: @2] == NSOrderedAscending) {
count++;
}
}];
这段范例代码掩饰了“内联块”的用法,传给“numerateObjects-USingBlock:”方法的块并未先赋给局部变量,而是直接内联在函数调用里了。由这种常见的编码习惯也可以看出块为何如此有用,在OC语言引入块这一特性之前,想要编出与刚才那段代码相同的功能,就必须传入函数指针或选择子的名称,以供枚举方法调用,状态必须手工传入传出,这一般通过“不透明的void指针”实现。如此一来,就得再写几行代码了,而且还会令方法变得有些松散,与之相反,若声明内联形式的块,则可把所有业务逻辑都放在一处。
如果块所捕获的变量是对象类型,那么就会自动保留它,系统在释放这个块的时候,也会将其一并释放。这就应处了一个与块有关的重要问题。块本身可视为对象。实际上,在其他OC对象所能影响的选择子中,有很多块也是可以响应的。而最重要之处则在于,块本身也和其他对象一样,有引用计数,当最后一个指向块的引用移走之后,块就回收了,回收是也会释放块所捕获的变量,以便平衡捕获时所执行的保留操作。
全局块,栈块、堆块
定义块的时候,其所占的内存区域是分配在栈中的,这就是说,块之在定义它的那个范围内有效,例如,下面这段代码就有危险
void (^block) ();
if ( condition ) {
block( = ^{
NSLog(@"Block A");
};
} else {
block = ^{
NSLog(@"Block B");
};
}
block();
定义在if及else语句中的两个块都分配在栈内存中,编译器会给每个块分配好栈内存,然而等离开了相应的范围之后,编译器有可能把分配给块的内存覆写掉。于是,这两个块只能保证在对应的if或else语句范围内有效,这样写出来的代码可以被编译,但是运行起来时而正确时而错误。若编译器未覆写待执行的块,则程序照常运行,若覆写,则程序崩溃
为解决此问题,可以给对象发送copy消息以拷贝之,这样的话,就可以把块从栈复制到堆了,拷贝后的块,可以在定义它的那个范围之外使用。而且,一旦复制到堆上,块就成了带引用计数的对象了。后续的复制操作·都不会真的执行复制。只是递增块对象的引用计数,如果不再使用这个块,就会将其释放,再ARC环境下会自动释放,而手动管理引用计数时则需要自己来调用release方法。当引用计数降到0的时候,分配在栈上的块就会想其他对象一样,为系统回收,而“分配在栈上的块”则无需明确释放。因为栈内存本来就会自动回收,刚才那段范例代码之所以有危险,原因也在于此。
明白这一点之后,我们只需要给代码加上两个copy方法调用,就可令其变得安全了
void (^block) ();
if ( condition ) {
block( = [^{
NSLog(@"Block A");
} copy];
} else {
block = ^[{
NSLog(@"Block B");
} copy];
}
block();
处理栈和堆之外,还有一个“全局块”。这种块不会捕捉任何状态,运行时也无需有状态来参与,块所使用的整个内存区域,在编译器就已经完全确定了,因此,全局块可以声明在全局内存里,而不需要在每次用的时候在栈中创建,另外,全局块的拷贝是个空操作,因为全局块绝不可能为系统所回收,这种块实际上相当于一个单例,下面就是全局块:
void (^block)() = ^{
NSLog(@"this is a block");
};