C++函數指針詳解

定義

每一個函數都占用一段內存單元，它們有一個起始地址，指向函數入口地址的指針稱為函數指針。

語法

指向函數的指針變量的一般定義形式為：

數據類型 (*指針變量名)(參數表);

說明

1） 函數指針的定義形式中的數據類型是指函數的返回值的類型。

2） 區分下面兩個語句：

int (*p)(int a, int b); //p是一個指向函數的指針變量，所指函數的返回值類型為整型

int *p(int a, int b); //p是函數名，此函數的返回值類型為整型指針

3） 指向函數的指針變量不是固定指向哪一個函數的，而只是表示定義了一個這樣類型的變量，它是專門用來存放函數的入口地址的；在程序中把哪一個函數的地址賦給它，它就指向哪一個函數。

4） 在給函數指針變量賦值時，只需給出函數名，而不必給出參數。

如函數max的原型為：int max(int x, int y);
指針p的定義為：int (*p)(int a, int b);
則p = max;的作用是將函數max的入口地址賦給指針變量p。這時，p就是指向函數max的指針變量，也就是p和max都指向函數的開頭。

5） 在一個程序中，指針變量p可以先后指向不同的函數，但一個函數不能賦給一個不一致的函數指針（即不能讓一個函數指針指向與其類型不一致的函數）。
如有如下的函數：int fn1(int x, int y); int fn2(int x);

定義如下的函數指針：int (*p1)(int a, int b); int (*p2)(int a);

則

p1 = fn1; //正確

p2 = fn2; //正確

p1 = fn2; //產生編譯錯誤

6） 定義了一個函數指針並讓它指向了一個函數后，對函數的調用可以通過函數名``調用，也可以通過函數指針調用（即用指向函數的指針變量調用）。
如語句：c = (*p)(a, b);//表示調用由p指向的函數(max)，實參為a,b，函數調用結束后得到的函數值賦給c。

7） 函數指針只能指向函數的入口處，而不可能指向函數中間的某一條指令。不能用*(p+1)來表示函數的下一條指令。

8） 函數指針變量常用的用途之一是把指針作為參數傳遞到其他函數。

舉例

源代碼：

#include <iostream>
using namespace std;
#include <conio.h>
 
int max(int x, int y); //求最大數
int min(int x, int y); //求最小數
int add(int x, int y); //求和
void process(int i, int j, int (*p)(int a, int b)); //應用函數指針
 
int main()
{
    int x, y;
    cin>>x>>y;
 
    cout<<"Max is: ";
    process(x, y, max);
 
    cout<<"Min is: ";
    process(x, y, min);
 
    cout<<"Add is: ";
    process(x, y, add);
 
    getch();
    return 0;
}
 
int max(int x, int y)
{
    return x > y ? x : y;
}
 
int min(int x, int y)
{
    return x > y ? y : x;
}
 
int add(int x, int y)
{
    return x + y;
}
 
void process(int i, int j, int (*p)(int a, int b))
{
    cout<<p(i, j)<<endl;
}

輸出結果：