今天與幾個同學看到了一個函數指針定義:
void (*f(int, void (*)(int)))(int)
以前在C trap pit fails裡面見過,但是文章裡面介紹的很詳細,但是往往使初學者抓不到重點, 結果弄的一頭污水。這裡就簡單介紹一下這中函數指針的定義方法。
這個問題從定義的角度來看很好理解,指向函數的指針就是函數指針,但是我們如何聲明一個函數指針呢?又如何將一個地址強制轉換為某一個類型的函數指針呢?這裡看下面一個例子源碼:
void function(int a)
{
a = 5;
}
void (*pfunc)(int);
很簡單,上面這段代碼聲明了一個函數fucntion和一個函數指針pfunc, 它指向的函數就是一個具有void返回值,int參數的函數。如果將function函數的地址給pfunc指針,可以簡單的通過下面兩種賦值:
pfunc = function;
或者
pfunc = &function;
通過指針調用該函數,也有兩種方法:
pfunc(5); 或 (*pfunc)(5);
我們看一下賦值語句,pfunc = function; 但有時候可能是一個常數0x8999940, 它恰好也表示一個安全的與function相同的函數,如何將這個數值賦給pfunc呢?顯然我們需要強制類型轉換,應該將該常數轉換成什麼類型呢?這就是問題的關鍵!
在void (*pfunc)(int)語句裡面,只有pfunc是變量名稱,那麼剩余的部分,void(*)(int),就是我們需要的轉換類型。因此,新的賦值語句是:
pfunc = (void (*)(int)) 0x8999940;
賦值完成後,就可以通過pfunc(5); 或 (*pfunc)(5);調用相應的函數了。
如果理解了上面的內容,我們就可以解釋void (*signal(int, void (*)(int)))(int)這個相對復雜的問題了
現在我們先拋開上面那個復雜的定義,先看一下下面的需求1) 定義一個函數;2) 該函數具有以下特點,兩個參數,返回值是函數指針,並且一個參數也是函數指針。假如返回值和參數函數指針同為void (*)(int); 另一個函數參數是int型。該函數定義名稱為my_func。
根據需求我們可以很容易定義出這種函數:
typedef void (*HANDLER)(int); // 參數函數和返回函數定義
HANDLER my_func(int, HANDLER);
突然需求中又不讓使用typedef,這就是早期C語言不支持typedef的情況,那麼如何定義這種函數呢?
我們假如說my_func的返回值是int,是不是它的定義可以這麼寫:
int my_func(int, void (*)(int));
也就是說,my_func(int, void (*)(int))就是一個int型數據。現在將int換成一個函數,也就是
void (*)(int) my_func)(int, void (*)(int);
這樣一種定義,顯然這種語法不支持,那麼,實際是如何表示呢?回過頭來,我們先看看函數指針的聲明格式
void (*pfunc)(int);
其中pfunc 等價於 void (*)(int)。現在在看看上面的格式,是不是很相識,對了,pfunc就是my_func(int, void (*)(int))。現在如果將兩者代替一下是不是就成了這種格式:
void (*my_func(int, void(*)(int)))(int)
如果將my_func換成signal,是不是就是我們文章開始提到的那個復雜聲名?現在是不是明白了,原來如此啊,它是一個返回函數指針的的函數聲名!