原文：From C Declarators to Objective-C Blocks Syntax

作者：Nils Hayat

译者：CocoaChina--sunshine

在这篇文章中，从简单的C语言中各种声明开始，以及复杂的声明组合，到最后Objective-C中的代码块bokck的语法。

花一些时间去了解代码块（block）衍生和组织形式，一旦明白了这些，就可以很方便的声明和使用它，而不用每次需要的时候才去Google一下。

如果你想把能想到的东西用block声明表现出来，请继续阅读！

Declarators(说明符)

C语言中是通过说明符来声明变量的。

一个说明符有两个作用：

1. 定义这个变量的类型；

2. 给变量定义一个名字，以便在它的作用域中使用它；

让我们用一个最基本的说明符开始：?

这很像你曾经写过的第一行C语言代码。

int 是基本的变量类型，a是变量的名字（或标示符）。

当开始看一个说明符的时候，应该从变量名（说明符）开始，先看变量名右边的部分，然后看变量名左边的部分（接下来的部分解释为什么要这么做）。

int a；中在变量名a的右边部分什么都没有，所以它直接的说明了：a是一个int类型的变量。

一个变量的声明只有一个基本类型，它就是说明符最左边的部分。

说明符能够通过修饰符去改变基本的数据类型，从而衍生出新的类型。修饰符就是下面的四种符号：*，[],（），^。

指针修饰符（ * ）

类型仍旧是int，变量名是a。但是指针修饰符（*）意味着a是一个指针，指向一个int的值，而其本身不是一个int的值。

指针修饰符（*）总是在变量的左边。

数组修饰符（[]）

上面的数组修饰符（[])表示a是一组int，而不是一个简单int值。声明的时候要加上数组的长度，例如int a[10];

数组修饰符（[]）总是在变量的右边。

函数修饰符 （（））

函数修饰符表示：f是一个返回int值得函数。函数修饰符可以携带参数，例如int f(long);意味着：f是一个携带一个long型参数并且返回一个int类型值得函数。

函数修饰符（）总是在变量的右边。

修饰符的组合

指针修饰符(*)和数组修饰符([])

组合

修饰符可以组合在一起从而产生复杂的变量类型。就跟算术操作符相似，算术操作符可以组合在一起，然后按照优先级的不同判断先进行的操作（就向*和/的优先级高于+/-），修饰符也如此。修饰符[]和()的优先级高于秀是否*和^.因为[]和（）的优先级高，所以放在变量的右边，因此当遇到复杂的说明符时，应该从变量名（标示符）开始，先看右边的部分，在看左边的部分。

例如

或者为了提高阅读性用括号将变量名及右边部分扩起来。

都是表示：a是一个指针数组，数组中的每一元素都指向一个int类型的值。

可能会有人问，怎么才能声明一个指向一组int值得指针呢？下面的声明方式就可以实现：

指针修饰符的优先级低于数组修饰符，因此要放在括号中来提高它的优先级。这样表示：a是一个指向一组int值得指针。

数组修饰符([])和函数修饰符()组合

你不能声明一个数组，数组中的每个元素是一个函数，也不能声明一个函数，该函数返回一个数组或者一个函数。但是一个函数的参数可以是一个数组。

例如?

以上表示：f是一个函数，有一个参数，该参数是一个长度为10的数组（数组中的每个元素是一个int类型的值），函数返回一个int类型值。

指针修饰符(*)和函数修饰符()组合

上面的两个声明都表示:f是个函数，返回一个指针，该指针指向一个int类型的值。

如过想要一个指针，指向一个函数，该什么办呢？

上面的声明表示：f是个函数指针，该指针指向一个返回int类型值得函数。

代码块（也称闭包）修饰符（^）

Apple在其proposed extension of the ANSI-C standard中引入了该修饰符。被称作代码块指针修饰符（闭包修饰符）。该修饰符跟指向指针修饰符很类似。声明一个代码块跟声明一个指针，指向一个函数的方法是相同的。

该修饰符只能用于函数，所以int ^a;是错误的。这就说明了为什么int ^b()时非法的，会引起编译器错误的。如果按照上面说的阅读说明符的方法来看该说明符，表示b是一个函数，返回值是一个代码块指针，指向一个int类型的值。这也就是问什么要将^b放在括号中的原因。

b表示：一个代码块，指向一个返回int类型值的函数或者简写成代码块返回一个int类型的值。

你也可以在定义代码会函数的时候携带参数，例如

表示：代码块有一个long型的参数，一个返回值，为int类型。

这就是代码块声明的由来。

为了在Objective-C中使用代码块，有一些其他的语法需要你去记住的。1.定义代码块的语法；2.如何将一个代码块传递给一个Objective-C方法。

抽象的说明符

一个抽象说明符由2部分组成：一个抽象说明符，一个变量名。

抽象的说明符在标准C语言中有3种使用场景：

1.int *a；long *b = （long *）a；（long *）就是一个抽象说明符：表示一个指向long型的指针。

2.作为sizeof（）的参数：malloc(sizeof(long *));

3.作为函数的参数类型：int f(long *);

Objective-C使用抽象说明符作为方法的参数或者方法的返回值；

这里的(long **) 和 (int *) 都是抽象说明符。

所以为了能够把代码块作为Objective-C方法中的参数或者返回值，我们需要去找到这些代码快的抽象说明符。可以通过移除说明符中的变量名来获取；

例如：

int (^b)() 移除变量名b获取抽象说明符 int (^)() 和 int (^b)(long) 移除变量名b来获取抽象说明符 int (^)(long).

例子：

在抽象说明符中参数的名字是可以省略的。因为Xocde会自动帮你将这些完成。

Block字面量

当你编写int a = 2；时，int a是一个说明符，2是a的值，也称实现。

脱字符(^)也被用来作为一元操作符，将一个函数实现转换为代码块。你可以不用具体说明代码块的返回值，会自动从返回语句中推断得到。

因为是代码块的实现部分，需要定义参数的名字。

例如：int (^block)(long, long);实现如下所示

总结

看起来很复杂，Objective-C中的block语法建立在标准的C语法上。Objective-C中的block就像一个指针，指向一个函数。一旦明白这些，在加上稍加联系，你会发现block很容易去掌握。