文章開始前先拋出一個經(jīng)典的面試題：

?

? 凡是學(xué)過C語言函數(shù)的應(yīng)該都知道，函數(shù)名其實就是個地址，是函數(shù)的入口地址。如果用 %p 來輸出函數(shù)名，確實可以得到一個合法的地址。

#include 


int function(int a, int b)
{
    printf("this is test ...
");
}


int main()
{
    printf("%p
", function);


    return 0;
}

?

運行結(jié)果：

?

root@Turbo:test# ./test 
0x55a061ec3169

?

指針是用來保存地址的，那能不能把函數(shù)名直接賦值給指針呢？這個操作是可以的，這種指針我們把它稱作函數(shù)指針。字符指針是char *，整型指針是int *，那函數(shù)指針應(yīng)該怎么寫？

?

假設(shè)有這么一個函數(shù)，返回值是整型，參數(shù)有兩個。

?

int function(int a, int b)
{
    printf("this is test ...
");
}

?

如果要定義指針保存該函數(shù)的地址，應(yīng)該寫成這樣。

?

int (*pFunction)(int, int);

?

其實分析起來也不難，用我之前給大家講的右左法則。

先找到變量名 pFunction，向右看，是個右括號，再向左看，是個星號，于是得出結(jié)論，pFunction是個指針。然后再向右看，又是括號，C語言中括號除了表示優(yōu)先級，剩下的就是函數(shù)會使用，所以指針指向函數(shù)。繼續(xù)分析，函數(shù)有兩個參數(shù)，函數(shù)的返回值是int。

既然是定義變量，就可以直接在后面初始化變量。

?

int (*pFunction)(int, int) = function;

?

于是指針 pFunction 就指向了函數(shù)function。調(diào)用函數(shù)的時候，不僅可以通過函數(shù)名調(diào)用，也能通過函數(shù)指針調(diào)用。

?

function(1, 2);
pFunction(1, 2);

?

注意：有個小問題，通過函數(shù)指針調(diào)用函數(shù)的時候，指針前面可以加星號，也可以不加星號，編譯器都能通過，運行結(jié)果也一樣。至于說哪種更合適，一直備受爭論。

?

(*pFunction)(1,?2);

?

如果代碼里面用到函數(shù)指針的地方太多，每次定義就顯得比較麻煩。

?

int (*pFunction1)(int, int) = function;
int (*pFunction2)(int, int) = function;
int (*pFunction3)(int, int) = function;

?

如果是同一個類型的函數(shù)指針，我們完全可以使用 typedef 關(guān)鍵字來簡化它.

?

typedef?int?(*T)(int,?int);

?

寫成這樣，看起來非常的不順眼，但是語法是沒有問題的，意思就是用T來表示這種函數(shù)指針類型。接下來再定義變量的時候，可以直接寫成：

?

T?pFunction1?=?function;
T?pFunction2?=?function;
T?pFunction3?=?function;

?

那么pFunction1的含義跟pFunction是一樣的，都是函數(shù)指針。

最后，再回到文章開頭的面試題。

如果是匯編語言，想要實現(xiàn)跳轉(zhuǎn)直接就是一條指令。但是C語言中能跳轉(zhuǎn)的語句不多，我能想到的就是調(diào)用函數(shù)以及goto語句。goto語句是通過標簽來跳轉(zhuǎn)，標簽可操作空間不大，可以直接放棄。

剩下的就是函數(shù)。只要把給定的地址強轉(zhuǎn)成函數(shù)指針，通過調(diào)用函數(shù)的形式，就能跳轉(zhuǎn)到指定地址運行。

?

void?(*p)(void)?=?0x1000;
p();

?

不過這樣寫編譯器會提示警告，編譯器不允許直接把整數(shù)賦值給指針。需要加上強制類型轉(zhuǎn)換。

?

void?(*p)(void)?=?(void?(*)(void))0x1000;
p();

?

可以簡寫成：

?

(void(*)(void))0x1000();

?

或者：

?

(*((void(*)(void))0x1000))();

?

?