從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很容易去掌握。