Objective-C的Block,递归与泛型

 

 

Apple在C，Objective-C和C++中扩充了Block这种文法的，并且在GCC4.2中进行了支持。现在我们可以在Mac 10.6和iOS 4中使用。如果是Mac 10.6 或 iOS 4.0 之前的平台，据说可以用http://code.google.com/p/plblocks/这个项目来支持Block语法。

Apple在 Snow Leopard中所用到的Grand Central Dispatch(GCD)就是基于Blocks实现的。Grand Central Dispatch是苹果开发的工具，目的是帮助开发者更容易的利用多核处理器的并行处理功能。关于Blocks以及GCD在苹果官方的介绍，请见：Introducing Blocks and Grand Central Dispatch。

你可以把它理解为函数指针，匿名函数，闭包，lambda表达式，这里暂且用块对象来表述，因为它们之间还是有些许不同的。

块对象

块对象是C级别的文法，同时也是一种运行时特征，即它允许您把函数表达式组合在一起，组合结果可作为参数传递也可保存，还可供多个线程使用。块对象的函数表达式可引用或持有局部变量。在其他的语言环境中，块对象有时也被称为closure或者lambda。如果您需创建可如数值般传递的工作单元（即代码段），则可使用块对象，它可为您提供更多的编程灵活性和更强大的功能。如需编写回调函数或对某个群体的所有项执行某种操作，也可使用块对象。

l  声明一个块

如果以内联方式使用块对象，则无需声明。块对象声明语法与函数指针声明语法相似，但是块对象应使用脱字符(^)而非星号指针 (*)。下面的代码声明一个aBlock变量，它标识一个需传入三个参数并具有float返回值的块。

float (^aBlock)(const int*, int, float);

l  创建一个块

块使用脱字符(^)作为起始标志，使用分号作为结束标志。下面的例子声明一个简单块，并且将其赋给之前声明的block变量（oneFrom）。

int (^oneFrom)(int);

oneFrom = ^(int anInt) {

    return anInt - 1;

};

结尾处的分号是标准C的行结束标志。如果未显式声明块表达式的返回值，则编译器会根据块内容自动进行推导。

l  块可变变量

如果某个局部变量使用__block存储修饰符，则表示块应使用此变量的引用，并可更改它的值。对变量的任何改变都只在块的语法作用域内部，以及该作用域中定义的其它块中起作用。

块对象的特性

Blocks比C++0x中的lambda表达式更强的一点是，它可以是个数组类型：

int main(void)

{

    void (^p[2])(void) = { ^(void){ puts("Hello, world!"); }, ^(void){ puts("Goodbye!"); } };

    p[0](), p[1]();

}

这里p的类型为void(^[2])(void)，表示含有2个void(^)(void)块引用元