回调函数

回调函数调用关系图

对于第一种情况，主程序可以从执行到回调函数，也可以不执行回调函数，关键看宿主函数是否调用了回调函数。
对于第二种情况，主程序可以从执行到回调函数，也可以不执行回调函数，关键看宿主函数是否调用了回调函数。主程序不知道宿主函数什么时候调用回调函数，因为调用函数启动了线程，这样，主程序就不必关心宿主函数什么时候调用回调函数了，主程序可以释放出来做自己的事了。

精妙比喻:回调函数还真有点像您随身带的BP机：告诉别人号码，在它有事情时Call您 

回调用于层间协作，上层将本层函数安装在下层，这个函数就是回调，而下层在一定条件下触发回调，例如作为一个驱动，是一个底层，他在收到一个数据时，除了完成本层的处理工作外，还将进行回调，将这个数据交给上层应用层来做进一步处理，这在分层的数据通信中很普遍。 
其实回调和API非常接近，他们的共性都是跨层调用的函数。但区别是API是低层提供给高层的调用，一般这个函数对高层都是已知的；而回调正好相反，他是高层提供给底层的调用，对于低层他是未知的，必须由高层进行安装，这个安装函数其实就是一个低层提供的API，安装后低层不知道这个回调的名字，但它通过一个函数指针来保存这个回调，在需要调用时，只需引用这个函数指针和相关的参数指针。 

其实：回调就是该函数写在高层，低层通过一个函数指针保存这个函数，在某个事件的触发下，低层通过该函数指针调用高层那个函数。 

程序员常常需要实现回调。本文将讨论函数指针的基本原则并说明如何使用函数指针实现回调。注意这里针对的是普通的函数，不包括完全依赖于不同语法和语义规则的类成员函数（类成员指针将在另文中讨论）。 

声明函数指针 

        回调函数是一个程序员不能显式调用的函数；通过将回调函数的地址传给调用者从而实现调用。要实现回调，必须首先定义函数指针。尽管定义的语法有点不可思议，但如果你熟悉函数声明的一般方法，便会发现函数指针的声明与函数声明非常类似。请看下面的例子： 

void   f()；//   函数原型 

上面的语句声明了一个函数，没有输入参数并返回void。那么函数指针的声明方法如下： 

void   (*)   (); 

        让我们来分析一下，左边圆括弧中的星号是函数指针声明的关键。另外两个元素是函数的返回类型（void）和由边圆括弧中的入口参数（本例中参数是空）。注意本例中还没有创建指针变量-只是声明了变量类型。目前可以用这个变量类型来创建类型定义名及用sizeof表达式获得函数指针的大小： 

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

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

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

指针变量应该有一个变量名： 

void   (*p)   ();   //p是指向某函数的指针 

        p是指向某函数的指针，该函数无输入参数，返回值的类型为void。左边圆括弧里星号后的就是指针变量名。有了指针变量便可以赋值，值的内容是署名匹配的函数名和返回类型。例如： 

void   func()   
{ 
/*   do   something   */ 
}   
p   =   func;   

p的赋值可以不同，但一定要是函数的地址，并且署名和返回类型相同。 

传递回调函数的地址给调用者 

        现在可以将p传递给另一个函数（调用者）-   caller()，它将调用p指向的函数，而此函数名是未知的： 

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

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

调用规范 

        到目前为止，我们只讨论了函数指针及回调而没有去注意ANSI   C/C++的编译器规范。许多编译器有几种调用规范。如在Visual   C++中，可以在函数类型前加_cdecl，_stdcall或者_pascal来表示其调用规范（默认为_cdecl）。C++   Builder也支持_fastcall调用规范。调用规范影响编译器产生的给定函数名，参数传递的顺序（从右到左或从左到右），堆栈清理责任（调用者或者被调用者）以及参数传递机制（堆栈，CPU寄存器等）。 

        将调用规范看成是函数类型的一部分是很重要的；不能用不兼容的调用规范将地址赋值给函数指针。例如：

//   被调用函数是以int为参数，以int为返回值 
__stdcall   int   callee(int);   

//   调用函数以函数指针为参数 
void   caller(   __cdecl   int(*ptr)(int));   

//   在p中企图存储被调用函数地址的非法操作 
__cdecl   int(*p)(int)   =   callee;   //   出错 

        指针p和callee()的类型不兼容，因为它们有不同的调用规范。因此不能将被调用者的地址赋值给指针p，尽管两者有相同的返回值和参数列。