📚 课程目录第4章 C语言函数指针与回调机制

4. C语言函数指针与回调机制：函数指针声明、回调函数注册、函数指针数组

函数指针，说白了就是指向函数的指针。很多嵌入式工程师刚接触时觉得它绕，其实它就是个地址——函数在内存中的入口地址。我当年做Bootloader时，第一次用函数指针实现多协议跳转，才真正体会到这东西的威力。

4.1 函数指针的声明与使用

先看最基本的声明语法。声明一个函数指针，需要指明返回类型和参数列表：

// 声明一个函数指针类型
typedef int (*CompareFunc)(int a, int b);

// 或者直接声明变量
int (*cmp)(int, int);

这里有个容易混淆的点：*cmp 的括号不能省。去掉括号就变成了返回 int* 的函数声明，完全是两码事。我见过不少同事在这个细节上翻车。

赋值和调用其实很直观：

int max(int x, int y) {
    return (x > y) ? x : y;
}

int main() {
    int (*fp)(int, int) = max;   // 函数名就是地址
    int result = fp(3, 5);       // 等价于 max(3, 5)
    printf("max = %d\n", result);
    return 0;
}

小技巧：取地址符 & 在函数指针赋值时可写可不写。写 fp = &max 和 fp = max 效果完全一样。我个人习惯不写，少敲两下键盘。

4.2 回调函数注册机制

回调机制是函数指针最经典的应用场景。它的核心思路是：你写一个函数，把它的地址注册到某个框架或驱动里，等特定事件发生时，框架反过来调用你的函数。

我举个实际例子。做嵌入式测试桩时，经常需要模拟外设中断：

// 定义回调函数类型
typedef void (*IrqHandler)(uint32_t irq_num);

// 注册表
static IrqHandler irq_table[32];

// 注册接口
void irq_register(uint32_t irq_num, IrqHandler handler) {
    if (irq_num < 32 && handler != NULL) {
        irq_table[irq_num] = handler;
    }
}

// 触发中断（模拟）
void irq_trigger(uint32_t irq_num) {
    if (irq_num < 32 && irq_table[irq_num] != NULL) {
        irq_table[irq_num](irq_num);  // 调用注册的回调
    }
}

// 用户实现
void my_uart_handler(uint32_t irq) {
    printf("UART IRQ %d handled\n", irq);
}

// 注册
irq_register(10, my_uart_handler);

  关键点：注册回调时一定要做 NULL 检查。我曾经在一个量产项目上，因为某个模块没注册回调就触发了中断，直接导致系统跑飞。从那以后，我所有回调调用前都加判空。

4.3 函数指针数组

当你有多个相似功能的函数时，函数指针数组就派上用场了。它本质上是一个数组，每个元素都是一个函数指针。

看一个状态机跳转的例子：

// 状态处理函数
void state_idle(void)    { printf("Idle\n"); }
void state_run(void)     { printf("Run\n"); }
void state_error(void)   { printf("Error\n"); }

// 函数指针数组
void (*state_table[])(void) = {
    state_idle,
    state_run,
    state_error
};

// 使用
int current_state = 0;  // 假设当前是 Idle
state_table[current_state]();  // 调用 state_idle

这种写法比 switch-case 优雅得多。尤其是状态多的时候，维护一个数组比改 switch 语句方便多了。

特性	switch-case	函数指针数组
代码行数	随状态数线性增长	固定，只需维护数组
扩展性	需修改函数体	只需添加数组元素
执行效率	编译器优化后接近	直接索引，略快
可读性	直观，适合少量分支	适合大量状态

注意：函数指针数组的索引一定要做边界检查。我曾经接手过一个项目，因为状态值越界，调到了数组外的地址，结果执行了随机代码。这种 bug 极难定位。

4.4 知识结构图

下面这张图梳理了函数指针与回调机制的核心脉络：

4.5 实战中的避坑指南

函数指针用起来方便，但坑也不少。我总结几个常见问题：

类型不匹配：回调函数的参数类型、个数、返回值必须和声明完全一致。我曾经因为一个 uint32_t 和 int 的差异，在 ARM Cortex-M 上调试了整整一天。
生命周期问题：注册的回调函数如果是在某个模块内部定义的局部函数，模块卸载后指针就悬空了。确保回调函数的生命周期长于注册表。
重入问题：回调函数里如果又触发了同一个事件，可能造成递归调用。我建议在回调入口加一个重入标志。
调试困难：函数指针调用在调试器里不容易跟踪。我的习惯是在回调函数入口加一个日志打印，方便定位问题。

调试技巧：在 IDE 的 Watch 窗口里，可以直接查看函数指针的值。如果显示 0x00000000 或者乱码，说明指针没初始化或者已经被破坏。

函数指针和回调机制，说白了就是「把函数当作数据来传递」。这个思想在嵌入式测试桩里特别有用——你可以动态替换某个模块的实现，而不需要改调用方的代码。嗯，掌握了这个，后面做接口调试就顺手多了。