Callback function

/* 注意：函数指针在只声明了变量类型还未赋值（创建指针变量）前就使用，会导致空指针错误 */

一篇不错的关于回调机制的文章：
http://www.ibm.com/developerworks/cn/linux/l-callback/index.html

什么是回调函数？

简而言之，回调函数就是一个通过函数指针调用的函数。如果你把函数的指针（地址）作为参数传递给另一个函数，当这个指针被用为调用它所指向的函数时，我们就说这是回调函数。

为什么要使用回调函数？

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

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

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

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

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

一个简单的回调函数实现

（声明和定义时应注意：回调函数由系统调用，不要把它当作你的某个类的成员函数。）

void f()；// 函数原型

void (*) (); //函数指针的声明

注意此时还没有创建指针变量，只是声明了变量类型。
目前可以用这个变量类型来创建类型定义名及用sizeof表达式获得函数指针的大小：

// 获得函数指针的大小
unsigned psize = sizeof (void (*) ());

// 为函数指针声明类型定义
typedef void (*pfv) ();

pfv是一个函数指针，它指向的函数没有输入参数，返回类行为void。使用这个类型定义名可以隐藏复杂的函数指针语法。


void caller(void(*ptr)())
{
ptr(); /* 调用ptr指向的函数 */
}

void func();

int main()
{
p = func;
caller(p); /* 传递函数地址到调用者 */
}

如果赋了不同的值给p（不同函数地址），那么调用者将调用不同地址的函数。赋值可以发生在运行时，这样使你能实现动态绑定。

-----------------------------------------------------------------------

C++中回调函数(callback)和函数符(functor)的比较

回调函数(callback)与函数符(functor)很多时候从用途上来看很相似，以致于我们经常将它们相提并论。例如：

inline bool compare(int a, int b)
{
return a > b;
}

struct comparer {
bool operator()(int a, int b) const {
return a > b;
}
};

void main()
{
std::vector<int> vec, vec2;
std::sort(vec.begin(), vec.end(), compare);
std::sort(vec2.begin(), vec2.end(), comparer());
}

之所以称为函数符，是因为这是一种利用某些类对象支持operator()的特性，来达到模拟函数调用效果的技术。

如果这里vec, vec2这两个vector的内容一样，那么从执行结果看，使用回调函数compare与使用函数符comparer() 是一样的。

函数符(functor)的优点

我的建议是，如果可以用函数符实现，那么你应该用函数符，而不要用回调。原因在于：

• 函数符可以不带痕迹地传递上下文参数。而回调技术通常使用一个额外的void*参数传递。这也是多数人认为回调技术丑陋的原因。
• 更好的性能。

函数符技术可以获得更好的性能，这点直观来讲比较难以理解。你可能说，回调函数申明为inline了，怎么会性能比函数符差？我们这里来分析下。我们假设某 个函数func（例如上面的std::sort）调用中传递了一个回调函数（如上面的compare），那么可以分为两种情况：

• func是内联函数，并且比较简单，func调用最终被展开了，那么其中对回调函数的调用也成为一普通函数调用（而不是通过函数指针的间接调用），并且如果这个回调函数简单，那么也可能同时被展开。在这种情形下，回调函数与函数符性能相同。
• func 是非内联函数，或者比较复杂而无法展开（例如上面的std::sort，我们知道它是快速排序，函数因为存在递归而无法展开）。此时回调函数作为一个函数 指针传入，其代码亦无法展开。而函数符则不同。虽然func本身复杂不能展开，但是func函数中对函数符的调用是编译器编译期间就可以确定并进行 inline展开的。因此在这种情形下，函数符比之于回调函数，有着更好的性能。并且，这种性能优势有时是一种无可比拟的优势（对于std::sort就 是如此，因为元素比较的次数非常巨大，是否可以进行内联展开导致了一种雪崩效应）。

函数符(functor)不能做的

话又说回来了，函数符并不能完全取代回调函数所有的应用场合。例如，我在 std::AutoFreeAlloc中使用了回调函数，而不是函数符，这是因为AutoFreeAlloc要容纳异质的析构函数，而不是只支持某一种类的析构。这和模板（template）不能处理在同一个容器中支持异质类型，是一个道理。