回調函數說明

簡單的回調函數實作

　　下面建立了一個sort.dll的動态連結庫，它導出了一個名為CompareFunction的類型--typedef int (__stdcall *CompareFunction)(const byte*, const byte*)，它就是回調函數的類型。另外，它也導出了兩個方法：Bubblesort()和Quicksort()，這兩個方法原型相同，但實作了不同的 排序算法。 　　void DLLDIR __stdcall Bubblesort(byte* array,int size,int elem_size,CompareFunction cmpFunc); 　　void DLLDIR __stdcall Quicksort(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,int size,int elem_size,CompareFunction cmpFunc) 　　{ 　　for(int i=0; i < size; i++) 　　{ 　　for(int j=0; j < size-i-1; j++) 　　{ 　　//回調比較函數 　　if(1 == (*cmpFunc)(array+j*elem_size,array+(j+1)*elem_size)) 　　{ 　　//兩個相比較的元素相交換 　　byte* temp = new byte[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(const byte* velem1, const byte* velem2) 　　{ 　　int elem1 = *(int*)velem1; 　　int elem2 = *(int*)velem2; 　　if(elem1 < elem2) 　　return -1; 　　if(elem1 > elem2) 　　return 1; 　　return 0; 　　} 　　int __stdcall CompareStrings(const byte* velem1, const byte* velem2) 　　{ 　　const char* elem1 = (char*)velem1; 　　const char* elem2 = (char*)velem2; 　　return strcmp(elem1, elem2); 　　} 　　下面另有一個程式，用于測試以上所有的代碼，它傳遞了一個有5個元素的數組給Bubblesort()和Quicksort()，同時還傳遞了一個指向回調函數的指針。 (使用byte類型需包含頭檔案windows.h,或typedef unsigned char byte) 　　int main(int argc, 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'; 　　return 0; 　　} 　　如果想進行降序排序(大元素在先)，就隻需修改回調函數的代碼，或使用另一個回調函數，這樣程式設計起來靈活性就比較大了。

　　上面的代碼中，可在函數原型中找到__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 CALLBACK PASCAL //而PASCAL在此被#defined成__stdcall 　　作為回調函數的C++方法 　　因為平時很可能會使用到C++編寫代碼，也許會想到把回調函數寫成類中的一個方法，但先來看看以下的代碼： 　　class CCallbackTester 　　{ 　　public: 　　int CALLBACK CompareInts(const byte* velem1, const byte* velem2); 　　}; 　　Bubblesort((byte*)array, 5, sizeof(array[0]), 　　&CCallbackTester::CompareInts); 　　如果使用微軟的編譯器，将會得到下面這個編譯錯誤： 　　error C2664: ’Bubblesort’ : cannot convert parameter 4 from ’int (__stdcall CCallbackTester::*)(const unsigned char *,const unsigned char *)’ to ’int (__stdcall *)(const unsigned char *,const unsigned char *)’ There is no context in which this conversion is possible 　　這是因為非靜态成員函數有一個額外的參數：this指針，這将迫使你在成員函數前面加上static。