37-理解block

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");

};

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容