1. Block语法

Block语法完整形式如下：

^void (int event) {printf("buttonId:%d event=%d\n", i, event);
}

完整形式的Block语法与一般的C语言函数定义相比，仅有两点不同。

1. 没有函数名。
2. 带有“^”（插入记号）。

因为OS X、iOS应用程序会大量使用Block，所以插入“^”记号方便查找。

以下为Block语法的BN范式。

Block_literal_Expression ::= ^block_decl Compound_statement_body
block_decl ::=
block_decl ::= parameter_list
block_decl ::= type_expression

即便此前不了解BN范式，通过说明也能有个概念。

^ 返回值类型 参数列表 表达式

省略返回值类型

^ 参数列表 表达式

省略返回值类型时，Block语法将按照return语句的类型返回。如果表达式中有多个return语句，所以return语句的类型必须一致。

省略参数列表

^ 返回值类型 表达式

如果不使用参数，可省略。

省略返回值和参数列表

^ 表达式

2. Block类型变量

在定义C语言函数时，就可以将所定义的函数的地址赋给函数指针类型变量中。

int func(int count)
{return count + 1;
}
int (*funcptr)(int) = &func;

同样的，在Block语法下，可将Block语法赋值给声明为Block类型的变量中。即源代码中一旦使用Block语法就相当于生成了可赋值给Block类型变量的“值”。在有关Block语法的文档中，“Block”即指源代码中的Block语法也指由Block语法所生成的值。

声明Block变量的示例：

int (^bik)(int);

该Block类型变量与一般C语言函数变量完全相同，可作为以下用于使用。

• 自动变量
• 函数参数
• 静态变量
• 静态全局变量
• 全局变量

使用Block语法，将Block赋值为Block变量。

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

有“^”开始的Block语法生成的Block被赋值给变量blk中。因为与通常的变量相同，所以当然也可以有Block类型变量赋值给Block类型变量。

int (^bilk1)(int) = blk;

int (^blk2)(int);blk2 = blk1;

在函数参数中使用Block类型变量可以向函数传递Block。

void func(int (^blk)(int))
{...
}

在返回值类型中指定Block类型，可以将Block作为函数的返回值。

int (^func())(int) 
{return ^(int count){return count + 1};
}

但是在参数和函数返回值中使用Block类型变量极为复杂。这时，我们可以使用typedef来解决该问题。

typedef int (^blk_t)(int);

如上所示，通过使用typedef可声明“blk_t”类型变量。

void func(blk_t blk)
{...
}blk_t func()
{return ^(int count){return count + 1};
}

另外，将赋值给Block的类型变量中的Block方法像C语言通常的函数调用那样使用，这种方法与使用函数指针类型变量调用函数的方法几乎完全相同。
变量funcptr为函数指针类型时，像下面这样调用函数指针类型变量：

int result = (*funcptr)(10);

变量blk为Block类型的情况下，这样调用Block类型变量：

int result = blk(10);

通过Block类型变量调用Block与C语言通常的函数调用没有区别。在函数参数中使用Block类型变量并在函数中执行Block的例子如下：

int func(blk_t elk, int rate) {return blk(rate);
}

在Objective-C方法中：

- (int) methodUsingBlock:(blk_t) rate:(int)rate
{return blk(rase);
}

Block类型变量可完全像通常的C语言变量一样使用，因此也可以使用指向Block类型变量的指针，即Block的指针类型变量。

typedef int (^blk_t)(int);blk_t blk = ^(int count){return count + 1};blk_t *blkptr = &blk;(*blkptr)(10);

3. 截获自动变量

通过Block语法和Block类型变量的说明，我们已经理解了“带有自动变量值的匿名函数”中的匿名函数。而带有自动变量是什么呢？“带有自动变量值”在Block中表现为“截取自动变量值”。截取自动变量值的实例如下：

int main()
{int day = 256;int val = 10;const char *fmt = "val = %d\n";void (^blk)(void) = ^(printf(fat, val));val = 2;fmt = "These values were changed. val = %d\n";blk();return 0;
}

该源代码中，Block语法的表达式使用的是它之前声明的自动变量fmt和val。Blocks中，Block表达式截获所使用的自动变量的值，即保存该自动变量的值，即保存该自动变量的瞬间值。因为Block表达式保存了自动变量的值，所以在执行Block语法后，即便改写Block中使用的自动变量的值也不会影响Block执行时自动变量的值。该源代码就在Block改写后改写了Block中自动变量val和fmt。
执行结果：

val = 10

这就是自动变量的截获。

4. __block 说明符

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

__block int val = 0;void (^blk)(void) = ^{val = 1};blk();printf("val = %d\n", val);

该代码执行结果：

val = 1

5. 截获的自动变量

截获Objective-C对象，调用变更该对象的方法不会产生编译错误。

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

这是没有问题的，而向截获的变量array赋值则会产生编译错误。该源代码中截获的变量值为NSMutableArray类对象用的结构体指针。

这种情况下需要给截获的自动变量附加__block说明符。

__block id array = [[NSMutableArray alloc] init];void (^blk)(void) = ^{array = [[NSMutableArray alloc] init];
};

另外，在使用C语言数组时必须小心使用其指针。只是使用C语言的字符串字面量数组，而并没有向截获的自动变量赋值，因此看似没有任何问题。但实际上会产生编译错误。

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

error: cannot refer to declaration with an array type inside blockprintf("%c\n", text[2]);
note: delared hereconst char text[] = "hello";^

这是因为在现在的Block中，截获的自动变量的方法并没有实现对C语言数组的截获。这时，使用指针可以解决该问题。

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