今日分享：直覺(jué)能使吾人得到一個(gè)經(jīng)驗(yàn)，而不能使吾人成立一個(gè)道理。一個(gè)經(jīng)驗(yàn)本身，吾所謂真妄；一個(gè)道理，是一個(gè)判斷，判斷必合邏輯。－《中國(guó)哲學(xué)史》

前言

函數(shù)指針是什么？如何使用函數(shù)指針？函數(shù)指針到底有什么大用？本文將一一介紹。

如何理解函數(shù)指針

如果有int *類(lèi)型變量，它存儲(chǔ)的是int類(lèi)型變量的地址；那么對(duì)于函數(shù)指針來(lái)說(shuō)，它存儲(chǔ)的就是函數(shù)的地址。函數(shù)也是有地址的，函數(shù)實(shí)際上由載入內(nèi)存的一些指令組成，而指向函數(shù)的指針存儲(chǔ)了函數(shù)指令的起始地址。如此看來(lái)，函數(shù)指針并沒(méi)有什么特別的。我們可以查看程序中函數(shù)的地址：

編譯：

gcc -o testFun testFun.c

查看test函數(shù)相對(duì)地址(并非實(shí)際運(yùn)行時(shí)的地址)：

如何聲明函數(shù)指針

聲明普通類(lèi)型指針時(shí)，需要指明指針?biāo)赶虻臄?shù)據(jù)類(lèi)型，而聲明函數(shù)指針時(shí)，也就要指明指針?biāo)赶虻暮瘮?shù)類(lèi)型，即需要指明函數(shù)的返回類(lèi)型和形參類(lèi)型。例如對(duì)于下面的函數(shù)原型：

int sum(int,int);

它是一個(gè)返回值為int類(lèi)型，參數(shù)是兩個(gè)int類(lèi)型的函數(shù)，那么如何聲明該類(lèi)型函數(shù)的指針呢？很簡(jiǎn)單，將函數(shù)名替換成(*pf)形式即可，即我們把sum替換成(*fp)即可，fp為函數(shù)指針名，結(jié)果如下：

這樣就聲明了和sum函數(shù)類(lèi)型相同的函數(shù)指針fp。這里說(shuō)明兩點(diǎn)，第一，*和fp為一體，說(shuō)明了fp為指針類(lèi)型，第二，*fp需要用括號(hào)括起來(lái)，否則就會(huì)變成下面的情況：

int *fp(int,int);

這種情況下，意思就大相徑庭了，它聲明了一個(gè)參數(shù)為兩個(gè)int類(lèi)型，返回值為int類(lèi)型的指針的函數(shù)，而不再是一個(gè)函數(shù)指針了。

在經(jīng)常使用函數(shù)指針之后，我們很快就會(huì)發(fā)現(xiàn)，每次聲明函數(shù)指針都要帶上長(zhǎng)長(zhǎng)的形參和返回值，非常不便。這個(gè)時(shí)候，我們應(yīng)該想到使用typedef，即為某類(lèi)型的函數(shù)指針起一個(gè)別名，使用起來(lái)就方便許多了。例如，對(duì)于前面提到的函數(shù)可以使用下面的方式聲明：

上面的myFun就是一個(gè)函數(shù)指針類(lèi)型，在其他地方就可以很方便地用來(lái)聲明變量了。typedef的使用不在本文的討論范圍，但是特別強(qiáng)調(diào)一句，typedef中聲明的類(lèi)型在變量名的位置出現(xiàn)，理解了這一句，也就很容易使用typedef了。因而下面的方式是錯(cuò)誤的：

typedef myFun (int)(int,int);   //錯(cuò)誤
typedef (int)(int,int)  *myFun;   //錯(cuò)誤

為函數(shù)指針賦值

賦值也很簡(jiǎn)單，既然是指針，將對(duì)應(yīng)指針類(lèi)型賦給它既可。例如：

在這里，聲明了返回類(lèi)型為int，接受兩個(gè)int類(lèi)型參數(shù)的函數(shù)指針f1和f2，分別給它們進(jìn)行了賦值。表達(dá)式1和表達(dá)式2在作用上并沒(méi)有什么區(qū)別。因?yàn)楹瘮?shù)名在被使用時(shí)總是由編譯器把它轉(zhuǎn)換為函數(shù)指針，而前面加上&不過(guò)顯式的說(shuō)明了這一點(diǎn)罷了。

調(diào)用

調(diào)用也很容易，把它看成一個(gè)普通的函數(shù)名即可：

#include<stdio.h>
int test(int a,int b)
{
    /*do something*/
    printf('%d,%d',a,b);
    return 0
}
typedef int(*fp)(int,int);
int main(void)
{
    fp f = test; 
    f(1,2);//表達(dá)式1
    (*f)(3,4);//表達(dá)式2
    return 0;
}

在函數(shù)指針后面加括號(hào)，并傳入?yún)?shù)即可調(diào)用，其中表達(dá)式1和表達(dá)式2似乎都可以成功調(diào)用，但是哪個(gè)是正確的呢？ANSI C認(rèn)為這兩種形式等價(jià)。

函數(shù)指針有何用

函數(shù)指針的應(yīng)用場(chǎng)景比較多，以庫(kù)函數(shù)qsort排序函數(shù)為例，它的原型如下：

