从洗衣机到单片机：用生活例子秒懂状态机，在STC89C52上做个自动售货机模型

从洗衣机到单片机：用生活例子秒懂状态机，在STC89C52上做个自动售货机模型

每次按下洗衣机的启动按钮，它都会按照"浸泡→洗涤→漂洗→脱水"的固定流程运转——这种看似简单的机械行为，背后隐藏着状态机的精妙设计。状态机就像一位经验丰富的管家，它清楚地知道在什么情况下该做什么事，并且严格按照预设的规则行动。今天，我们就从这些生活场景出发，用STC89C52单片机搭建一个趣味十足的自动售货机模型，让抽象的状态机概念变得触手可及。

1. 生活中的状态机课堂

1.1 洗衣机的状态舞蹈

观察一台全自动洗衣机的工作流程，我们会发现它总是在几个固定状态间切换：

• 待机状态：显示屏亮着，等待用户操作
• 注水状态：进水阀打开，水位传感器监测水量
• 洗涤状态：电机正反转交替运行
• 排水状态：水泵启动，水位下降
• 脱水状态：高速旋转甩干衣物

这些状态之间的转换并非随意发生。例如，只有当"水位达到设定值"这个条件满足时，才会从注水状态切换到洗涤状态。这种"状态-条件-动作"的对应关系，正是状态机的核心特征。

1.2 交通信号灯的节奏大师

路口的红绿灯是另一个经典案例。一个标准的双向交通灯包含以下状态组合：

这个系统会按照S0→S1→S2→S3的顺序循环切换，每个状态的持续时间由定时器控制。如果我们在深夜为它增加一个"黄灯闪烁"的特殊状态，就扩展出了一个更智能的状态机。

2. 状态机的三大核心要素

2.1 状态定义的艺术

在设计状态机时，首先要明确系统的所有可能状态。以我们即将制作的自动售货机为例，可以考虑以下状态：

typedef enum { IDLE, // 待机状态 COIN_INSERTED, // 投币状态 ITEM_SELECTED, // 选择商品 DISPENSING, // 出货中 CHANGE_GIVING // 找零中 } VendingState;

关键技巧：状态划分要遵循"互斥且完备"原则，即任何时候系统只处于一个明确状态，且所有可能情况都被覆盖。

2.2 触发事件的识别

事件是状态转换的催化剂。在售货机系统中，典型事件包括：

• 硬币投入（COIN_IN事件）
• 商品按钮按下（SELECT事件）
• 出货完成（DISPENSE_DONE事件）
• 找零完成（CHANGE_DONE事件）

2.3 状态转移图的绘制

用图形化方式表示状态转换逻辑会更加直观：

[IDLE] --COIN_IN--> [COIN_INSERTED] [COIN_INSERTED] --SELECT--> [ITEM_SELECTED] [ITEM_SELECTED] --DISPENSE--> [DISPENSING] [DISPENSING] --DISPENSE_DONE--> [CHANGE_GIVING] [CHANGE_GIVING] --CHANGE_DONE--> [IDLE]

这个简单的有向图清晰地展示了状态之间的转换路径和触发条件。

3. STC89C52硬件准备

3.1 所需材料清单

制作售货机模型需要以下组件：

• STC89C52RC单片机最小系统板
• 5个LED灯（分别表示：电源、投币、选择、出货、找零）
• 2个轻触按键（模拟投币和选择）
• 1位数码管（显示金额）
• 面包板和杜邦线若干

3.2 硬件连接示意图

关键引脚连接配置：

4. 售货机状态机实现详解

4.1 状态枚举与变量定义

首先在代码中定义状态机和相关变量：

#include <reg52.h> // 状态定义 typedef enum { IDLE, COIN_INSERTED, ITEM_SELECTED, DISPENSING, CHANGE_GIVING } VendingState; // 事件定义 typedef enum { NO_EVENT, COIN_IN, SELECT, DISPENSE_DONE, CHANGE_DONE } VendingEvent; VendingState currentState = IDLE; unsigned char balance = 0; // 当前余额

4.2 状态转移函数实现

核心状态处理逻辑如下：

void handleVendingState(VendingEvent event) { switch(currentState) { case IDLE: if(event == COIN_IN) { balance += 1; // 每次投币增加1元 P1 = 0x02; // 点亮投币LED currentState = COIN_INSERTED; } break; case COIN_INSERTED: if(event == COIN_IN) { balance += 1; } else if(event == SELECT && balance >= 3) { P1 = 0x04; // 点亮选择LED currentState = ITEM_SELECTED; } break; case ITEM_SELECTED: if(event == DISPENSE_DONE) { P1 = 0x08; // 点亮出货LED balance -= 3; // 商品价格3元 currentState = DISPENSING; } break; case DISPENSING: if(event == CHANGE_DONE) { P1 = 0x10; // 点亮找零LED currentState = CHANGE_GIVING; } break; case CHANGE_GIVING: if(balance == 0) { P1 = 0x01; // 返回待机状态 currentState = IDLE; } else { balance--; // 逐个退币 } break; } // 更新数码管显示 P2 = balance; }

4.3 主循环与事件检测

在主程序中不断检测按键事件：

void main() { P1 = 0x01; // 初始化电源LED亮 while(1) { if(P3_2 == 0) { // 投币按键按下 delayMs(20); // 消抖处理 if(P3_2 == 0) { handleVendingState(COIN_IN); while(!P3_2); // 等待按键释放 } } if(P3_3 == 0 && currentState == COIN_INSERTED) { // 选择按键 delayMs(20); if(P3_3 == 0 && balance >= 3) { handleVendingState(SELECT); // 模拟出货过程 delayMs(1000); handleVendingState(DISPENSE_DONE); // 模拟找零过程 delayMs(500); handleVendingState(CHANGE_DONE); while(!P3_3); } } } }

5. 状态机优化技巧

5.1 使用状态表简化逻辑

对于复杂状态机，可以用查表法替代switch-case：

typedef struct { VendingState current; VendingEvent event; void (*action)(void); VendingState next; } StateTransition; const StateTransition stateTable[] = { {IDLE, COIN_IN, addCoin, COIN_INSERTED}, {COIN_INSERTED, COIN_IN, addCoin, COIN_INSERTED}, {COIN_INSERTED, SELECT, selectItem, ITEM_SELECTED}, // 其他状态转换规则... }; void processEvent(VendingEvent event) { for(int i=0; i<sizeof(stateTable)/sizeof(stateTable[0]); i++) { if(stateTable[i].current == currentState && stateTable[i].event == event) { stateTable[i].action(); currentState = stateTable[i].next; break; } } }

5.2 添加超时保护机制

为防止系统卡死在某个状态，需要添加超时检测：

unsigned int timeoutCounter = 0; void checkTimeout() { timeoutCounter++; if(timeoutCounter > MAX_TIMEOUT) { // 复位到安全状态 currentState = IDLE; timeoutCounter = 0; P1 = 0x01; // 仅电源LED亮 } }

在状态处理函数中，每次状态转换时重置超时计数器。

5.3 引入层次化状态机

当系统复杂度增加时，可以采用层次化状态机设计：

// 顶层状态 typedef enum { OPERATIONAL, MAINTENANCE, ERROR } TopLevelState; // 运行子状态 typedef enum { NORMAL, PROMOTION, TEST } OperationalState; TopLevelState topState; OperationalState opState;

这种设计允许在不同层次处理不同粒度的状态逻辑，大大提升复杂系统的可管理性。