回调函数的一个典型应用就是实现类似C++的泛型算法(Generics Algorithm)。下面实现的max
函数可以在任意一组对象中找出最大值,可以是一组int
、一组char
或者一组结构体,但是实现者并不知道怎样去比较两个对象的大小,调用者需要提供一个做比较操作的回调函数。
/* generics.h */
#ifndef GENERICS_H
#define GENERICS_H typedef int (*cmp_t)(void *, void *);
extern void *max(void *data[], int num, cmp_t cmp); #endif/* generics.c */
#include "generics.h" void *max(void *data[], int num, cmp_t cmp)
{
int i;
void *temp = data[];
for(i=; i<num; i++) {
if(cmp(temp, data[i])<)
temp = data[i];
}
return temp;
}/* main.c */
#include <stdio.h>
#include "generics.h" typedef struct {
const char *name;
int score;
} student_t; int cmp_student(void *a, void *b)
{
if(((student_t *)a)->score > ((student_t *)b)->score)
return ;
else if(((student_t *)a)->score == ((student_t *)b)->score)
return ;
else
return -;
} int main(void)
{
student_t list[] = {{"Tom", }, {"Jerry", },
{"Moby", }, {"Kirby", }};
student_t *plist[] = {&list[], &list[], &list[], &list[]};
student_t *pmax = max((void **)plist, , cmp_student);
printf("%s gets the highest score %d\n", pmax->name, pmax->score); return ;
}
max
函数之所以能对一组任意类型的对象进行操作,关键在于传给max
的是指向对象的指针所构成的数组,而不是对象本身所构成的数组,这样max
不必关心对象到底是什么类型,只需转给比较函数cmp
,然后根据比较结果做相应操作即可,cmp
是调用者提供的回调函数,调用者当然知道对象是什么类型以及如何比较。