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");
};
网友评论