蜘蛛织网：使用二维函数指针数组实现表驱动状态机

最新推荐文章于 2026-06-19 23:26:13 发布

原创最新推荐文章于 2026-06-19 23:26:13 发布 · 427 阅读

2 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

标签

#新人首发 #嵌入式 #状态模式

嵌入式C语言同时被 2 个专栏收录

1 篇文章

订阅专栏

状态机

1 篇文章

订阅专栏

引言

状态机在嵌入式系统、协议解析等场景的核心作用
传统switch-case实现状态机的局限性（冗余、难以维护）
表驱动法的优势：逻辑与数据分离，扩展性高

核心概念解析

状态机三要素：状态（State）、事件（Event）、动作（Action）
二维函数指针数组：
- 定义：void (*FsmTableChart[MAX_STATES][MAX_EVENTS])(void*)
- 索引：行代表当前状态，列代表触发事件，单元存储处理函数
蛛织网隐喻：状态转移路径如同蜘蛛网结构，函数指针表是网的“编织规则”
实现步骤

状态与事件枚举

typedef enum fsm_state
{
    idle =0,
    running,
    pause,
    stop,
}fsm_state_t;

typedef struct fsm_struct
{
    bool (*check)(void);               //触发事件
    void (*init)(void);                //执行动作
    fsm_state_t  fsm_next_state;      //跳转状态
    fsm_state_t  fsm_current_state;   //下一状态
}fsm_struct_t;

函数指针表定义与初始化

const fsm_struct_t FsmTableChart[][3]=
{
  /*状态       分支1： 判断条件，执行动作，跳转状态        分支2： 判断条件，执行动作，跳转状态      分支3： 判断条件，执行动作，跳转状态*/  
   [idle]    = {check_idle,   init_idle,running},        {check_pause,init_pause,stop },     {check_stop, init_stop, idle},
   [running] = {check_running,init_running,pause},       {check_idle, init_idle,idle  },     {check_stop ,init_stop ,idle},
   [pause]   = {check_pause,  init_pause,stop},          {check_idle, init_idle,idle  },     {check_stop ,init_stop ,idle}
}

FsmTableChart[][3],行：表示状态，可以自定义多种状态。列：事件分支，三个大括号里面可以理解为三个分支。即在该状态下，不同的检查函数触发不同的分支。类似于剧本杀多种结局，多条分支的玩法。

状态期间持续动作

定义每个状态的持续动作，这一步的思想为：当处在当前状态时就持续执行当前状态动作。比如：处于空闲状态（IDLE），持续监测信号；处于运行状态（RUNNING），持续计算PID；处于停止状态（STOP），持续监测唤醒信号等等；

void (*State_inits_Func[])()=      //定义状态机当前状态执行函数,该函数数组与状态一一对应
{
    acting_idle, acting_running, acting_pause, acting_stop
};

状态机引擎实现（放入轮询或者定时器）

fsm_struct_t FsmPublicTask={
    .check=NULL,
    .init =NULL,
    .fsm_next_state =idle,
    .fsm_current_state=idle,
    
};

void Fsm_task_Polling()
{
    State_inits_Func[FsmPublicTask.fsm_current_state]();   //进入循环执行
    for(int i=0;i<3;i++)
    {
        if(FsmTableChart[FsmPublicTask.fsm_current_state][i].check != NULL)
        {
          if(FsmTableChart[FsmPublicTask.fsm_current_state][i].check() == true)
          {
            if(FsmTableChart[FsmPublicTask.fsm_current_state][i].init!= NULL)
            {
                FsmTableChart[FsmPublicTask.fsm_current_state][i].init();
            }
                FsmPublicTask.fsm_current_state= FsmTableChart[FsmPublicTask.fsm_current_state][i].fsm_next_state;
          }
        }
    }
}