回调函数即常说的callback，C语言开发过程中，用好回调函数可以开发出高内聚低耦合的模块代码，事实上回调函数也是解除模块之间耦合的常用方法。本文介绍几种在开发实践中用到回到函数几种情况。
遍历回调
假设现在有一个容器模块，里面存储有数据，现在我们需要遍历容器里面的数据来做一下事情(比如统计容器里大于2的元素个数)，为了不暴露容器的实现细节，容器模块可以提供一个遍历所有元素的API给用户，这个API的的原型如下：
/**
* @brief 遍历容器里所有的元素
*
* @param p_container 容器指针
* @param cb 回调函数
* @param user_data 回调函数用户数据
* @return int 返回值
*/
int container_each_element(void *p_container, void (*cb)(void *element, void *user_data), void *user_data);
一般提供回调函数参数的API都会提供一个额外的参数user_data，这个参数会在用户调用这个API的时候由用户传入，API回调时再传给用户，这个参数可以提供很多上下文的东西，待会我们会提到，下面我们看看回到函数的原型：
/**
* @brief 用户处理数据的函数
*
* @param element 容器里的元素
* @param user_data 用户的回到函数数据。
*/
void user_callback(void *element, void *user_data);
回调函数第一个参数是当前遍历到的容器里的元素，第二个参数就是API回传给用户的数据，为了更清晰的了解这种使用方法，下面我们来举个例子，我们先实现一个简单的存储固定数量整型数的容器：
typedef struct
{
int *p;
int count;
}sample_container_t;
sample_container_t *sample_container_create(int size)
{
sample_container_t *p = malloc(sizeof(sample_container_t) + size * sizeof(int))；
p->p = ((char *)p) + sizeof(sample_container_t);
p->count = 0;
return p;
}
void sample_container_destory(void *p)
{
free(p);
}
//加一个数据
int sample_container_add(sample_container_t *p_container, int ele)
{
p_container->p[p_container->count++] = ele;
}
//删除最后一个数据
int sample_container_del(sample_container_t *p_container)
{
p_container->count--;
}
//遍历容器
int sample_container_each_element(sample_container_t *p_container, void (*cb)(int element, void *user_data), void *user_data)
{
for(int i = 0; i < p_container->count, i++)
{
cb(p_container->p[i], user_data);
}
}
针对这个容器，我们想计算一下这个容器里大于某个数的数据有多少个，那么我们可以实现下面的回调函数：
typedef struct
{
int gt;
int count;
}user_data_t;
void statistic_container_gt(int ele, void *user_data)
{
user_data_t *p = (user_data_t *)user_data;
if (ele > p->gt)
{
p->count++;
}
}
int main()
{
sample_container_t *p = sample_container_create(100);
sample_container_add(p, 1);
sample_container_add(p, 4);
///计算大于2的数的个数
user_data_t user_data = {2, 0};
sample_container_each_element(p, statistic_container_gt, &user_data);
printf("The count of gt 2 is:\n", user_data.count);
}
这样做有两个好处：
- 处理数据模块不用关心容器的实现细节，容器的任何改动都不会引起数据处理函数的修改。
- 想对于容器直接提供API实现这样的功能，更加灵活，完全独立于业务逻辑。比如像计算容器里偶数的个数，只要在写一个回调函数就可以了，不用修改容器模块。
事件通知
在开发过程中，各个模块之间的通信是避免不了的，一般最简单的方法就是调用另外一个模块的API，告诉对方放生了什么事件。比如有一个监控一系统服务状态模块，如果发现某个服务处理不可用状态，要通知运维模块来处理这个时间。按照最直接的办法就是下面的伪代码：
int monitor_check_server_status(server_t *servers, int count)
{
while(1)
{
for(int i =0; i < count; i++)
{
if (is_server_unavailable(servers[i]))
{
///直接调用运维模块API
notify_ops_unavailable(&servers[i]);
}
}
sleep(1);
}
}
这样做基本可以实现功能，但是有两个缺点：
- 耦合度高：直接调用运维模块的API导致两个模块产生紧耦合，实际开发过程中，如果运维模块还没有开发完成，那么我们是无法进行调试或者开发的。
- 扩展性差：如果在后期维护过程中，需要通知更多的模块，那么我们就需要修改代码，添加更多的API调用。
那么我们引进回调函数，看看有什么样子的效果。首先这种情况下，监控服务模块应该提供两个API：
- 注册回调函数：
monitor_add_unavailable_callback()
- 撤销回调函数:
monitor_del_unavailable_callback()
按照这个模式，我们简单实现以下监控服务模块的callback版本。
typedef void (*server_unavailable_callback_t)(server_t *s);
#define MAX_CALLBACKS_NUMBER 10
static server_unavaliable_t unavailable_callbacks[MAX_CALLBACK_NUMBER];
static int cb_count = 0;
int monitor_add_unavailable_callback(server_unavailable_callback_t cb)
{
if (cb_count < MAX_CALLBACKS_NUMBER)
{
unavailable_callbacks[cb_count++] = cb;
}
}
int monitor_del_unavailable_callback(server_unavailable_callback_t cb)
{
for(int i = 0; i < cb_count; i++)
{
if (unavailable_callbacks[i] == cb)
{
unavaiable_callbacks[i] = NULL;
}
}
}
int monitor_check_server_status(server_t *servers, int count)
{
while(1)
{
for(int i =0; i < count; i++)
{
if (is_server_unavailable(&servers[i]))
{
for (int i = 0; i < cb_count; i++)
{
if (unavailable_callbacks[i] != NULL)
{
unavailable_callbacks[i](&servers[i])
}
}
}
}
sleep(1);
}
}
这样实现就完全解决了上面提到的两个问题：
- 不依赖于任何模块，测试开发独立进行，都是只是进行联调就可以
- 如果需要通知更多的模块，根本不需要修改代码，只是在初始化的时候添加callback就可以了。
