【OC】Blocks模式
1. Block语法
Block语法完整形式如下：
^void (int event) {printf("buttonId:%d event=%d\n", i, event);
}
完整形式的Block语法与一般的C语言函数定义相比，仅有两点不同。
- 没有函数名。
- 带有“^”（插入记号）。
因为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]);
};