概述
在很多情況下,尤其是讀別人所寫代碼的時候,對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”)。