回调函数

如果参数是一个函数指针，调用者可以传递一个函数的地址给实现者，让实现者去调用它，这称为回调函数（callback function）。例如<code>qsort(3)</code>和<code>bsearch(3)</code>。

<b>表 24.7. 回调函数示例：<code>void func(void (*f)(void *), void *p);</code></b>

<col>

调用者

实现者

提供一个回调函数，再提供一个准备传给回调函数的参数。

把回调函数传给参数<code>f</code>，把准备传给回调函数的参数按<code>void *</code>类型传给参数<code>p</code>

在适当的时候根据调用者传来的函数指针<code>f</code>调用回调函数，将调用者传来的参数<code>p</code>转交给回调函数，即调用<code>f(p);</code>

以下是一个简单的例子。实现了一个<code>repeat_three_times</code>函数，可以把调用者传来的任何回调函数连续执行三次。

<b>例 24.7. 回调函数</b>

回顾一下前面几节的例子，参数类型都是由实现者规定的。而本例中回调函数的参数按什么类型解释由调用者规定，对于实现者来说就是一个<code>void *</code>指针，实现者只负责将这个指针转交给回调函数，而不关心它到底指向什么数据类型。调用者知道自己传的参数是<code>char *</code>型的，那么在自己提供的回调函数中就应该知道参数要转换成<code>char *</code>型来解释。

回调函数的一个典型应用就是实现类似c++的泛型算法（generics algorithm）。下面实现的<code>max</code>函数可以在任意一组对象中找出最大值，可以是一组<code>int</code>、一组<code>char</code>或者一组结构体，但是实现者并不知道怎样去比较两个对象的大小，调用者需要提供一个做比较操作的回调函数。

<b>例 24.8. 泛型算法</b>

<code>max</code>函数之所以能对一组任意类型的对象进行操作，关键在于传给<code>max</code>的是指向对象的指针所构成的数组，而不是对象本身所构成的数组，这样<code>max</code>不必关心对象到底是什么类型，只需转给比较函数<code>cmp</code>，然后根据比较结果做相应操作即可，<code>cmp</code>是调用者提供的回调函数，调用者当然知道对象是什么类型以及如何比较。

以上举例的回调函数是被同步调用的，调用者调用<code>max</code>函数，<code>max</code>函数则调用<code>cmp</code>函数，相当于调用者间接调了自己提供的回调函数。在实际系统中，异步调用也是回调函数的一种典型用法，调用者首先将回调函数传给实现者，实现者记住这个函数，这称为注册一个回调函数，然后当某个事件发生时实现者再调用先前注册的函数，比如<code>sigaction(2)</code>注册一个信号处理函数，当信号产生时由系统调用该函数进行处理，再比如<code>pthread_create(3)</code>注册一个线程函数，当发生调度时系统切换到新注册的线程函数中运行，在gui编程中异步回调函数更是有普遍的应用，例如为某个按钮注册一个回调函数，当用户点击按钮时调用它。

以下是一个代码框架。

既然参数可以是函数指针，返回值同样也可以是函数指针，因此可以有<code>func()();</code>这样的调用。返回函数的函数在c语言中很少见，在一些函数式编程语言（例如lisp）中则很常见，基本思想是把函数也当作一种数据来操作，输入、输出和参与运算，操作函数的函数称为高阶函数（high-order function）。

refer to : http://learn.akae.cn/media/ch24s05.html