回调函数

因为程序中很少用到函数指针,所以一直对函数指针带有一种陌生感和恐惧感,但作为一名程序员,不能再让这种陌生和恐惧感继续下去了,因此,到处找资料,拜读前辈写的博客,向同事请教,讨论。如果你也像我有同感,就随我一起去揭开回调的神秘面纱。

首先解决三个问题:
1、什么是回调?
2、为什么要有回调,回调能解决什么问题?
3、回调的实现?

1、什么是回调?
回调函数是一个由被调用方自己实现,通过 把特殊函数的指针(地址)作为参数传递给调用方,供调用方使用的特殊函数。有点像您随身带的BP机:告诉别人号码,在它有事情时Call你。

回调函数与普通函数的区别
回调函数也是一个由调用方自己实现的函数或过程,内容上与普通函数并没有区别,本质区别在于调用的对象发生了改变,普通函数通常是我们自己调用,首先我们知道有这样一个函数,而且在什么情况下调用可以由我们自己决定;而回调函数是供被调用方使用的特殊函数(被调用方不一定是系统),写好回调函数后得让被调用方知道有这个函数,至于在什么情况被调用方会下调用这个函数可能是我们知道的,也可能是不知道的(比方说鼠标点击按钮这个事件一定会触发点击事件处理这个回调函数,这个是我们知道的。但还有的情况是被调用方封装好了,每间隔多少秒就自动触发事件)。

回调函数的调用模式
软件模块之间总是存在着一定的接口,从调用方式上,可以把他们分为三类:
同步调用、回调和异步调用。同步调用是一种阻塞式调用,调用方要等待对方执行完毕才返回,它是一种单向调用;回调是一种双向调用模式,也就是说,被调用方在接口被调用时也会调用对方的接口;异步调用是一种类似消息或事件的机制,不过它的调用方向刚好相反,接口的服务在收到某种讯息或发生某种事件时,会主动通知客户方(即调用客户方的接口)。回调和异步调用的关系非常紧密,通常我们使用回调来实现异步消息的注册,通过异步调用来实现消息的通知。同步调用是三者当中最简单的,而回调又常常是异步调用的基础。

2、为什么要使用回调函数?
因为可以把调用者与被调用者分开。调用者不关心谁是被调用者,所有它需知道的,只是存在一个具有某种特定原型、某些限制条件(如返回值为int)的被调用函数。

如果想知道回调函数在实际中有什么作用,先假设有这样一种情况,我们要编写一个库,它提供了某些排序算法的实现,如冒泡排序、快速排序、shell 排序、shake排序等等,但为使库更加通用,不想在函数中嵌入排序逻辑,而让使用者来实现相应的逻辑;或者,想让库可用于多种数据类型(int、float、string),此时,该怎么办呢?可以使用函数指针,并进行回调。

回调可用于通知机制,例如,有时要在程序中设置一个计时器,每到一定时间,程序会得到相应的通知,但通知机制的实现者对我们的程序一无所知。而此时,就需有一个特定原型的函数指针,用这个指针来进行回调,来通知我们的程序事件已经发生。实际上,SetTimer() API使用了一个回调函数来通知计时器,而且,万一没有提供回调函数,它还会把一个消息发往程序的消息队列。

另一个使用回调机制的API函数是EnumWindow(),它枚举屏幕上所有的顶层窗口,为每个窗口调用一个程序提供的函数,并传递窗口的处理程序。如果被调用者返回一个值,就继续进行迭代,否则,退出。EnumWindow()并不关心被调用者在何处,也不关心被调用者用它传递的处理程序做了什么,它只关心返回值,因为基于返回值,它将继续执行或退出。

不管怎么说,回调函数是继续自C 语言的,因而,在C++中,应只在与C 代码建立接口,或与已有的回调接口打交道时,才使用回调函数。除了上述情况,在C++中应使用虚拟方法或函数符(functor),而不是回调函数。

3、回调的实现?
下面创建了一个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-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(),同时还传递了一个指向回调函数的指针。

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。当然,还有几种方法可以解决这个问题,但限于篇幅,就不再论述了。

本文用引用前辈写的文章,但已找不到出处,望前辈海涵

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值