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

前言

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

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

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

編譯：

gcc -o testFun testFun.c

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

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

聲明普通類型指針時，需要指明指針所指向的數(shù)據(jù)類型，而聲明函數(shù)指針時，也就要指明指針所指向的函數(shù)類型，即需要指明函數(shù)的返回類型和形參類型。例如對于下面的函數(shù)原型：

int sum(int,int);

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

這樣就聲明了和sum函數(shù)類型相同的函數(shù)指針fp。這里說明兩點，第一，*和fp為一體，說明了fp為指針類型，第二，*fp需要用括號括起來，否則就會變成下面的情況：

int *fp(int,int);

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

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

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

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

為函數(shù)指針賦值

賦值也很簡單，既然是指針，將對應(yīng)指針類型賦給它既可。例如：

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

調(diào)用

調(diào)用也很容易，把它看成一個普通的函數(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);//表達式1
    (*f)(3,4);//表達式2
    return 0;
}

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

函數(shù)指針有何用

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

看起來很復(fù)雜對不對？拆開來看如下：

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

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

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

在這里函數(shù)指針作為了參數(shù)，而他同樣可以作為返回值，創(chuàng)建數(shù)組，作為結(jié)構(gòu)體成員變量等等，它們的具體應(yīng)用我們在后面的文章中會介紹，本文不作展開。本文只介紹一個簡單實例。

實例介紹

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

#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é)號
    int score;                //學(xué)生成績
}student_t;
int studentCompare(const void *stu1,const void *stu2)
{
　　/*強轉(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)建三個學(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)建了一個學(xué)生信息結(jié)構(gòu)，結(jié)構(gòu)成員包括名字，學(xué)號和成績。main函數(shù)中創(chuàng)建了一個包含三個學(xué)生信息的數(shù)組，并使用qsort函數(shù)對數(shù)組按照學(xué)生成績進行排序。qsort函數(shù)第四個參數(shù)是函數(shù)指針，因此我們需要傳入一個函數(shù)指針，并且這個函數(shù)指針的入?yún)⑹莄ont void *類型，返回值為int。我們通過前面的學(xué)習(xí)知道了函數(shù)名本身就是指針，因此只需要將我們自己實現(xiàn)的studentCompare作為參數(shù)傳入即可。

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

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

總結(jié)

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

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

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

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

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

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

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