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 )( );

問題二:三個聲明的分析

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

1int* (*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"

 

補:

4void * (*(*fp1)(int))[10]

  

   fp1代表一個指向函數的指針,這個函數輸入一個整形變量,返回一個指向指針數組的2級指針

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章