看起來(lái)很復(fù)雜對(duì)不對(duì)？拆開(kāi)來(lái)看如下：

void qsort(void *base, size_t nmemb, size_t size, );

拿掉第四個(gè)參數(shù)后，很容易理解，它是一個(gè)無(wú)返回值的函數(shù)，接受4個(gè)參數(shù)，第一個(gè)是void*類(lèi)型，代表原始數(shù)組，第二個(gè)是size_t類(lèi)型，代表數(shù)據(jù)數(shù)量，第三個(gè)是size_t類(lèi)型，代表單個(gè)數(shù)據(jù)占用空間大小，而第四個(gè)參數(shù)是函數(shù)指針。這第四個(gè)參數(shù)，即函數(shù)指針指向的是什么類(lèi)型呢？

很顯然，這是一個(gè)接受兩個(gè)const void*類(lèi)型入?yún)?，返回值為int的函數(shù)指針。
到這里也就很清楚了。這個(gè)參數(shù)告訴qsort，應(yīng)該使用哪個(gè)函數(shù)來(lái)比較元素，即只要我們告訴qsort比較大小的規(guī)則，它就可以幫我們對(duì)任意數(shù)據(jù)類(lèi)型的數(shù)組進(jìn)行排序。

在這里函數(shù)指針作為了參數(shù)，而他同樣可以作為返回值，創(chuàng)建數(shù)組，作為結(jié)構(gòu)體成員變量等等，它們的具體應(yīng)用我們?cè)诤竺娴奈恼轮袝?huì)介紹，本文不作展開(kāi)。本文只介紹一個(gè)簡(jiǎn)單實(shí)例。

實(shí)例介紹

我們通過(guò)一個(gè)實(shí)例來(lái)看函數(shù)指針怎么使用。假設(shè)有一學(xué)生信息，需要按照學(xué)生成績(jī)進(jìn)行排序，該如何處理呢？

#include <stdio.h>
#include <stdlib.h>
#define STU_NAME_LEN 16
/*學(xué)生信息*/
typedef struct student_tag
{
    char name[STU_NAME_LEN];  //學(xué)生姓名
    unsigned int id;          //學(xué)生學(xué)號(hào)
    int score;                //學(xué)生成績(jī)
}student_t;
int studentCompare(const void *stu1,const void *stu2)
{
　　/*強(qiáng)轉(zhuǎn)成需要比較的數(shù)據(jù)結(jié)構(gòu)*/
    student_t *value1 = (student_t*)stu1;
    student_t *value2 = (student_t*)stu2;
    return value1->score-value2->score;
}
int main(void)
{
    /*創(chuàng)建三個(gè)學(xué)生信息*/
    student_t stu1 = {'one',1,99};
    student_t stu2 = {'two',2,77};
    student_t stu3 = {'three',3,88};

    student_t stu[] = {stu1,stu2,stu3};

    /*排序，將studentCompare作為參數(shù)傳入qsort*/
    qsort((void*)stu,3,sizeof(student_t),studentCompare);
    int loop = 0;

    /**遍歷輸出*/
    for(loop = 0; loop < 3;loop++)
    {
        printf('name:%s,id:%u,score:%d',stu[loop].name,stu[loop].id,stu[loop].score);
    }
    return 0;
}

我們創(chuàng)建了一個(gè)學(xué)生信息結(jié)構(gòu)，結(jié)構(gòu)成員包括名字，學(xué)號(hào)和成績(jī)。main函數(shù)中創(chuàng)建了一個(gè)包含三個(gè)學(xué)生信息的數(shù)組，并使用qsort函數(shù)對(duì)數(shù)組按照學(xué)生成績(jī)進(jìn)行排序。qsort函數(shù)第四個(gè)參數(shù)是函數(shù)指針，因此我們需要傳入一個(gè)函數(shù)指針，并且這個(gè)函數(shù)指針的入?yún)⑹莄ont void *類(lèi)型，返回值為int。我們通過(guò)前面的學(xué)習(xí)知道了函數(shù)名本身就是指針，因此只需要將我們自己實(shí)現(xiàn)的studentCompare作為參數(shù)傳入即可。

最終運(yùn)行結(jié)果如下：

可以看到，最終學(xué)生信息按照分?jǐn)?shù)從低到高輸出。

總結(jié)

本文介紹了函數(shù)指針的聲明和使用。更多使用將在后面的文章介紹，本文總結(jié)如下：

• 函數(shù)指針與其他指針類(lèi)型無(wú)本質(zhì)差異，不過(guò)它指向的是函數(shù)的地址罷了。

• 聲明函數(shù)指針需要指明函數(shù)的返回類(lèi)型和形參類(lèi)型。

• 函數(shù)名在被使用時(shí)總是由編譯器把它轉(zhuǎn)換為函數(shù)指針。

• 要想聲明函數(shù)指針，只需寫(xiě)出函數(shù)原型，然后將函數(shù)名用(*fp)代替即可。這里fp是聲明的函數(shù)指針變量。

• typedef中聲明的類(lèi)型在變量名的位置出現(xiàn)。

void (*signal(int sig, void(*func)(int)))(int);