複製鏈接
請複製以下鏈接發送給好友

回調函數

鎖定
回調函數就是一個被作為參數傳遞的函數。在C語言中,回調函數只能使用函數指針實現,在C++、PythonECMAScript等更現代的編程語言中還可以使用仿函數匿名函數
回調函數的使用可以大大提升編程的效率,這使得它在現代編程中被非常多地使用。同時,有一些需求必須要使用回調函數來實現。
最著名的回調函數調用有C/C++標準庫stdlib.h/cstdlib中的快速排序函數qsort二分查找函數bsearch中都會要求的一個與strcmp類似的參數,用於設置數據的比較方法
中文名
回調函數
外文名
Callback Functions
意    思
通過函數指針調用的函數
作    用
對特定的事件或條件進行響應

回調函數機制

⑴定義一個回調函數;
⑵提供函數實現的一方在初始化的時候,將回調函數的函數指針註冊給調用者;
⑶當特定的事件或條件發生的時候,調用者使用函數指針調用回調函數對事件進行處理。

回調函數意義

因為可以把調用者與被調用者分開,所以調用者不關心誰是被調用者。它只需知道存在一個具有特定原型和限制條件的被調用函數。簡而言之,回調函數就是允許用户把需要調用的函數的指針作為參數傳遞給一個函數,以便該函數在處理相似事件的時候可以靈活的使用不同的方法。
回調函數在實際中有許多作用。假設有這樣一種情況:我們要編寫一個庫,它提供了某些排序算法的實現(如冒泡排序、快速排序、shell排序shake排序等等),為了能讓庫更加通用,不想在函數中嵌入排序邏輯,而讓使用者來實現相應的邏輯;或者,能讓庫可用於多種數據類型(int、floatstring),此時,可以使用函數指針,並進行回調。
回調可用於通知機制。例如,有時要在A程序中設置一個計時器,每到一定時間,A程序會得到相應的通知,但通知機制的實現者對A程序一無所知。那麼,就需一個具有特定原型的函數指針進行回調,通知A程序事件已經發生。實際上,API使用一個回調函數SetTimer來通知A程序。如果沒有提供回調函數,它還會把一個消息發往程序的消息隊列
另一個使用回調機制的API函數是EnumWindow,它枚舉屏幕上所有的頂層窗口,每個窗口都可以通過它調用另一個程序提供的函數,並傳遞窗口的處理程序。例如:如果被調用者返回一個值,就繼續進行迭代;否則,退出。EnumWindow並不關心被調用者在何處,也不關心被調用者用它傳遞的處理程序做了什麼,它只關心返回值,因為基於返回值,它將繼續執行或退出。
C語言的回調函數只能通過函數指針實現,在C++中則可以使用匿名函數(lambda)或仿函數functor)作為回調函數。

回調函數實現

回調函數代碼實現

