-
回调函数
机制
编辑
⑴定义一个回调函数;
⑵提供函数实现的一方在初始化的时候,将回调函数的函数
指针注册给调用者;
⑶当特定的事件或条件发生的时候,调用者使用
函数指针调用回调函数对事件进行处理。
意义
编辑
因为可以把调用者与被调用者分开,所以调用者不关心谁是被调用者。它只需知道存在一个具有特定原型和限制条件的
被调用函数。简而言之,回调函数就是允许用户把需要调用的方法的指针作为参数传递给一个函数,以便该函数在处理相似事件的时候可以灵活的使用不同的方法。
想知道回调函数在实际中有什么作用?先假设有这样一种情况:我们要编写一个库,它提供了某些
排序算法的实现(如
冒泡排序、
快速排序、
shell排序、shake排序等等),为了能让库更加通用,不想在函数中嵌入排序逻辑,而让使用者来实现相应的逻辑;或者,能让库可用于多种数据类型(int、float、string),此时,该怎么办呢?可以使用
函数指针,并进行回调。
回调可用于通知机制。例如,有时要在A程序中设置一个
计时器,每到一定时间,A程序会得到相应的通知,但通知机制的实现者对A程序一无所知。那么,就需一个具有特定原型的函数指针进行回调,通知A程序事件已经发生。实际上,
API使用一个回调函数SetTimer()来通知计时器。如果没有提供回调函数,它还会把一个消息发往程序的
消息队列。
另一个使用回调机制的API函数是EnumWindow(),它
枚举屏幕上所有的顶层窗口,每个窗口都可以通过它调用另一个程序提供的函数,并传递窗口的处理程序。例如:如果被调用者返回一个值,就继续进行
迭代;否则,退出。EnumWindow()并不关心被调用者在何处,也不关心被调用者用它传递的处理程序做了什么,它只关心返回值,因为基于返回值,它将继续执行或退出。
不管怎么说,回调函数是继承自C语言的。在C++中,应只在与C代码建立接口或与已有的回调接口打交道时,才使用回调函数。除了上述情况,在C++中应使用虚拟方法或
仿函数(functor),而不是回调函数。
实现
编辑代码实现
下面创建了一个sort.dll的动态链接库,它导出了一个名为CompareFunction的类型--
1
|
typedef
int
(__stdcall*CompareFunction)(constbyte*,constbyte*) ===>函数指针申明
|
它就是回调函数的类型,负责用同样的参数形式将参数传递给相应的具体元素比较函数。另外,通过它,两个不同的排序算法,可以调用和具体元素相关的比较函数,实现和元素类型无关的排序:Bubblesort()和Quicksort(),这两个方法都用同样的参数原型,但实现了不同的
排序算法。
1
2
|
void
DLLDIR__stdcallBubblesort(byte*array,intsize,intelem_size,CompareFunctioncmpFunc);
void
DLLDIR__stdcallQuicksort(byte*array,intsize,intelem_size,CompareFunctioncmpFunc);
|
这两个函数接受以下参数:
·int size:数组中元素的个数。
·int elem_size:数组中一个元素的大小,以
字节为单位。
·CompareFunction cmpFunc:带有上述原型的指向回调函数的指针。
这两个函数都会对数组进行某种排序,但每次都需决定两个元素哪个排在前面,而函数中有一个回调函数,其地址是作为一个
参数传递进来的。对编写者来说,不必介意函数在何处实现,或它怎样被实现的,所需在意的只是两个用于比较的元素的地址,并返回以下的某个值(库的编写者和使用者都必须遵守这个约定):
·-1:如果第一个元素较小,那它在已排序好的
数组中,应该排在第二个元素前面。
·0:如果两个元素相等,那么它们的相对位置并不重要,在已排序好的数组中,谁在前面都无所谓。
·1:如果第一个元素较大,那在已排序好的数组中,它应该排第二个元素后面。
基于以上约定,函数Bubblesort()的实现如下,Quicksort()就稍微复杂一点:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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()函数。下面有二个简单的示例,一个比较两个整数,而另一个比较两个字符串:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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,或
1
|
typedef
unsignedchar byte;
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
int
main(intargc,
char
*argv[])
{
int
i;
int
array[]={5432,4321,3210,2109,1098};
cout<<
"BeforesortingintswithBubblesort\n"
;
for
(i=0;i<5;i++)
cout<<array[i]<<
'\n'
;
Bubblesort((byte*)array,5,
sizeof
(array[0]),&CompareInts);
cout<<
"Afterthesorting\n"
;
for
(i=0;i<5;i++)
cout<<array[i]<<
'\n'
;
const
char
str[5][10]={
"estella"
,
"danielle"
,
"crissy"
,
"bo"
,
"angie"
};
cout<<
"BeforesortingstringswithQuicksort\n"
;
for
(i=0;i<5;i++)
cout<<str[i]<<
'\n'
;
Quicksort((byte*)str,5,10,&CompareStrings);
cout<<
"Afterthesorting\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中:
1
2
|
#define CALLBACK__stdcallor
#define CALLBACKPASCAL//而PASCAL在此被#defined成__stdcall
|
作为回调函数的C++方法
因为平时很可能会使用到C++编写代码,也许会想到把回调函数写成类中的一个方法,但先来看看以下的代码:
1
2
3
4
5
6
|
class
CCallbackTester
{
public
:
int
CALLBACKCompareInts(constbyte*velem1,constbyte*velem2);
};
Bubblesort((byte*)array,5,
sizeof
(array[0]),&CCallbackTester::CompareInts);
|
如果使用微软的
编译器,将会得到下面这个编译错误:
1
|
error
C2664
:’
Bubblesort
’:cannotconvertparameter4from’int(__stdcall
CCallbackTester
::*)(constunsignedchar*,constunsignedchar*)’to’int(__stdcall*)(constunsignedchar*,constunsignedchar*)’
Thereisnocontextinwhichthisconversionispossible
|