程序員經常須要實現回調。本文將討論函數指針的基本原則並說明如何使用函數指針實現回調。注意這裏針對的是普通的函數,不包括徹底依賴於不一樣語法和語義規則的類成員函數(類成員指針將在另文中討論)。聲明函數指針 回調函數是一個程序員不能顯式調用的函數;經過將回調函數的地址傳給調用者從而實現調用。要實現回調,必須首先定義函數指針。儘管定義的語法有點難以想象,但若是你熟悉函數聲明的通常方法,便會發現函數指針的聲明與函數聲明很是相似。請看下面的例子:void f();// 函數原型上面的語句聲明瞭一個函數,沒有輸入參數並返回void。那麼函數指針的聲明方法以下:void (*) (); 讓咱們來分析一下,左邊圓括弧中的星號是函數指針聲明的關鍵。另外兩個元素是函數的返回類型(void)和由邊圓括弧中的入口參數(本例中參數是空)。注意本例中尚未建立指針變量-只是聲明瞭變量類型。目前能夠用這個變量類型來建立類型定義名及用sizeof表達式得到函數指針的大小:// 得到函數指針的大小unsigned psize = sizeof (void (*) ()); // 爲函數指針聲明類型定義typedef void (*pfv) ();pfv是一個函數指針,它指向的函數沒有輸入參數,返回類行爲void。使用這個類型定義名能夠隱藏複雜的函數指針語法。指針變量應該有一個變量名:void (*p) (); //p是指向某函數的指針 p是指向某函數的指針,該函數無輸入參數,返回值的類型爲void。左邊圓括弧裏星號後的就是指針變量名。有了指針變量即可以賦值,值的內容是署名匹配的函數名和返回類型。例如:void func() {/* do something */} p = func; p的賦值能夠不一樣,但必定要是函數的地址,而且署名和返回類型相同。傳遞迴調函數的地址給調用者 如今能夠將p傳遞給另外一個函數(調用者)- caller(),它將調用p指向的函數,而此函數名是未知的:void caller(void(*ptr)()){ptr(); /* 調用ptr指向的函數 */ }void func();int main(){p = func; caller(p); /* 傳遞函數地址到調用者 */} 若是賦了不一樣的值給p(不一樣函數地址),那麼調用者將調用不一樣地址的函數。賦值能夠發生在運行時,這樣使你能實現動態綁定。調用規範 到目前爲止,咱們只討論了函數指針及回調而沒有去注意ANSI C/C++的編譯器規範。許多編譯器有幾種調用規範。如在Visual C++中,能夠在函數類型前加_cdecl,_stdcall或者_pascal來表示其調用規範(默認爲_cdecl)。C++ Builder也支持_fastcall調用規範。調用規範影響編譯器產生的給定函數名,參數傳遞的順序(從右到左或從左到右),堆棧清理責任(調用者或者被調用者)以及參數傳遞機制(堆棧,CPU寄存器等)。 將調用規範當作是函數類型的一部分是很重要的;不能用不兼容的調用規範將地址賦值給函數指針。例如:// 被調用函數是以int爲參數,以int爲返回值__stdcall int callee(int); // 調用函數以函數指針爲參數void caller( __cdecl int(*ptr)(int)); // 在p中企圖存儲被調用函數地址的非法操做__cdecl int(*p)(int) = callee; // 出錯指針p和callee()的類型不兼容,由於它們有不一樣的調用規範。所以不能將被調用者的地址賦值給指針p,儘管二者有相同的返回值和參數列。