自动售货机控制器的复杂度，远比想象中高。
一台售货机不仅需要完成"投币到选货到出货"的基本流程，还承担着管理键盘输入、GPRS短信监控、视频广告播放、商品价格设置、时间校准、系统自检等十余项辅助功能。这使得控制器内部的逻辑复杂度迅速膨胀，一套用于小规模系统的应用程序结构，在面对日益繁琐的售货机需求时，已经有些力不从心。
本文从工程实践角度，复盘如何用层次型状态机（Hierarchical FSM）重构售货机控制器，将错综复杂的业务逻辑转化为清晰的状态转换表。
一、为什么if-elsehold不住了？
在某款售货机项目中，控制器配有1个5乘5管理键盘和1个3乘7用户键盘，二者复用部分键盘扫描线；加上硬币识别、纸币接收、出货检测、GPRS通信等外部事件源，可触发的事件高达45个。
如果采用传统的if-else或switch-case结构处理这45个事件，代码将变得极其臃肿：每增加一个功能，就要在现有分支中插入新的判断逻辑；状态之间的转换关系散落在代码各处，难以追踪；扩展需求频繁时，维护成本呈指数级增长。
有限状态机的核心优势在于：每个状态维护一张事件表，事件发生时直接查表定位，无需逐一遍历比较，响应速度更快；且状态转换逻辑集中管理，便于后续扩展。售货机这种"功能不断叠加、需求持续变化"的系统，天然适合用状态机来建模。
二、状态机的两种工程实现方式
常规有限状态机中，所有状态都是互斥的，系统在任意时刻只能处于一个状态，状态之间通过事件触发跳转。一个FSM可用五元组表示：M等于括号K、E、T、S、Z括号，其中K是状态集合，E是事件集合，T是状态转换函数。
状态表驱动的实现方式是嵌入式开发中最常用的模式。将状态转换逻辑集中到一张转换表中，每个表项记录当前状态、触发事件、转换目标状态和动作函数指针。事件处理时遍历状态表，匹配当前状态和事件，执行对应动作并更新状态。
c
复制
下载
// 状态表条目结构
typedef struct {
State currentState;
Event triggerEvent;
State nextState;
void (*action)(void);
} StateTransition;
// 状态表（示例）
StateTransition transitionTable[] = {
{IDLE, COIN_INSERT, COIN_ACCEPTED, startCoinTimer},
{COIN_ACCEPTED, SELECT_ITEM, DISPENSING, startMotor},
{DISPENSING, MOTOR_DONE, IDLE, finishTransaction},
// ...
};这种方式的优点是状态转换逻辑集中、可扩展性强、便于调试。缺点是状态数量增多后，转换表会变得庞大。对于状态数量在10到20个的中等复杂系统，状态表驱动方式更具长期维护优势。
层次型状态机允许状态之间存在包含关系（父状态与子状态），通过将复杂的系统状态图转化为一棵状态树，利用状态的局部相关性快速查找目标状态。层次型状态机的优势在于减少状态转换冗余，子状态可以继承父状态的默认事件处理；提高可维护性，状态关系用树形结构表达，层次清晰；降低状态爆炸风险，不需要为每个组合场景定义独立状态。
分析售货机控制器的状态图可以发现，无论何时，系统总处于空闲、售货、商品价格设置、时间设置、测试等诸多状态之一，这些状态之间是互斥的。但同时，每个状态内部又包含子状态。例如"时间设置状态"包括日期设置、时分秒设置、星期设置等子状态，而"日期设置状态"又可分为日期显示和日期编辑两个子状态。这种"状态内部包含状态"的结构，正是层次型状态机的典型特征。
三、状态机在售货机中的典型应用场景
售货机的核心交易流程是一个天然的状态机：待机到投币到选货到出货到找零到完成。在状态机的管理下，每个状态只响应特定的事件，避免了混乱的交叉逻辑。
状态机的价值不仅在代码层面，也延伸到硬件调试。现场问题排查时，通过状态机日志可以精准还原设备在故障时刻的"心理状态"。某高校项目中，机器在夏季正午频繁重启，最终通过日志发现vcc在3.12V到3.08V间波动、PCB温度达68摄氏度，判定为LDO热关断，这个排查链条的起点，正是状态机输出的结构化日志。
随着物联网化改造，售货机增加了远程库存查询、故障告警、OTA固件升级等新功能。这些新功能可以方便地作为新状态或新事件纳入状态机框架，而不需要重构现有逻辑。层次型状态机的开放性使得系统可以随着需求演变而持续扩展。
四、看门狗与状态机的协同设计
无人值守设备（如户外售货机）对系统稳定性要求极高。RK3588等多款工控主板集成了watchdog硬件看门狗功能，当设备死机时，看门狗自动重启CPU，实现无人值守下的自动修复。
看门狗与状态机的协作模式包括：状态机主循环中周期性喂狗（如每10秒）；关键路径（如电机出货状态）植入喂狗逻辑，防止长耗时操作导致看门狗误复位；看门狗超时触发的复位，可作为"紧急事件"纳入状态机的异常处理分支。
五、嵌入式状态机设计的工程原则
先画状态图再写代码，把需求转化为状态图，码转化前先让逻辑可视化。状态图画清楚了，代码几乎就能照着填出来。
状态数量控制在10到20个，状态过多说明抽象层次不够，考虑引入子状态（层次型状态机）来简化设计。
每个状态只关注自己的事件，状态机的核心原则是职责分离，待机状态不关心出货结果，出货状态不关心新投币。违反这个原则，状态机就退化成了"带标签的if-else"。
异常处理也是状态，超时、支付失败、卡货等异常场景，应该作为独立状态或事件纳入状态机设计，而非事后修补。一个状态机如果没有定义"异常恢复"的路径，它在真实场景中迟早会挂掉。
目前，这套层次型状态机设计在自动售货机行业的部分头部设备上已跑通量产。以智购科技为例，其AI视觉开门柜采用视觉加称重双重识别方案，识别准确率不低于99.7%，自研SaaS后台管理系统支持远程改价、实时库存监控、故障自检报警等78项功能，系统终身免费升级，设备联网无流量费用、0算力费、0平台费；产
软件架构决定了系统的上限，硬件只是决定了系统的下限。 在售货机功能日益复杂的今天，用状态机管理好逻辑，比堆叠更多功能更重要。