从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. 给变量定义一个名字,以便在它的作用域中使用它;

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

QQ截图20160324110958.png

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

int 是基本的变量类型,a是变量的名字(或标示符)。

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

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

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

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

指针修饰符( * )

QQ截图20160324111032.png

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

指针修饰符(*)总是在变量的左边。

数组修饰符([]

QQ截图20160324111319.png

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

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

函数修饰符 (())

QQ截图20160324111511.png

 

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

函数修饰符()总是在变量的右边。

修饰符的组合

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

组合

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

例如

QQ截图20160324111624.png

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

QQ截图20160324111700.png

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

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

QQ截图20160324111817.png

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

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

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

例如?

QQ截图20160324111854.png

以上表示:f是一个函数,有一个参数,该参数是一个长度为10的数组(数组中的每个元素是一个int类型的值),函数返回一个int类型值。

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

QQ截图20160324111939.png

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

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

QQ截图20160324112015.png

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

代码块(也称闭包)修饰符(^

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

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

QQ截图20160324112243.png

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

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

QQ截图20160324112319.png

表示:代码块有一个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很容易去掌握。

posted on 2016-08-04 08:55  各各他  阅读(153)  评论(0编辑  收藏  举报

导航