|
我們經常會聽到這樣的說法，不懂得函數(shù)指針就不是真正的C語言高手。我們不管這句話對與否，但是它都從側面反應出了函數(shù)指針的重要性，所以我們還是有必要掌握對函數(shù)指針的使用。先來看看函數(shù)指針的定義吧。 函數(shù)是由執(zhí)行語句組成的指令序列或者代碼，這些代碼的有序集合根據(jù)其大小被分配到一定的內存空間中，這一片內存空間的起始地址就成為函數(shù)的地址，不同的函數(shù)有不同的函數(shù)地址，編譯器通過函數(shù)名來索引函數(shù)的入口地址，為了方便操作類型屬性相同的函數(shù)，c/c++引入了函數(shù)指針，函數(shù)指針就是指向代碼入口地址的指針，是指向函數(shù)的指針變量。 因而“函數(shù)指針”本身首先應該是指針變量，只不過該指針變量指向函數(shù)。這正如用指針變量可指向整形變量、字符型、數(shù)組一樣，這里是指向函數(shù)。C在編譯時，每一個函數(shù)都有一個入口地址，該入口地址就是函數(shù)指針所指向的地址。有了指向函數(shù)的指針變量后，可用該指針變量調用函數(shù)，就如同用指針變量可引用其他類型變量一樣，在這些概念上是一致的。函數(shù)指針有兩個用途：調用函數(shù)和做函數(shù)的參數(shù)。 函數(shù)指針的聲明方法為： 數(shù)據(jù)類型標志符 (指針變量名) (形參列表); “函數(shù)類型”說明函數(shù)的返回類型，由于“()”的優(yōu)先級高于“*”,所以指針變量名外的括號必不可少，后面的“形參列表”表示指針變量指向的函數(shù)所帶的參數(shù)列表。例如： int function(int x，int y); /* 聲明一個函數(shù) */ int (*f) (int x，int y); /* 聲明一個函數(shù)指針 */ f=function; /* 將function函數(shù)的首地址賦給指針f */ 賦值時函數(shù)function不帶括號，也不帶參數(shù)，由于function代表函數(shù)的首地址，因此經過賦值以后，指針f就指向函數(shù)function(int x，int y);的代碼的首地址。 下面的程序說明了函數(shù)指針調用函數(shù)的方法： 例一、 #include int max ( int x, int y){ return x>y?x:y;} int min ( int x, int y){ return x void main () { int ( *f ) ( int x, int y)=max; [color=] //f=&max; printf ( "%d,%d\t", max (2,6), (f)(5,4)); f=min; printf (" %d,%d\t" , min (2,6), (f)(5,4)); } [color=] 注意：以上代碼的紅色部分我們將會在接下來的代碼分析部分進行講解，讀者也可以思考下如果運行注釋部分，結果是否還是正確的呢? f是指向函數(shù)的指針變量，所以可把函數(shù)max()賦給f作為f的值，即把max()的入口地址賦給f,以后就可以用f來調用該函數(shù)，實際上f和max都指向同一個入口地址，不同就是f是一個指針變量，不像函數(shù)名稱那樣是死的，它可以指向任何函數(shù)，就看你想怎么做了。在程序中把哪個函數(shù)的地址賦給它，它就指向哪個函數(shù)。而后用指針變量調用它，因此可以先后指向不同的函數(shù)。 [color=]不過注意，指向函數(shù)的指針變量沒有++和--運算，用時要小心。 函數(shù)括號中的形參可有可無，視情況而定,不過，在某些編譯器中這是不能通過的。這個例子的補充如下。 1.定義函數(shù)指針類型： typedef int (*fun_ptr)(int,int); 2.申明變量，賦值： fun_ptr max_func=max; 也就是說，賦給函數(shù)指針的函數(shù)應該和函數(shù)指針所指的函數(shù)原型是一致的。 例二、 #include void FileFunc() { printf("FileFunc\n"); } void EditFunc() { printf("EditFunc\n"); } void main() { typedef void (*funcp)(); funcp pfun= FileFunc; pfun(); pfun = EditFunc; pfun(); } 看了上面兩段代碼，應該都知道如何用函數(shù)指針來調用函數(shù)了，但是我們剛剛在上面的描述中留下過一個問題，就是運行注釋部分f=&max;結果是否還是正確的呢?下面我就給出上面兩個運行結果的對別，然后來分析下原因。 有注釋前的運行結果為： 把注釋部分加進去的運行結果為： 對比以上的運行結果可以看出，f=&max語句被執(zhí)行時的結果和沒有被執(zhí)行時的結果是一樣的。為什么會出現(xiàn)這樣的結果呢?答案是這是編譯器處理的，max本身就是個地址，它沒有放到任何變量里，自然沒有取它的地址一說。所以我們可以看看在調試的過程中&max的值和max的值是一樣的。調試代碼如下： root@ubuntu:/home/shiyan# gdb ss GNU gdb (Ubuntu/Linaro 7.2-1ubuntu11) 7.2 Copyright (C) 2010 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "i686-linux-gnu". For bug reporting instructions, please see: ... Reading symbols from /home/shiyan/ss...done. (gdb) list 1 #include 2 int max ( int x, int y){ return x>y?x:y;} 3 int min ( int x, int y){ return x 4 void main () 5 { int ( *f ) ( int x, int y)=max; 6 //f=&max; 7 printf ( "%d,%d\t", max (2,6), (f)(5,4)); 8 f=min; 9 printf (" %d,%d\t" , min (2,6), (f)(5,4)); 10 } (gdb) b 4 Breakpoint 1 at 0x80483ec: file hanshu.c, line 4. (gdb) r Starting program: /home/shiyan/ss Breakpoint 1, main () at hanshu.c:5 5 { int ( *f ) ( int x, int y)=max; (gdb) print max $1 = {int (int, int)} 0x80483c4 (gdb) print f $2 = (int (*)(int, int)) 0xbffff6c8 (gdb) s 7 printf ( "%d,%d\t", max (2,6), (f)(5,4)); (gdb) max (x=5, y=4) at hanshu.c:2 2 int max ( int x, int y){ return x>y?x:y;} (gdb) print max $3 = {int (int, int)} 0x80483c4 (gdb) print &max $4 = (int (*)(int, int)) 0x80483c4 (gdb) print *max $5 = {int (int, int)} 0x80483c4 (gdb) s max (x=2, y=6) at hanshu.c:2 2 int max ( int x, int y){ return x>y?x:y;} (gdb) s main () at hanshu.c:8 8 f=min; (gdb) print min $6 = {int (int, int)} 0x80483d3 (gdb) print &min $7 = (int (*)(int, int)) 0x80483d3 (gdb) print *min $8 = {int (int, int)} 0x80483d3 (gdb) s 9 printf (" %d,%d\t" , min (2,6), (f)(5,4)); (gdb) print f $9 = (int (*)(int, int)) 0x80483d3 (gdb) print &f $10 = (int (**)(int, int)) 0xbffff6ac (gdb) print *f $11 = {int (int, int)} 0x80483d3 (gdb) s min (x=5, y=4) at hanshu.c:3 3 int min ( int x, int y){ return x (gdb) s min (x=2, y=6) at hanshu.c:3 3 int min ( int x, int y){ return x (gdb) print min $12 = {int (int, int)} 0x80483d3 (gdb) s main () at hanshu.c:10 10 } 在調試的過程中我print了很多的信息，細心的讀者肯定能獲得更多的收獲，尤其是對變量f的print，讀者可以自己閱讀，學到更多的東西。我給出的只是一個參考的調試方式，希望讀者能夠舉一反三，自己對代碼進行實際的調試，加深理解。 上面說的都是用指針來實現(xiàn)函數(shù)的調用，接下來我們看一個用函數(shù)指針作為參數(shù)的用法。 #include using namespace std; typedef int (*print)(int ); int fun1(int i) { return (int)i; } void fun2(int j,print prt) { for(int k=0;k cout 看了上面的描述，我想都對函數(shù)指針的概念有了大致的了解，另外一個希望大家不要混淆的概念就是指針函數(shù)，,這兩個概念都是簡稱，指針函數(shù)是指帶指針的函數(shù)，即本質是一個函數(shù)。我們知道函數(shù)都又有返回類型(如果不返回值，則為無值型，即為void)，只不過指針函數(shù)返回類型是某一類型的指針。 其定義格式如下所示： 返回類型標識符 *返回名稱(形式參數(shù)表) { 函數(shù)體} 返回類型可以是任何基本類型和復合類型。返回指針的函數(shù)的用途十分廣泛。事實上，每一個函數(shù)，即使它不帶有返回某種類型的指針，它本身都有一個入口地址，該地址相當于一個指針。比如函數(shù)返回一個整型值，實際上也相當于返回一個指針變量的值，不過這時的變量是函數(shù)本身而已，而整個函數(shù)相當于一個“變量”，關于函數(shù)的返回值問題我將在下一章來講解，本章到此為止。希望以上內容對你有所幫助! C語言博大精深，由于本人水平有限，博客中的不妥或錯誤之處在所難免，殷切希望讀者批評指正。同時也歡迎讀者共同探討相關的內容，如果樂意交流的話請留下你寶貴的意見。 |