下面創建了一個sort.dll動態鏈接庫,它導出了一個名為CompareFunction的類型--
typedef int(__stdcall*CompareFunction)(constbyte*,constbyte*)
它就是回調函數的類型,負責用同樣的參數形式將參數傳遞給相應的具體元素比較函數。另外,通過它,兩個不同的排序算法,可以調用和具體元素相關的比較函數,實現和元素類型無關的排序:Bubblesort和Quicksort,這兩個方法都用同樣的參數原型,但實現了不同的排序算法
void DLLDIR__stdcallBubblesort(byte* array,int size,int elem_size,CompareFunction cmpFunc);
void DLLDIR__stdcallQuicksort(byte* array,int size,int elem_size,CompareFunction cmpFunc);
這兩個函數接受以下參數:
·byte * array:指向元素數組的指針(任意類型)。
·int size:數組中元素的個數。
·int elem_size:數組中一個元素的大小,以字節為單位。
·CompareFunction cmpFunc:帶有上述原型的指向回調函數的指針。
這兩個函數都會對數組進行某種排序,但每次都需決定兩個元素哪個排在前面,而函數中有一個回調函數,其地址是作為一個參數傳遞進來的。對編寫者來説,不必介意函數在何處實現,或它怎樣被實現的,所需在意的只是兩個用於比較的元素的地址,並返回以下的某個值(庫的編寫者和使用者都必須遵守這個約定):
·-1:如果第一個元素較小,那它在已排序好的數組中,應該排在第二個元素前面。
·0:如果兩個元素相等,那麼它們的相對位置並不重要,在已排序好的數組中,誰在前面都無所謂。
·1:如果第一個元素較大,那在已排序好的數組中,它應該排第二個元素後面。
基於以上約定,函數Bubblesort的實現如下,Quicksort就稍微複雜一點:
void DLLDIR__stdcall Bubblesort(byte*array,intsize,intelem_size,cmpFunc)
{
for(inti=0;i<size;i++)
{
for(intj=0;j<size-i-1;j++)
{
//回調比較函數
if(1==(*cmpFunc)(array+j*elem_size,array+(j+1)*elem_size))
{
//兩個相比較的元素相交換
byte* temp=newbyte[elem_size];
memcpy(temp,array+j*elem_size,elem_size);
memcpy(array+j*elem_size,array+(j+1)*elem_size,elem_size);
memcpy(array+(j+1)*elem_size,temp,elem_size);
delete[]temp;
}
}
}
}
注意:因為實現中使用了memcpy,所以函數在使用的數據類型方面,會有所侷限。
對使用者來説,必須有一個回調函數,其地址要傳遞給Bubblesort函數。下面有二個簡單的示例,一個比較兩個整數,而另一個比較兩個字符串
int__stdcall CompareInts(constbyte*velem1,constbyte*velem2)
{
int elem1=*(int*)velem1;
int elem2=*(int*)velem2;
if(elem1<elem2)
return-1;
if(elem1>elem2)
return1;
return0;
}
int __stdcall CompareStrings(constbyte*velem1,constbyte*velem2)
{
const char* elem1=(char*)velem1;
const char* elem2=(char*)velem2;
return strcmp(elem1,elem2);
}
下面另有一個程序,用於測試以上所有的代碼,它傳遞了一個有5個元素的數組給Bubblesort和Quicksort,同時還傳遞了一個指向回調函數的指針。使用byte類型需包含頭文件windows.h,或
typedef unsignedchar byte;
int main(intargc,char*argv[])
{
int i;
int array[]={5432,4321,3210,2109,1098};
cout<<"Before sorting ints with Bubblesort\n";
for(i=0;i<5;i++)
cout<<array[i]<<'\n';
Bubblesort((byte*)array,5,sizeof(array[0]),&CompareInts);
cout<<"After the sorting\n";
for(i=0;i<5;i++)
cout<<array[i]<<'\n';
const char str[5][10]={"estella","danielle","crissy","bo","angie"};
cout<<"Before sorting strings with Quicksort\n";
for(i=0;i<5;i++)
cout<<str[i]<<'\n';
Quicksort((byte*)str,5,10,&CompareStrings);
cout<<"After the sorting\n";
for(i=0;i<5;i++)
cout<<str[i]<<'\n';
return0;
}
如果想進行降序排序(大元素在先),就只需修改回調函數的代碼,或使用另一個回調函數,這樣編程起來靈活性就比較大了。

回調函數調用約定

上面的代碼中,可在函數原型中找到__stdcall,因為它以雙下劃線打頭,所以它是一個特定於編譯器的擴展,説到底也就是微軟的實現。任何支持開發基於Win32的程序都必須支持這個擴展或其等價物。以__stdcall標識的函數使用了標準調用約定,為什麼叫標準約定呢,因為所有的Win32 API(除了個別接受可變參數的除外)都使用它。標準調用約定的函數在它們返回到調用者之前,都會從堆棧中移除掉參數,這也是Pascal的標準約定。但在C/C++中,調用約定是調用者負責清理堆棧,而不是被調用函數;為強制函數使用C/C++調用約定,可使用__cdecl。另外,可變參數函數也使用C/C++調用約定。
Windows操作系統採用了標準調用約定(Pascal約定),因為其可減小代碼的體積。這點對早期的Windows來説非常重要,因為那時它運行在只有640KB內存的電腦上。
如果你不喜歡__stdcall,還可以使用CALLBACK宏,它定義在windef.h中:
#define CALLBACK__stdcallor
#define CALLBACKPASCAL//而PASCAL在此被#defined成__stdcall
作為回調函數的C++方法
因為平時很可能會使用到C++編寫代碼,也許會想到把回調函數寫成類中的一個方法,但先來看看以下的代碼:
class CCallbackTester
{
public:
int CALLBACKCompareInts(constbyte*velem1,constbyte*velem2);
};
Bubblesort((byte*)array,5,sizeof(array[0]),&CCallbackTester::CompareInts);
如果使用微軟的編譯器,將會得到下面這個編譯錯誤:
errorC2664:’Bubblesort’:cannotconvertparameter4from’int(__stdcallCCallbackTester::*)(constunsignedchar*,constunsignedchar*)’to’int(__stdcall*)(constunsignedchar*,constunsignedchar*)’There is no context in which this conversion is possible
這是因為非靜態成員函數有一個額外的參數:this指針,這將迫使你在成員函數前面加上static