在C/C++中，數據指針是最直接，也最常用的，因此，理解起來也比較容易。而函數指針，作為運行時動態調用（比如回調函數 CallBack Function）是一種常見的，而且是很好用的手段，不能不好好認識一番。
接下來，我們就討論一下函數指針。
2 常規函數指針(難度: 3)
void(*fp)();
fp 是一個典型的函數指針，用于指向無參數，無返回值的函數。
void(*fp2)(int);
fp2 也是一個函數指針，用于指向有一個整型參數，無返回值的函數。
當然，有經驗人士一般都會建議使用typedef來定義函數指針的類型，如：
typedef void(* FP)();
FP fp3; // 和上面的fp一樣的定義。
函數指針之所以讓初學者畏懼，最主要的原因是它的括號太多了；某些用途的函數指針，往往會讓人陷在括號堆中出不來，這里就不舉例了，因為不是本文討論的范圍；typedef 方法可以有效的減少括號的數量，以及理清層次，所以受到推薦。本文暫時只考慮簡單的函數指針，因此暫不用到typedef。
假如有如下兩個函數：
void f1()
{
std::cout << "call f " << std::endl;
}
void f2(int a)
{
std::cout << "call f2( " << a << " )" << std::endl;
}
現在需要通過函數指針來調用，我們需要給指針指定函數：
fp = &f1; // 也可以用：fp = f1;
fp2= &f2; // 也可以用：fp2= f2;
void (*fp3)() = &f1; // 也可以用：void (*fp3)() = f1;
調用時如下：
fp(); // 或 (*fp)();
fp2(1); // 或 (*fp2)(1);
fp3(); // 或 (*fp3)();
對于此兩種調用方法，效果完全一樣，我推薦用前一種。后一種不僅僅是多打了鍵盤，而且也損失了一些靈活性。這里暫且不說它。
C++強調類型安全。也就是說，不同類型的變量是不能直接賦值的，否則輕則警告，重則報錯。這是一個很有用的特性，常常能幫我們找到問題。因此，有識之士認為，C++中的任何一外警告都不能忽視。甚至有人提出，編譯的時候不能出現任何警告信息，也就是說，警告應該當作錯誤一樣處理。
比如，我們把f1賦值給fp2，那么C++編譯器(vc7.1)就會報錯：
fp2 = &f1; // error C2440: “=” : 無法從“void (__cdecl *)(void)”轉換為“void (__cdecl *)(int)”
fp1 = &f1; // OK
這樣，編譯器可以幫我們找出編碼上的錯誤，節省了我們的排錯時間。C++編譯器正致力于這一點。
考慮一下C++標準模板庫的sort函數：
// 快速排序函數
template
void sort(
RandomAccessIterator _First, // 需排序數據的第一個元素位置
RandomAccessIterator _Last, // 需排序數據的最后一個元素位置（不參與排序）
BinaryPredicate _Comp // 排序使用的比較算法(可以是函數指針、函數對象等)
);
比如，我們有一個整型數組：
int n[5] = {3,2,1,8,9};
要對它進行升序排序，我們需定義一個比較函數：
bool less(int a, int b)
{
return a < b; // 感謝網友指出筆誤之處。原為 return a-b 是錯誤的。
}
然后用：
sort(n, n+5, less);
要是想對它進行降序排序，我們只要換一個比較函數就可以了：
bool great(int a, int b)
{
return b < a; // 感謝網友指出筆誤之處。原為 return b-a 是錯誤的。
}
sort(n, n+5, great);
這樣，不需要改變sort函數的定義，就可以按任意方法進行排序，是不是很靈活？
這種用法以C++的標準模板庫(STL)中非常流行。另外，操作系統中也經常使用回調(CallBack)函數，實際上，所謂回調函數，本質就是函數指針。
（附注）
本文中為了說明函數指針，使用了less和great這兩個函數。在C/C++的標準模板庫中已經有相應的函數可以直接使用，不需要自已定義。
posted on 2005-12-26 18:15
豪 閱讀(366)
評論(1) 編輯 收藏 引用 所屬分類:
Basic C++