0. 引言使用过SDK的朋友应该知道“回调函数”(callback function)这个概念,但本文并不是介绍如何使用回调函数,而是站在SDK开发者的角度,讲述如何实现回调机制。
1. 何为回调(callback) 所谓回调,就是客户程序C调用服务程序S中的某个函数A,然后S又在某个时候反过来调用C中的某个函数B,对于C来说,这个B便叫做回调函数。例如Win32下的窗口过程函数就是一个典型的回调函数。 一般说来,C不会自己调用B,C提供B的目的就是让S来调用它,而且是C不得不提供。由于S并不知道C提供的B叫甚名谁,所以S会约定B的接口规范(函数原型),然后由C提前通过S的一个函数R告诉S自己将要使用B函数,这个过程称为回调函数的注册,R称为注册函数。 下面举个通俗的例子: 某天,我打电话向你请教问题,当然是个难题,:),你一时想不出解决方法,我又不能拿着电话在那里傻等,于是我们约定:等你想出办法后打手机通知我,这样,我就挂掉电话办其它事情去了。过了XX分钟,我的手机响了,你兴高采烈的说问题已经搞定,应该如此这般处理。故事到此结束。 这个例子说明了“异步+回调”的编程模式。其中,你后来打手机告诉我结果便是一个“回调”过程;我的手机号码必须在以前告诉你,这便是注册回调函数;我的手机号码应该有效并且手机能够接收到你的呼叫,这是回调函数必须符合接口规范。
2. 什么情况下使用回调 如果你是SDK的使用者,一旦别人制定了回调机制,那么你被迫得使用回调函数,因此这个问题只对SDK设计者有意义。 从引入的目的看,回调大致分为三种: 1) SDK有消息需要通知应用程序,比如定时器被触发; 2) SDK的执行需要应用程序的参与,比如SDK需要你提供一种排序算法; 3) SDK的操作比较费时,但又不能让应用程序阻塞在那里,于是采用异步方式,让调用函数及时返回,SDK另起线程在后台执行操作,待操作完成后再将结果通知应用程序。 经上面这样一总结,你也许会恍然大悟:原来“回调机制”无处不在啊! 是的,不光是Win32 API编程中你会用到,也不光是其它SDK编程中会用到,平时我们自己编写程序时也可能用到回调机制,这时,我们既是回调的设计者又是回调的使用者。
3. 传统SDK回调函数设计模式 Win32 SDK是这方面的典型例子,这类SDK的函数接口都是基于C语言的,SDK或者提供专门的注册函数,用于注册回调函数的地址,或者是在调用某个方法时才传入回调函数的地址,回调函数的原型也由于注册函数中的函数指针定义而受到约束。 以Win32中的多媒体定时器函数为例,其原型为: MMRESULT timeSetEvent( UINT uDelay, // 定时器时间间隔,以毫秒为单位 UINT uResolution, LPTIMECALLBACK lpTimeProc, // 回调函数地址 DWord dwUser, // 用户设定的数据 UINT fuEvent );
其中第三个参数便是用于注册回调函数的,第四个参数用于设定用户自定义数据,其作用将在后文说明,
- LPTIMECALLBACK的定义为:
- typedef void (CALLBACK TIMECALLBACK)(UINT uTimerID, UINT uMsg, DWORD dwUser, DWORD dw1, DWORD dw2);
- typedef TIMECALLBACK FAR *LPTIMECALLBACK;
- 因此,用户定义的回调函数必须具有上面指定的函数原型,下面是回调函数的具体使用方法:
- #include "stdio.h"
- #include "windows.h"
- #include "mmsystem.h" // 多媒体定时器需要包含此文件
- #pragma comment(lib, "winmm.lib") // 多媒体定时器需要导入此库
- void CALLBACK timer_proc(UINT uTimerID, UINT uMsg, DWORD dwUser, DWORD dw1, DWORD dw2) // 定义回调函数
- {
- printf("time out./n");
- }
- int main()
- {
- UINT nId = timeSetEvent( 1000, 0, timer_proc, 0, TIME_CALLBACK_FUNCTIONTIME_PERIODIC); // 注册回调函数
- getchar();
- timeKillEvent( nId );
- return 0;
- }
- 运行程序,我们会看到,屏幕上每隔一秒将会打印出“time out.”信息。同时我们也应该注意到,这里的timeSetEvent是异步执行的,timeSetEvent很快执行完毕,主线程继续执行,<a title="操作系统" target="_blank" href="http://www.viphot.com/caozuoxitong/">操作系统</a>在后台负责检查timer是否超时。
前面已经说过,本文的是站在SDK设计者的角度来看待问题,这里,我们就把前面那个通俗的例子变成程序,如下:
- /// sdk.h (SDK头文件)
- #ifndef __SDK_H__
- #define __SDK_H__
- typedef void (*HELP_CALLBACK)(const char*); // 回调函数指针
- void help_me( const char* question, HELP_CALLBACK callback ); // 接口声明
- #endif//__SDK_H__
- /// sdk.cpp (SDK源文件,为方便,没有使用.c文件)
- #include "sdk.h"
- #include "stdio.h"
- #include "windows.h"
- HELP_CALLBACK g_callback;
- void do_it() // 处理函数
- {
- printf("thinking.../n");
- Sleep( 3000 );
- printf("think out./n");
- printf("call him./n");
- g_callback( "2." );
- }
- void help_me( const char* question, HELP_CALLBACK callback ) // 接口实现
- {
- g_callback = callback; // 保存回调函数指针
- printf("help_me: %s/n", question);
- do_it(); // 如果采用异步方式的话,这里一般采用创建线程的方式
- }
- /// app.cpp (应用程序源文件)
- #include "sdk.h"
- #include "stdio.h"
- void got_answer( const char* msg ) // 定义回调函数
- {
- printf("got_answer: %s/n", msg);
- }
- int main()
- {
- help_me( "1+1=?", got_answer ); // 使用SDK,注册回调函数
- return 0;
- }
4. C++中回调函数的设计 C++的类中也可以使用类似上面的设计方式。 如果SDK采用C语言接口,应用程序使用C++编程方式,那么类成员函数由于具有隐含的this指针而不能赋值给普通函数指针,解决方法很简单,就是为其加上static关键字。 以上面的程序为例,这里我们只看应用程序的代码:
- /// app.cpp ( C++风格 )
- #include "sdk.h"
- #include "stdio.h"
- class App
- {
- public:
- void ask( const char* question )
- {
- help_me( question, got_answer );
- }
- static void got_answer( const char* msg )
- {
- printf("got_answer: %s/n", msg);
- }
- };
- int main()
- {
- App app;
- app.ask( "1+1=?");
- return 0;
- }
上面这种方式有个明显的缺点:由于got_answer是静态成员函数,所以它不能访问类的非静态成员变量,这可不是一件好事情。为了解决此问题,作为回调函数的设计者,你有必要为其增添一个参数,用于传递用户所需的值,如下:
- /// sdk.h (SDK头文件)
- #ifndef __SDK_H__
- #define __SDK_H__
- typedef void (*HELP_CALLBACK)(const char*, unsigned long); // 回调函数指针
- void help_me( const char* question, HELP_CALLBACK callback, unsigned long user_value ); // 接口声明
- #endif//__SDK_H__
- /// sdk.cpp (SDK源文件,为方便,没有使用.c文件)
- #include "sdk.h"
- #include "stdio.h"
- #include "windows.h"
- HELP_CALLBACK g_callback;
- unsigned long g_user_value;
- void do_it()
- {
- printf("thinking.../n");
- Sleep( 3000 );
- printf("think out./n");
- printf("call him./n");
- g_callback( "2.", g_user_value ); // 将用户设定的数据传入
- }
- void help_me( const char* question, HELP_CALLBACK callback, unsigned long user_value )
- {
- g_callback = callback;
- g_user_value = user_value; // 保存用户设定的数据
- printf("help_me: %s/n", question);
- do_it();
- }
- /// app.cpp (应用程序源文件)
- #include "sdk.h"
- #include "stdio.h"
- #include "assert.h"
- class App
- {
- public:
- App( const char* name ) : m_name(name)
- {
- }
- void ask( const char* question )
- {
- help_me( question, got_answer, (unsigned long)this ); // 将this指针传入
- <pre class="csharp" name="code">}
- static void got_answer( const char* msg, unsigned long user_value )
- {
- App* pthis = (App*)user_value; // 转换成this指针,以访问非静态数据成员
- assert( pthis );
- printf("%s got_answer: %s/n", pthis->m_name, msg);
- }
- protected:
- const char* m_name;
- };
- int main()
- {
- App app("ABC");
- app.ask( "1+1=?");
- return 0;
- }
- </pre>
这里的user_value被设计成unsigned long,它既可以传递整型数据,也可以传递一个地址值(因为它们在32位机器上宽度都为32),有了地址,那么像结构体变量、类对象等都可以访问了。
5. C++中回调类编程模式 时代在不断进步,SDK不再是古老的API接口,C++面向对象编程被广泛的用到各种库中,因此回调机制也可以采用C++的一些特性来实现。 通过前面的讲解,其实我们不难发现回调的本质便是:SDK定义出一套接口规范,应用程序按照规定实现它。这样一说是不是很简单,
想想我们C++中的继承,想想我们亲爱的抽象基类......于是,我们得到以下的代码:
- /// sdk.h
- #ifndef __SDK_H__
- #define __SDK_H__
- class Notifier // 回调类,应用程序需从此派生
- {
- public:
- virtual ~Notifier() { }
- virtual void got_answer(const char* answer) = 0; // 纯虚函数,用户必须实现它
- };
- class Sdk // Sdk提供服务的类
- {
- public:
- Sdk(Notifier* pnotifier); // 用户必须注册指向回调类的指针
- void help_me(const char* question);
- protected:
- void do_it();
- protected:
- Notifier* m_pnotifier; // 用于保存回调类的指针
- };
- #define//__SDK_H__
- /// sdk.cpp
- #include "sdk.h"
- #include "windows.h"
- #include <iostream>
- using namespace std;
- Sdk::Sdk(Notifier* pnotifier) : m_pnotifier(pnotifier)
- {
- }
- void Sdk::help_me(const char* question)
- {
- cout << "help_me: " << question << endl;
- do_it();
- }
- void Sdk::do_it()
- {
- cout << "thinking..." << endl;
- Sleep( 3000 );
- cout << "think out." << endl;
- cout << "call him." << endl;
- m_pnotifier->got_answer( "2." );
- }
- /// app.cpp
- #include "sdk.h"
- class App : public Notifier // 应用程序实现一个从回调类派生的类
- {
- public:
- App( const char* name ) : m_sdk(this), m_name(name) // 将this指针传入
- {
- }
- void ask( const char* question )
- {
- m_sdk.help_me( question );
- }
- void got_answer( const char* answer ) // 实现纯虚接口
- {
- cout << m_name << " got_answer: " << answer << endl;
- }
- protected:
- Sdk m_sdk;
- const char* m_name;
- };
- int main()
- {
- App app("ABC");
- app.ask( "1+1=?");
- return 0;
- }
哈哈,是不是很爽?Notifier将用户必须实现的回调函数都以纯虚函数的方式定义,这样用户就不得不实现它,当然如果不是非实现不可,那么我们也可以将其定义成一般的虚函数,并像析构函数那样提供一个“空”的实现,这样用户可以在关心它时才去实现它。由于这个类的作用是实现回调,所以我们不妨称之为回调类。 上面这种方式一简化,可以将Sdk与Notifier合并在一起,@#%&@#...,Stop,这样的代码每本C++书上都有,还用的着说吗(不要砸偶,鸡蛋可以,西红柿不要)。
6. C++类模板方式 上面的方式有继承还有虚函数,某些朋友可能不喜欢其中带来的额外代价,那么怎么才能消除这二者呢?本节的标题已给出了答案——类模板,代码为:
- /// sdk.h
- #ifndef __SDK_H__
- #define __SDK_H__
- #include <iostream>
- using namespace std;
- template<typename Notifier>
- <pre class="csharp" name="code">
- class Sdk
- {
- public:
- Sdk(Notifier* pnotifier);
- void help_me(const char* question);
- protected:
- void do_it();
- protected:
- Notifier* m_pnotifier;
- };
- template<typename Notifier>
- Sdk<Notifier>::Sdk(Notifier* pnotifier) : m_pnotifier(pnotifier)
- {
- }
- template<typename Notifier>
- void Sdk<Notifier>::help_me(const char* question)
- {
- cout << "help_me: " << question << endl;
- do_it();
- }
- template<typename Notifier>
- void Sdk<Notifier>::do_it()
- {
- cout << "thinking..." << endl;
- Sleep( 3000 );
- cout << "think out." << endl;
- cout << "call him." << endl;
- m_pnotifier->got_answer( "2." );
- }
- #endif//__SDK_H__
- /// app.cpp
- #include "sdk.h"
- class App
- {
- public:
- App( const char* name ) : m_sdk(this), m_name(name)
- {
- }
- void ask( const char* question )
- {
- m_sdk.help_me( question );
- }
- void got_answer( const char* answer )
- {
- cout << m_name << " got_answer: " << answer << endl;
- }
- protected:
- Sdk<App> m_sdk;
- const char* m_name;
- };
- int main()
- {
- App app("ABC");
- app.ask( "1+1=?");
- return 0;
- }
- 由于现在很少有编译器支持模板的分离编译,所以迫使我们不得不把SDK的实现也放在头文件中,这对于想要隐藏SDK具体实现的朋友来说可不是一个好的选择。因此这种方式在SDK中还是用得较少。 </pre>
7. 尾声 知识是灵活运用的,根据具体的需求,可以设计出各种精彩的模式,并不一一雷同。 关于回调的总结就暂告一段落,等以后想到新的方式再作补充。