C語言聲明學(xué)習(xí)之中級篇

作者：楊碩，華清遠(yuǎn)見嵌入式學(xué)院講師。

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

對于這樣一個聲明，我們應(yīng)該如何分析？

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

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

還有一個讓人頗費(fèi)腦筋的聲明：

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

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

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

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

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

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

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

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

這個聲明創(chuàng)建了一個指針數(shù)組，指針?biāo)赶虻念愋褪欠祷刂禐檎椭羔樀暮瘮?shù)。

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

int (*f) ( int, float )；

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

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

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

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

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

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

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

當(dāng)然，我們可以給cdecl一個聲明的語法，把上面一段解釋輸入進(jìn)去，就可以看到：

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

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

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