大話 函數指標 和 指標函數，大話函數指標

大話 函數指標 和 指標函數，大話函數指標

一：起因

（1）指標函數是指帶指標的函數，即本質是一個函數。函數傳回型別是某一類型的指標，即我們常見的函數類型，且返回值是指標。

（2）函數指標是指向函數的指標變數，即本質是一個指標變數，是一個指向函數（可能是代碼區）的首地址的指標，正如我們都知道，數組名就是指向數組第一個元素的常量指標（詳見《數組拾遺》）。同理，對於一個函數而言，函數名也是指向函數第一條指令的常量指標。而編譯器要做的就是在程式編譯之後，為每個函數分配一個首地址，即該函數第一條指令的地址。一般情況下，我們可以用一個指標來儲存這個地址，而這個指標就是函數指標，該指標可以看作是它指向函數的別名，所以我們可以用該指標來調用這個函數。

（3）對指標的應用是C語言編程的精髓所在，而回呼函數就是C語言裡面對函數指標的進階應用程式。簡而言之，回呼函數是一個通過函數指標調用的函數。如果你把函數指標(函數的入口地址)傳遞給另一個函數，當這個函數指標被用來調用它所指向的函數時，我們就說這個函數是回呼函數。

（4）我們非常熟悉的，而且經常用到的可能就是sort(begin,end)函數和 sort(begin,end,cmp);其中cmp正事函數名（即像數組名一樣代表函數的首地址）：

bool cmp(void const *a,void const *b){return *((int *)a) > *((int *)b);}

注意強制類型轉換，比較函數的參數必須被聲明為void *以匹配尋找函數的原型，然後強制轉換為(int *)類型用於比較整型。然後把一個指向這個函數的指標作為參數傳遞給尋找函數，尋找函數調用這個比較函數來執行比較，採用這個方法，任何類型的值得都可以進行比較。

（5）注意指標函數與函數指標表示方法的不同，千萬不要混淆。最簡單的辨別方式就是看函數名前面的指標*號有沒有被括弧（）包含，如果被包含就是函數指標，反之則是指標函數。

二：詳細分析

（1）指標函數是指帶指標的函數，即本質是一個函數。函數傳回型別是某一類型的指標

 類型標識符   *函數名(參數表)

 int *f(x，y);

首先它是一個函數，只不過這個函數的返回值是一個地址值。函數返回值必須用同類型的指標變數來接受，也就是說，指標函數一定有函數返回值，而且，在主調函數中，函數返回值必須賦給同類型的指標變數。例如：

float *fun();

float *p;

p = fun(a);

（2）函數指標是指向函數的指標變數，即本質是一個指標變數。

int (*f) (int x); /* 聲明一個函數指標 */

f=func; /* 將func函數的首地址賦給指標f */
其實這裡不能稱為函數名，應該叫做指標的變數名。這個特殊的指標指向一個返回整型值的函數。指標的聲明筆削和它指向函數的聲明保持一致。
指標名和指標運算子外面的括弧改變了預設的運算子優先順序。如果沒有圓括弧，就變成了一個返回整型指標的函數的原型聲明。例如：
 void (*fptr)();
 把函數的地址賦值給函數指標，可以採用下面兩種形式：
 fptr=&Function;
 fptr=Function; // 建議用這種方式
 取地址運算子&不是必需的，因為單單一個函數標識符就標號表示了它的地址，如果是函數調用，還必須包含一個圓括弧括起來的參數表。
 可以採用如下兩種方式來通過指標調用函數：
  x=(*fptr)();
  x=fptr();// 建議用這種方式

（3）易混淆的地方：

函數指標的定義：

type (*func)(type&,type &) 或者 type （*func）(type ,type)

該語句聲明了一個指標func，它指向了一個函數，這個函數帶有了2個type型參數並返回一個type的值。(p.s. type類型可以被看成是int或者是floast等C++的類型)。 

A：一個指向函數的指標必須確保該函數被定義且分配了記憶體，否則它將指向一個空地址，這個可是大忌！

B： 特別注意第一個括弧的位置。如果我們不寫括弧，如下：

type *func(type ,type)

這就不是一個指向函數的指標了，而是聲明了一個函數，該函數返回一個type類型的指標

有了指向函數的指標變數後，可用該指標變數調用函數，就如同用指標變數可引用其他類型變數一樣，在這些概念上是大體一致的.函數指標有兩個用途：調用函數和做函數的參數。

（4）注意指標函數與函數指標表示方法的不同，千萬不要混淆。最簡單的辨別方式就是看函數名前面的指標*號有沒有被括弧（）包含，如果被包含就是函數指標，反之則是指標函數。

 三：函數指標的進階應用程式----作為函數的參數

（1）下面程式中，給出了三種不同類型的函數指標，分別用（1）（2）（3）做了標註區分；分為聲明部分，實現部分，調用部分。

（2）代碼

#include <iostream>using namespace std;void my_swap(int &,int &);// （4）普通函數的聲明int my_min(int,int);// （5）普通函數的聲明void my_input(void (*func)(int &,int &));//（1） 帶有函數指標參數的聲明void my_input(int (*func)(int,int));// （2）帶有函數指標參數的聲明void my_print(int,int,int (*func)(int,int));// （3）帶有函數指標參數的聲明int main(){    cout << "please input two numbers:" << endl;    my_input(my_swap);//（1） 帶有函數指標參數的調用，函數名即為函數代碼區的首地址    my_input(my_min);// （2）帶有函數指標參數的調用，函數名即為函數代碼區的首地址    int a,b;    cin >> a >> b;    my_print(a,b,my_min);// （3）帶有函數指標參數的調用，函數名即為函數代碼區的首地址    return 0;}void my_input(void (*func)(int &,int&))// （1）帶有函數指標參數的實現{    int a,b;    cin >> a >> b;    func(a,b);// 指標指向的函數代碼區的首地址    cout << a  << ",,," << b << endl;}void my_input(int (*func)(int,int))// （2）帶有函數指標參數的實現{    int a,b;    cin >> a >> b;    int mi = func(a,b);// 指標指向的函數代碼區的首地址    cout << "a,,,b:" << mi << endl;}void my_print(int a,int b,int (*func)(int,int))// （3）帶有函數指標參數的實現{    int mi = func(a,b);// 指標指向的函數代碼區的首地址    cout << a << ",," << b << ",," << mi << endl;}int my_min(int a,int b)// （5）{    return a<b?a:b;}void my_swap(int &a,int &b)// （4）{    a ^= b;    b ^= a;    a ^= b;}