如何设计通用的回调机制
许多程序都需要一种通用的回调机制,这种回调机制不用关心它们的类类型。例如,一个调用GUI组件成员函数的事件驱动的系统中,调用之前并不知道实际的类型信息。这时可以创建一种通用的回调类模板将这种任务流程化。该模板第一个参数是其成员函数被调用的类,第二个模板参数是一个指针,指向类的成员函数。这里的关键技巧第二个参数基于(或者说依赖于)第一个参数:
template < class T, void (T::*F)() > class callback {/**/};
这个模板的实现并不复杂,有一个对 T 的引用,它是一个类,其成员函数要被调用,一个构造函数和一个叫做execute()的成员函数,由它调用回调成员函数:
template < class T, void (T::*F)() >
class callback
{
public:
callback(T& t) : object(t) {} // assign actual object to T
void execute() {(object.*F)();}// launch callback function
private:
T& object;
};
记住:为了通过成员指针调用成员函数,必须要引用或实际对象的指针。这就是为什么该模板有一个T&作为数据成员,现在假设我们要使用这个回调模板来执行类A 的一个回调函数:
class A
{
public:
void f();
};
这里是实例化该模板的方法:模板参数必须是常量表达式。因此,你不能用变量作为此成员函数的地址。而要用&操作符接受该函数的地址。最后,用模板对象作为参数传递你要调用其成员函数的对象:
int main()
{
A a; // 首先创建一个对象
callback < A, &A::f > c(a); // 实例化模板
c.execute(); // 调用回调成员函数
}
你可以将此回调类模板用于任何类类型,只要所调用的成员函数名字相同即可。