函数指针数组：定义、应用

好，咱们继续往下走。上一章聊了函数指针，这次咱们把它放进数组里——函数指针数组。说实话，我第一次看到这个名词时，心里想的是：“指针都够绕了，还数组？”但后来我发现，这东西在实际项目中简直是个宝贝。

什么是函数指针数组？

说白了，就是一个数组，里面每个元素都是函数指针。定义起来长这样：

// 定义一个函数指针类型
typedef int (*operation_t)(int, int);

// 定义一个函数指针数组
operation_t ops[4];

或者直接写：

int (*func_array[4])(int, int);

嗯，第二种写法看着有点吓人。我个人习惯用 typedef，代码可读性会好很多。你想想看，如果项目里有一堆函数指针，每次都写 int (*xxx)(int, int)，维护的人不骂娘才怪。

初始化与调用

假设我们有四个数学运算函数：

int add(int a, int b) { return a + b; }
int sub(int a, int b) { return a - b; }
int mul(int a, int b) { return a * b; }
int div_op(int a, int b) { return b ? a / b : 0; }

// 初始化数组
operation_t ops[4] = {add, sub, mul, div_op};

// 调用
int result = ops[2](10, 5);  // 调用 mul(10, 5)，结果是50

这里要注意：数组下标从0开始，ops[2] 对应的是 mul。我在项目中遇到过有人把下标搞混，结果加法变成了除法，调试了半天才发现是数组索引写错了。

应用场景一：状态机

状态机是嵌入式系统里的常客。我以前做的一个物联网项目，设备有5种状态：初始化、待机、采集、发送、休眠。每个状态对应一个处理函数。

用函数指针数组来实现，代码会非常干净：

typedef enum {
    STATE_INIT,
    STATE_IDLE,
    STATE_COLLECT,
    STATE_SEND,
    STATE_SLEEP,
    STATE_MAX
} state_t;

// 状态处理函数
void state_init(void)    { /* 初始化硬件 */ }
void state_idle(void)    { /* 等待指令 */ }
void state_collect(void) { /* 采集传感器数据 */ }
void state_send(void)    { /* 发送数据到服务器 */ }
void state_sleep(void)   { /* 进入低功耗模式 */ }

// 函数指针数组
void (*state_handlers[STATE_MAX])(void) = {
    state_init,
    state_idle,
    state_collect,
    state_send,
    state_sleep
};

// 状态机主循环
state_t current_state = STATE_INIT;
while(1) {
    state_handlers[current_state]();  // 调用当前状态的处理函数
    // 根据返回值或条件切换状态
    current_state = get_next_state(current_state);
}

你看，主循环就一行调用。新增状态时，只需要加一个枚举值和一个函数，然后塞进数组里。我曾经用这个模式重构过一个2000行的switch-case状态机，最后代码量砍了一半，可读性还提升了。

应用场景二：菜单驱动

带屏幕的嵌入式设备，比如智能家电、仪器仪表，经常需要菜单系统。每个菜单项对应一个操作——可能是进入子菜单、执行功能、或者返回上一级。

用函数指针数组来实现菜单驱动，是我个人比较喜欢的方式：

typedef struct {
    const char *name;           // 菜单项名称
    void (*handler)(void);      // 菜单项对应的处理函数
    int submenu_index;          // 子菜单索引，-1表示无子菜单
} menu_item_t;

// 菜单项处理函数
void menu_do_nothing(void) { /* 空操作 */ }
void menu_enter_setting(void) { /* 进入设置界面 */ }
void menu_start_calibrate(void) { /* 开始校准 */ }
void menu_show_info(void) { /* 显示设备信息 */ }

// 主菜单
menu_item_t main_menu[] = {
    {"设置",     menu_enter_setting,  1},
    {"校准",     menu_start_calibrate, -1},
    {"信息",     menu_show_info,       -1},
    {"返回",     menu_do_nothing,      -1}
};

// 子菜单
menu_item_t setting_menu[] = {
    {"亮度",     menu_set_brightness,  -1},
    {"音量",     menu_set_volume,      -1},
    {"返回",     menu_do_nothing,      0}  // 返回主菜单
};

// 菜单导航
void navigate_menu(menu_item_t *menu, int selection) {
    menu[selection].handler();  // 执行功能
    if (menu[selection].submenu_index >= 0) {
        // 进入子菜单
        navigate_menu(submenus[menu[selection].submenu_index], 0);
    }
}

嗯，这里要注意：子菜单的索引管理要小心。我曾经在一个项目里把子菜单索引写错了，导致按“返回”却跳到了“校准”界面，用户差点以为设备坏了。

函数指针数组 vs switch-case

很多人会问：用switch-case不也能实现状态机和菜单吗？为什么非要用函数指针数组？

我拿一个实际项目的数据来说话：

对比项	switch-case	函数指针数组
代码行数（10个状态）	约80行	约40行
新增状态工作量	修改switch语句+添加case	添加函数+数组项
执行效率	O(n)（编译器可能优化为跳转表）	O(1)（直接查表）
可维护性	状态多时代码臃肿	结构清晰，易于扩展

说白了，状态少的时候switch-case够用。但一旦超过5个状态，函数指针数组的优势就出来了。我在一个工业控制项目里用过32个状态的状态机，如果用switch-case，那个函数得写上千行——想想就头疼。

函数指针数组的局限

当然，它也不是万能的。有几点要注意：

• 所有函数签名必须一致：数组里的函数指针类型必须相同，参数和返回值都得一样。如果函数签名不同，就得用 void* 做参数，或者用联合体包装。
• 数组大小固定：C语言数组是静态的，运行时不能动态增减。如果状态数量会变化，考虑用链表或者动态数组。
• 调试相对麻烦：函数指针数组调用时，调试器可能只显示一个地址，不会直接告诉你调的是哪个函数。我一般会在每个状态函数入口加一个调试打印。

知识结构图

下面这张图总结了函数指针数组的核心知识点，我把它画成了流程图，方便你理解整体脉络：

小结

函数指针数组，说白了就是把“选择执行哪个函数”这件事，从代码逻辑里抽出来，放到数据里。数据驱动设计，是嵌入式系统里一个很重要的思想。状态机、菜单驱动只是两个典型例子，你还可以用它实现命令解析器、协议处理器、插件系统等等。

下次写代码时，如果看到一长串的if-else或者switch-case，不妨想想：能不能用函数指针数组来重构？代码会变得更干净，也更容易扩展。

---