从C语言的变量声明到Objective-C中的Block语法转载]

原文：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使用抽象说明符做为方法的参数或者方法的返回值；

1	-?(long?**)methodWithArgument:(int?*)a;

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

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

例如：

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

例子：

1 2	-?(void)methodWithArgument:(int(^)())block; -?(void)anotherMethodWithArgument:(void(^)(long?arg1))block;

在抽象说明符中参数的名字是能够省略的。由于Xocde会自动帮你将这些完成。

Block字面量

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

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

由于是代码块的实现部分，须要定义参数的名字。

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

1 2 3 4

block?=?^(long?a,?long?b)?{ ??int?c?=?a?+?b; ?? return ?c; }

总结

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