Blocks模式

语法

^ 返回值类型参数列表表达式
其中，返回值类型、参数列表可以省略。

举例
^void (void){printf("Blocks\n");}可以省略为如下形式：^{printf("Blocks\n");}

Block类型变量

声明Block类型变量的实例如下：
int (^blk) (int)

举例
下面试着使用Block语法将Block赋值为Block类型变量。

int (^blk)(int) = ^(int count){return count + 1;};

截获自动变量值

Blocks中，Block表达式截获所使用的自动变量的值，即保存该自动变量的瞬间值。因为Block表达式保存了自动变量的值，所以在执行Block语法后，即使改写了BLock中使用的自动变量的值也不会影响Block执行时自动变量的值。

举例
截获自动变量值的实例如下

int main()
{
    int dmy = 256;
    int val = 10;
    const char *fmt = "val = %d\n";
    void (^blk)(void) = ^{printf(fmt, val);};

    val = 2;
    fmt = "These values were changed. val = %d\n";

    blk();

    return 0;
}

执行结果为
val = 10
执行结果不是改写后的值"These values were changed. val = 2"，而是执行Block语法时的自动变量的瞬间值。该Block语法在执行时，字符串指针“val = %d\n”被赋值到自动变量fmt中，int值10被赋值到自动变量val中，因此这些值被保存（即被截获），从而在执行块时使用。

__block说明符

自动变量值截获只能保存执行Block语法瞬间的值。保存后就不能改写该值。
若想在Block语法的表达式中将值赋给在Block语法外声明的自动变量，需要在该自动变量上附加__block说明符

使用附有__block说明符的自动变量可在Block中赋值，该变量称为__block变量。
举例

__block int val = 0;
void (^blk)(void) = ^(val = 1);

截获的自动变量

若将值赋值给BLock中截获的自动变量，就会产生编译错误。但是截获Objective-C对象，调用变更该对象的方法(也就是使用截获的值)，不会产生编译错误。

id array = [[NSMutableArray alloc] init];
void (^blk)(void) = ^{
    id obj = [[NSObject alloc] init];
    [array addObject:obj];
};

但下面的代码会产生编译错误：

id array = [[NSMutableArray alloc] init];
void (^blk)(void) = ^{
    array = [[NSMutableArray alloc] init];//向截获的自动变量进行赋值，因此产生编译错误。
};

如果不想产生编译错误，需要给截获的自动变量添加__block说明符。

注意：使用C语言数组时必须小心使用指针

const char text[] = "hello";
void (^blk) (void) = ^{ printf("%c\n", text[2])};

以上代码会产生编译错误。
原因：在现在的Blocks中，截获自动变量的方法并没用实现对C语言数组的截获。这时，使用指针可以解决该问题。

const char *text = "hello";
void (^blk) (void) = ^{ printf("%c\n", text[2])};

Block的实现

Block的实质：为Objectvie-C对象

全局块、栈块、堆块

定义块的时候，其所占的内存区域是分配在栈中的，即块只在定义它的那个范围内有效。以参考1中第153页代码为例

-(void)doSomething{
    void (^block)();//块声明
    if(/* some condition */){
        block = ^{ // 块定义
            NSLog(@"Block A");
        };
    }else{
        block = ^{ // 块定义
            NSLog(@"Block B");
        };
    }
    block();
}

定义在if else语句中的两个块分配在栈中，编译器会给每个栈分配好栈内存，然而等离开相应的范围之后，编译器有可能把分配给块的栈内存覆写掉。
为了解决此问题，需要给块对象发送copy消息以拷贝，这样就把块从栈复制到堆中了。此时，块就成了带引用计数的对象了。因此上述代码需要加上两个copy，就可令其变得安全

-(void)doSomething{
    void (^block)();
    if(/* some condition */){
        block = [^{
            NSLog(@"Block A");
        } copy];
    }else{
        block = [^{
            NSLog(@"Block B");
        } copy];
    }
    block();
}

参考

Effective Objective-C 2.0