如何声明返回同类型函数指针的函数以实现函数指针驱动状态机

首先需要明确的核心语法限制：C语言不支持直接声明「返回值为自身同类型函数指针」的函数，因为这种递归自引用的类型会形成无限嵌套的类型定义，编译器无法解析出有限的类型边界。你之前尝试用void*做返回值本质上就是在绕这个限制，但存在数据指针与函数指针跨类型转换的未定义行为风险，同时代码里还有几个冗余逻辑需要修正。

标准兼容的实现思路 #

通过两层typedef的桥接结构绕开递归类型限制，全程使用函数指针类型做转换（避免void*数据指针和函数指针互转的合规问题），整个类型链形成可终止的有限定义，完全满足C语言标准要求：

• 第一层定义桥接用的通用函数指针类型：指向「接收LiquidCrystal_I2C参数、无返回值」的通用函数
• 第二层定义真实状态函数的统一签名：入参为LiquidCrystal_I2C类型的LCD对象，返回值为上面定义的桥接函数指针类型
• 所有状态函数返回时，将目标状态函数的指针强转为桥接类型即可，主循环接收返回值后再强转回真实的状态函数类型，完成状态切换

这种桥接写法没有额外运行时开销，完全适配MCU等资源有限的嵌入式硬件场景。

你现有代码的核心修正点 #

• 移除冗余的全局pNextF变量：状态机的跳转目标本来就应该通过状态函数的返回值直接传递，在状态函数内部给全局变量赋值的逻辑完全多余，还会增加全局耦合
• 去掉状态函数内部的阻塞while(myFlags->idle)循环：嵌入式LCD场景下的阻塞循环会卡死按键扫描、传感器采样逻辑，正确的做法是状态函数执行完当前的LCD渲染、数据处理逻辑就直接返回，没有触发跳转时返回自身即可
• 替换原有的void*返回值定义：void*是数据指针类型，C标准不保证数据指针和函数指针可以安全互转，部分平台（如64位x86）上两种指针长度不一致，会直接引发运行时崩溃

修正后的可运行代码示例 #

1. 类型与全局变量定义

#include <LiquidCrystal_I2C.h>

// 桥接通用函数指针类型，解决递归类型无法直接声明的问题
typedef void (*StateFuncBridge)(LiquidCrystal_I2C);
// 真实状态函数统一签名：入参为LCD对象，返回桥接类型函数指针
typedef StateFuncBridge (*StateFunc)(LiquidCrystal_I2C);

StateFunc pNowState;
LiquidCrystal_I2C LCD(0x27, 16, 2); // 按实际硬件参数初始化

2. 主循环逻辑

void setup() {
    LCD.init();
    LCD.backlight();
    // 初始化默认状态
    pNowState = (StateFunc)defaultState;
}

void loop() {
    // 执行当前状态逻辑，接收返回的下一个状态
    StateFuncBridge nextState = pNowState(LCD);
    // 类型安全转换后更新当前状态
    pNowState = (StateFunc)nextState;
}

3. 状态函数实现示例

// 前置声明所有关联的状态函数，保证跳转逻辑可识别
StateFuncBridge defaultState(LiquidCrystal_I2C MainLCD);
StateFuncBridge state1(LiquidCrystal_I2C MainLCD);
StateFuncBridge state2(LiquidCrystal_I2C MainLCD);

StateFuncBridge defaultState(LiquidCrystal_I2C MainLCD) {
    // 当前状态的LCD渲染、数据处理逻辑
    MainLCD.clear();
    MainLCD.print("Default Screen");

    // 根据传感器标志位触发状态跳转
    if(myFlags->press1) {
        // 直接返回目标状态函数，强转为桥接类型完成跳转
        return (StateFuncBridge)state1;
    }
    if(myFlags->press2) {
        return (StateFuncBridge)state2;
    }

    // 无跳转触发时返回自身，保持当前状态
    return (StateFuncBridge)defaultState;
}

内容的提问来源于stack exchange，提问作者user14984104