C語言聲明學習之中級篇

作者：楊碩，華清遠見嵌入式學院講師。

C語言的聲明存在的最大的問題就是你無法以一種人們所習慣的自然方式從左到右閱讀一個聲明，程序員必須記住特殊的規(guī)則才能推斷出int *p[3]到底是一個int類型的指針數組還是一個指向int數組的指針。（如果你對此還有疑惑的話，建議你去讀一讀《C專家編程》的第三章：“分析C語言的聲明”）

對于這樣一個聲明，我們應該如何分析？

——————int f()[]；

首先，f是一個函數，其次，它的返回值是一個整型數組。貌似就是這樣啊，但實際上，這個例子隱藏著一個陷阱，因為這個聲明是非法的，呵呵，在我們的C語言里，函數只能返回變量值，不能返回數組。

還有一個讓人頗費腦筋的聲明：

——————int f[] ()；

這里，f應該是一個數組，數組的元素類型是返回值為整型的函數。請不要對它看似正確的表面所迷惑，其實這個聲明也是非法的！因為數組元素必須具有相同的長度，但是不同的函數顯然可能具有不同的長度吧，呵呵。

在被C語言迷幻的聲明形式欺騙兩次之后，現在是不是有些草木皆兵了？讓我們乘熱打鐵，再看一個聲明：

——————int (*f[]) ()；

請你分析一下它的含義？首先，你能否確定它是對的還是錯的？

首先，我們必須找到所有的操作符，然后按照正確的次序執(zhí)行它們。這里有兩對括號，它們分別具有不同的含義。第一個括號內的表達式*f[]首先進行求值，所以f是一個元素為某種類型的指針的數組；末尾的括號是函數調用操作符，所以我們可以肯定f是一個數組，數組元素的類型是函數指針，它所指向的函數的返回值是一個整型值。

清楚了上面這個聲明，下面這個聲明應該就比較容易分析了：

——————int *(*f[ ]) ( )；

這個聲明創(chuàng)建了一個指針數組，指針所指向的類型是返回值為整型指針的函數。

ANSI C推薦我們使用完整的函數原型，使聲明更為明確，例如：

int (*f) ( int, float )；

int *(*g[]) ( int, float )；

前者把f聲明為一個函數指針，它所指向的函數接受兩個參數，分別是一個整型數和浮點型值，并返回一個整數。

后者把g聲明為一個數組，數組的元素類型是一個函數指針，它所指向的函數接受兩個參數，分別是一個整型數和浮點型值，并返回一個整型指針。盡管原型增加了聲明的復雜度，但是ANSI C還是大力提倡這個風格，因為這樣可以向編譯器提供一些額外的信息。

在中級篇的最后，給大家推薦一個實用的C語言工具：cdecl，這個程序可用于所有UNIX操作系統，它可以將C語言的聲明翻譯成通俗易懂的語言，并可以將C語言聲明的語法轉換成為具體的C語言聲明。

如果你是用的是ubuntu操作系統，那么你只需要執(zhí)行sudo apt-get install cdecl就可以把cdecl工具安裝到你的計算機上，對于別的unix操作系統，你同樣可以下載源碼包安裝（comp.sources.unix.newsgroup）。

在shell終端，我們執(zhí)行cdecl就可以進入cdecl>提示符，然后輸入：explain int (*(*f)())[10]; 可以得到：

可以看到，cdecl為我們解釋了int (*(*f)()) [10]這個聲明的含義，有了這個工具，不管我們遇到怎樣詭異的C語言聲明，都可以從容應對了吧，呵呵！

當然，我們可以給cdecl一個聲明的語法，把上面一段解釋輸入進去，就可以看到：

可見，cdecl又幫我們把這段通俗的解釋轉換成為專業(yè)的C語言的聲明。

怎么樣，這個工具是不是很好用，如果你的系統里面還沒有這個工具的話，你是不是應該趕快安裝一個呢？讓它成為你學習C語言的好幫手吧。好了，今天關于C語言聲明的中級篇就到此為止，讓我們高級篇見！

“本文由華清遠見http://www.embedu.org/index.htm提供”