如何设计通用的回调机制

许多程序都需要一种通用的回调机制，这种回调机制不用关心它们的类类型。例如，一个调用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(); // 调用回调成员函数
}

你可以将此回调类模板用于任何类类型，只要所调用的成员函数名字相同即可。