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

C語言的設(shè)計(jì)哲學(xué)要求對象的聲明形式和它的使用形式盡可能相似，比如一個(gè)int類型的指針數(shù)組被聲明為int *p[3]；并以*p[i]這樣的表達(dá)式引用或者使用指針?biāo)赶虻膇nt數(shù)據(jù)，所以它的聲明形式和使用形式非常相似。這樣做的好處是各種不同操作符的優(yōu)先級在“聲明”和“使用”時(shí)是一樣的，而缺點(diǎn)恰好在與C語言的操作符的優(yōu)先級過于復(fù)雜（有15級或者更多，取決于你怎么算），這是C語言設(shè)計(jì)不當(dāng)、過于復(fù)雜之處。

實(shí)際上有些關(guān)鍵字只能出現(xiàn)在聲明中，而不是使用中，比如volatile和const等，這使得聲明形式和使用形式能完全對的上號的例子越來越少了。如果想要把什么東西強(qiáng)制轉(zhuǎn)換為指向數(shù)組的指針，就不得不使用下面的語句來表示這個(gè)強(qiáng)制類型轉(zhuǎn)換：

———char (*j) [ 20 ];

———j = ( char ( * )[20] ) malloc(20);

這個(gè)強(qiáng)制類型轉(zhuǎn)換看上去很滑稽，星號兩邊的括號看上去可有可無，但是如果去掉就會變成非法語句。

涉及指針和const得聲明可能會有下面幾種不同的組合：

———const int * p;

———int const * p;

———int * const p;

前兩種情況，指針?biāo)赶虻膶ο笫侵蛔x的，而最后一種情況下指針是只讀的。

如果我們想讓對象和指針都是只讀的，那么下面兩種聲明都能做到這一點(diǎn)：

———const int * const p;

———int const * const p;

經(jīng)過初級篇、中級篇一直到前面的學(xué)習(xí)我們發(fā)現(xiàn)其實(shí)分析一個(gè)聲明就是按照操作符優(yōu)先級規(guī)則把聲明分解開來，分別解釋各個(gè)組成部分。要理解一個(gè)聲明，必須要懂得其中的優(yōu)先級規(guī)則，下面是《C專家編程》中總結(jié)的C語言聲明的優(yōu)先級規(guī)則：

A聲明從它的名字開始讀取，然后按照優(yōu)先級順序依次讀??；

B 優(yōu)先級從高到低依次是：

B.1 聲明中被括號括起來的那部分；

B.2 后綴操作符：括號（）表示這是一個(gè)函數(shù)，而方括號[]表示這是一個(gè)數(shù)組；

B.3 前綴操作符：星號*標(biāo)識“指向……的指針”；

C 如果const和（或者）volatile關(guān)鍵字的后面緊跟類型說明符（如int，long等），那么它作用于類型說明符，在其他情況下，const和（或）volatile關(guān)鍵字作用于它左邊緊鄰的指針星號。

現(xiàn)在，讓我們用優(yōu)先級規(guī)則來分析C語言的一個(gè)較復(fù)雜的聲明：

———char * const *(*next) ();

B.1（*next）——next為一個(gè)指向……的指針

B.2（*next）（）——next是一個(gè)函數(shù)指針

B.3*（*next）（）——next是一個(gè)函數(shù)指針，這個(gè)函數(shù)返回一個(gè)指向……的指針

Cchar * const——指向字符類型的常量指針

故 char * const *（*next）（）；的含義就是：next是一個(gè)函數(shù)指針，這個(gè)函數(shù)返回一個(gè)指向字符類型的常量指針。

我想到現(xiàn)在我們是不是發(fā)現(xiàn)分析C語言聲明其實(shí)并不像一開始那么令人感到無比痛苦，它反而給我們帶來了樂趣，不是嗎？其實(shí)我們只要多分析幾個(gè)實(shí)例，多讀一些高質(zhì)量的C代碼，那么分析一個(gè)C語言聲明不再是一件可怕的事情（更何況我們還有cdecl這個(gè)強(qiáng)大的聲明解釋器呢，呵呵！），這匹野馬一旦被我們馴服了，那么它將幫助我們編寫出高質(zhì)量的C代碼。你準(zhǔn)備好了嗎？

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