用枚举定义状态、局部变量记录当前状态、条件判断响应事件并显式赋值跳转,动作与跳转分离,辅以进入/退出标记和日志,实现轻量清晰的有限状态机。

直接在方法内部用普通代码块实现有限状态机,核心是“状态变量 + 条件判断 + 显式赋值”,不依赖框架、不抽象类、不引入额外结构,适合轻量逻辑或临时控制流。关键不是写得多,而是让状态流转意图清晰、不易跳错、便于调试。
用枚举定义状态,避免魔法数字
状态必须可读、可枚举、编译期可检查。用 enum 而非 int 或字符串,防止拼错、越界或类型混淆。
- 定义简洁明了的状态集合,例如:
enum State { IDLE, WAITING, PROCESSING, DONE } - 声明一个局部变量承载当前状态:
State currentState = State.IDLE; - 所有状态变更都通过赋值完成,不隐式推导,如
currentState = State.PROCESSING;
用 if/else 或 switch 控制事件响应与跳转
每个输入(事件)到来时,在当前状态下决定是否响应、执行什么动作、是否跳转。推荐 switch(C/C++/Java/C#)或 if-else 链(Python/JS),保持分支与状态一一对应。
- 先判断当前状态,再根据事件类型做处理,例如:
if (currentState == State.WAITING && event == EVENT_START) - 跳转前可插入校验逻辑,比如拒绝非法转移:
if (currentState == State.DONE) return; // 终态不可再触发 - 每次跳转后建议加日志或断言,方便追踪:
System.out.println("→ " + currentState);
把动作和跳转分离,避免混在一起
一个状态块里,先执行该状态下的动作(如计算、IO、通知),再统一处理跳转逻辑。这样动作不会因跳转提前中断,也利于后续提取为独立函数。
- 错误写法:
if (event == TIMEOUT) { cleanup(); currentState = State.IDLE; return; }(过早退出,遗漏后续动作) - 推荐写法:在 switch 分支中,先调用
onProcessing(),再根据条件设currentState = State.DONE; - 终态可设 guard,例如
if (currentState == State.DONE) break;防止误入后续逻辑
用局部变量模拟“进入/退出”语义
虽无完整 FSM 框架,但可通过变量标记状态生命周期。例如用布尔标志记录是否已进入某状态,或用计数器防重复初始化。
- 进入某状态时置标志:
if (currentState == State.PROCESSING && !enteredProcessing) { initResource(); enteredProcessing = true; } - 退出前清理:
if (prevState == State.PROCESSING && currentState != State.PROCESSING) { releaseResource(); } - 用临时变量暂存上一状态,支持回退或审计:
State prevState = currentState;

















