簡單的回調函數實現
下面創建了一個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。