指標的申明和定義

C語言所有複雜的指標宣告，都是由各種宣告巢狀構成的。如何解讀複雜指標宣告呢？右左法則是一個既著名又常用的方法。不過，右左法則其實並不是C 標準裡面的內容，它是從C 標準的宣告規定中歸納出來的方法。C 標準的宣告規則，是用來解決如何建立宣告的，而右左法則是用來解決如何辯識一個宣告的，兩者可以說是相反的。右左法則的英文原文是這樣說的：
The right-left rule: Start reading the declaration from
the innermost parentheses, go right, and then go l
eft. When you encounter parentheses, the direction sh
ould be reversed. Once everything in the parentheses
has been parsed, jump out of it. Continue till the
whole declaration has been parsed.
這段英文的翻譯如下：
右左法則：首先從最裡面的圓括號看起，然後往右看，再往左看。每當遇到圓括號時，就應該掉轉閱讀方向。一旦解析完圓括號裡面所有的東西，就跳出圓括號。
重複這個過程直到整個宣告解析完畢。
筆者要對這個法則進行一個小小的修正，應該是從未定義的識別符號開始閱讀，而不是從括號讀起，之所以是未定義的識別符號，是因為一個宣告裡
面可能有多個識別符號，但未定義的識別符號只會有一個。
現在通過一些例子來討論右左法則的應用，先從最簡單的開始，逐步加深：
int (*func)(int *p);
首先找到那個未定義的識別符號，就是func，它的外面有一對圓括號，而且左邊是一個*號，這說明func 是一個指標，然後跳出這個圓括號，先看右邊，也是一個圓括號，這說明(*func)是一個函式，而func是一個指向這類函式的指標，就是一個函式指標，這類函式具有int*型別的形參，返回值型別是int。
int (*func)(int *p, int (*f)(int*));

func被一對括號包含，且左邊有一個*號，說明func是一個指標，跳出括號，
右邊也有個括號，那麼func 是一個指向函式的指標，這類函式具有int *和
int (*)(int*)這樣的形參，返回值為int 型別。再來看一看func 的形參
int (*f)(int*)，類似前面的解釋，f也是一個函式指標，指向的函式具有int*
型別的形參，返回值為int。
int (*func[5])(int *p);
func 右邊是一個[]運算子，說明func 是一個具有5 個元素的陣列，func 的左
邊有一個*，說明func 的元素是指標，要注意這裡的*不是修飾func 的，而是
修飾func[5]的，原因是[]運算子優先順序比*高，func 先跟[]結合，因此*修飾
的是func[5]。跳出這個括號，看右邊，也是一對圓括號，說明func 陣列的元

素是函式型別的指標，它所指向的函式具有int*型別的形參，返回值型別為int。
int (*(*func)[5])(int *p);
func被一個圓括號包含，左邊又有一個*，那麼func是一個指標，跳出括號，
右邊是一個[]運算子號，說明func 是一個指向陣列的指標，現在往左看，左邊
有一個*號，說明這個陣列的元素是指標，再跳出括號，右邊又有一個括號，說明這個陣列的元素是指向函式的指標。總結一下，就是：func 是一個指向陣列的指標，這個陣列的元素是函式指標，這些指標指向具有int*形參，返回值為int型別的函式。
int (*(*func)(int *p))[5];
func 是一個函式指標，這類函式具有int*型別的形參，返回值是指向陣列的指
針，所指向的陣列的元素是具有5 個int元素的陣列。
要注意有些複雜指標宣告是非法的，例如：
int func(void) [5];
func 是一個返回值為具有5 個int 元素的陣列的函式。但C 語言的函式返回值
不能為陣列，這是因為如果允許函式返回值為陣列，那麼接收這個陣列的內容的東西，也必須是一個陣列，但C 語言的陣列名是一個右值，它不能作為左值來接收另一個陣列，因此函式返回值不能為陣列。
int func[5](void);
func 是一個具有5 個元素的陣列，這個陣列的元素都是函式。這也是非法的

因為陣列的元素除了型別必須一樣外，每個元素所佔用的記憶體空間也必須相同，顯然函式是無法達到這個要求的，即使函式的型別一樣，但函式所佔用的空間通常是不相同的。

來自 “ ITPUB部落格 ” ，連結：http://blog.itpub.net/10697500/viewspace-558211/，如需轉載，請註明出處，否則將追究法律責任。