C 语言函数指针：回调函数的实现与应用

函数指针不仅是 C 语言中存储代码地址的变量，更是实现“钩子”机制、解耦模块逻辑的核心工具。通过函数指针，我们可以将一段可执行的代码像参数一样传递给另一个函数，这就是回调函数的本质。

第一阶段：理解函数指针的声明与赋值

在使用回调函数之前，必须先掌握如何定义和指向一个函数。函数指针的声明语法乍看之下有些复杂，但只要抓住“返回值”和“参数列表”两个核心要素即可。

1. 分析目标函数的签名。
   假设有一个比较两个整数的函数 compare，它接收两个 int 参数，返回一个 int 结果。

   int compare(int a, int b);

2. 声明一个匹配该签名的函数指针。
   规则是：返回类型 (*指针名)(参数类型列表)。

   int (*pCompare)(int, int);

   注意 (*pCompare) 两侧的括号不能省略，否则会变成返回指针的函数声明。

3. 将函数地址赋值给指针。
   函数名在表达式中通常会退化为指向该函数的指针。

   pCompare = compare;
   // 或者显式取地址
   pCompare = &compare;

4. 通过指针调用函数。
   调用方式与直接调用函数名几乎一致。

   int result = pCompare(10, 20);

第二阶段：实现通用回调逻辑

回调函数的实际价值在于“定义”与“执行”的分离。下面实现一个通用的“数据处理”框架，它不关心具体的数据处理逻辑，只负责调用你传入的处理函数。

1. 定义回调函数的类型。
   假设我们需要处理整数，回调函数接收一个 int，无返回值。

   // 回调函数具体实现：打印数值
   void printNumber(int num) {
       printf("Number: %d\n", num);
   }
   
   // 回调函数具体实现：计算平方并打印
   void printSquare(int num) {
       printf("Square: %d\n", num * num);
   }

2. 编写调用者函数（中间层）。
   这个函数接收一个整数数组、数组长度，以及一个函数指针。

   void processArray(int* arr, int size, void (*callback)(int)) {
       for (int i = 0; i < size; i++) {
           // 在此处调用传入的回调函数
           callback(arr[i]);
       }
   }

3. 在主函数中组装逻辑。

   int main() {
       int data[] = {1, 2, 3, 4, 5};
       int length = sizeof(data) / sizeof(data[0]);
   
       // 场景一：只需要打印
       processArray(data, length, printNumber);
   
       printf("---\n");
   
       // 场景二：需要计算平方
       processArray(data, length, printSquare);
   
       return 0;
   }

   在这个例子中，processArray 是通用的，具体的业务逻辑（打印还是计算）完全由调用者通过回调函数决定。

第三阶段：应用标准库排序 (qsort)

C 标准库中的 qsort 是回调函数最经典的应用案例。它需要你提供一个“比较规则”来决定元素的排序顺序。

1. 查看 qsort 的函数原型。
   它位于 <stdlib.h> 中。

   void qsort(void *base, size_t nmemb, size_t size,
              int (*compar)(const void *, const void *));

   核心在于最后一个参数 compar，这是一个指向比较函数的指针。

2. 实现比较函数。
   该函数接收两个 const void* 指针（指向待比较的元素），返回整数：

   • 小于 0：第一个元素小于第二个
   • 等于 0：两元素相等
   • 大于 0：第一个元素大于第二个

     
     #include <stdlib.h>
     #include <stdio.h>

   int compareInts(const void a, const void b) {
   int val1 = (const int)a;
   int val2 = (const int)b;

   if (val1 < val2) return -1;
   if (val1 > val2) return 1;
   return 0;

   }

3. 调用 qsort 进行排序。

   int main() {
       int numbers[] = {40, 10, 100, 90, 20, 25};
       int n = sizeof(numbers) / sizeof(numbers[0]);
   
       // 传递数组、元素个数、元素大小、比较回调
       qsort(numbers, n, sizeof(int), compareInts);
   
       // 验证结果
       for (int i = 0; i < n; i++) {
           printf("%d ", numbers[i]);
       }
       // 输出: 10 20 25 40 90 100
       return 0;
   }

第四阶段：回调函数的执行流程

为了更清晰地理解主程序、中间库函数与回调函数之间的控制流转，请参考以下逻辑描述。虽然文字可以描述，但在处理复杂的嵌套调用时，图形化的流程更能直观展示“注册-触发-回调”的时机。

第五阶段：进阶技巧——使用 typedef 简化代码

随着项目复杂度增加，直接在参数列表中写函数指针声明（如 int (*)(const void*, const void*)）会严重降低代码可读性。

1. 定义函数指针类型。
   将复杂的指针声明重命名为一个简单的类型名。

   typedef int (*CompareFunc)(const void*, const void*);

2. 使用新类型声明变量或函数参数。
   原先的 qsort 参数声明可以简化为：

   // 自定义排序包装函数
   void mySort(void* base, size_t n, size_t size, CompareFunc compar) {
       // 内部直接调用标准库
       qsort(base, n, size, compar);
   }

   这种写法让函数签名看起来就像使用了普通的数据类型（如 int 或 char），极大地提升了代码的整洁度。