指针篇之十三 函数指针精彩回调

回调函数定义

    回调是通过函数参数传递到其它代码内的某一段可执行代码。或者说，凡是自己定义又主动传给其他模块调用的，都是回调。回调允许底层模块调用高层定义的子程序。

 

     理解回调首先要明白什么是层次/模块，软件模块是广义概念，可以包括功能库（也称SDK）、C++对象、组件以及操作系统等，但所有这些最终基本都可以归结为函数实体库。因此下文中上层模块就是指库的调用方（caller），而下层模块就指功能库（callee）自身。

    回调与普通调用的区别就体现在上下层模块间的调用关系上，常见的普通调用是上层调用下层，由上向下单向发号施令。但有时下层库也想做主人，反过来调用上层，这时上层就要专门为下层准备接口，这些孤立接口就是回调。上下层地位不会因个别回调而改变，而且回调本身也要上层先主动提供给下层（注册回调）。

   回调在C语言中借助于函数指针（是实现callback的方式之一，其他手段这里不涉及）来实现：调用者（上层模块）把一个函数指针（地址）作为参数传递给被调库（下层模块），后者在特定时刻再调用这个上层定义的函数。被调用者回头call调用者提供的函数，故称为回调（callback）函数。回调函数通常由编程者自己在上层实现，但上层一般不直接调用它，而是在被封装的下层库里反向调用。从上层角度看，似乎是定义了一个永远没被调用的函数，或许就是这点让习惯普通函数调用的初学者感到回调函数难以理解。

引如回调的必要性

    编程实践中引入回调，能够解决模块间的耦合问题，使分层更清晰。

    普通调用是下层为上层提供函数接口，且为保证下层库的可重用性，库之间一般是从上到下的树状依赖，即：上层库依赖若干下层库，下层库只依赖更下一层的库，而不能反向依赖上层库。只有这样下层库对于上层应用才是独立可重用的，但凡事有例外，某些场合下层库也希望调用上层，这时仍按传统函数调用方式就会有麻烦。

    假设有动态库A和B（so或dll），上层A调用下层B中系列函数funB1/funB2…，而下层B又试图调用A中某函数funA1，这就有个问题：动态库必须符号解析完整才能link成功，因此编译库A要依赖库B提供对funB1/funB2等符号的解析，可是要编译库B反过来又要库A提供funA1，这样两个模块互为依赖导致死锁，都没法编译。解耦办法是A先把函数funA1的指针传给B，B通过函数指针调用funA1而不再直接依赖A，就能独立编译。有了B，A自然也能编译。这里funA1就是回调函数，利用它把双向依赖变为单向，解除耦合，且使B可重用，前提是所有B的调用方额外提供<