水滴石穿C語言之聲明的文法

概述

　　在很多情況下，尤其是讀別人所寫代碼的時候，對C語言聲明的理解能力變得很重要，而C語言本身的凝練簡約也使得C語言的聲明常常會令人感到很困惑，因此，在這裡我用一篇的內容來集中闡述一下這個問題。

　　問題：聲明和函數

　　有一段程式儲存在起始地址為0的一段記憶體上，假如我們想要調用這段程式，請問該如何去做？

　　答案

　　答案是(*(void (*)( ) )0)( )。看起來確實令人頭大，那好，讓我們知難而上，從兩個不同的途徑來周詳分析這個問題。

　　答案分析：從尾到頭

　　首先，最基本的函式宣告：void function (paramList);

　　最基本的函數調用：function(paramList);

　　鑒於問題中的函數沒有參數，函數調用可簡化為 function();

　　其次，根據問題描述，能夠知道0是這個函數的入口地址，也就是說，0是個函數的指標。使用函數指標的函式宣告形式是：void (*pFunction)()，相應的調用形式是： (*pFunction)()，則問題中的函數調用能夠寫作：(*0)( )。

　　第三，大家知道，函數指標變數不能是個常數，因此上式中的0必須要被轉化為函數指標。

　　我們先來研究一下，對於使用函數指標的函數：比如void (*pFunction)( )，函數指標變數的原型是什嗎？ 這個問題很簡單，pFunction函數指標原型是( void (*)( ) )，即去掉變數名，清楚起見，整個加上（）號。

　　所以將0強制轉換為一個傳回值為void，參數為空白的函數指標如下：( void (*)( ) )。

　　OK，結合2)和3)的分析，結果出來了，那就是：(*(void (*)( ) )0)( ) 。

　　答案分析：從頭到尾理解答案

　　(void (*)( )) ，是個傳回值為void，參數為空白的函數指標原型。
　　(void (*)( ))0，把0轉變成一個傳回值為void，參數為空白的函數指標，指標指向的地址為0.
　　*(void (*)( ))0，前面加上*表示整個是個傳回值為void的函數的名字
　　(*(void (*)( ))0)( )，這當然就是個函數了。

　　我們能夠使用typedef清楚聲明如下：

　　typedef void (*pFun)( );

　　這樣函數變為 (*(pFun)0 )( );

　　問題：三個聲明的分析

　　對聲明進行分析，最根本的方法還是類比替換法，從那些最基本的聲明上進行類比，簡化，從而進行理解，下面通過分析三個例子，來具體闡述如何使用這種方法。

＃1：int* (*a[5])(int, char*);

　 　首先看到標識符名a，“[]”優先順序大於“*”，a和“[5]”先結合。所以a是個數組，這個數組有5個元素，每一個元素都是個指標，指標指向 “(int, char*)”，很明顯，指向的是個函數，這個函數參數是“int, char*”，傳回值是“int*”。OK，結束了一個。：）

＃2：void (*b[10]) (void (*)());

　　 b是個數組，這個數組有10個元素，每一個元素都是個指標，指標指向一個函數，函數參數是“void (*)()”【注10】，傳回值是“void”。完畢！

　　注意：這個參數又是個指標，指向一個函數，函數參數為空白，傳回值是“void”。

＃3. doube(*)() (*pa)[9];

　　 pa是個指標，指標指向一個數組，這個數組有9個元素，每一個元素都是“doube(*)()”（也即一個函數指標，指向一個函數，這個函數的參數為空白，傳回值是“double”）。