13、状态机实现方法解析

状态机实现方法解析

1. 嵌套开关语句实现状态机

1.1 基本原理

嵌套开关语句实现状态机时，初始过渡通过 TRAN() 宏将状态更改为“setting”状态。通用状态机接口的 dispatch() 函数用于向状态机分发一个事件。

其实现逻辑主要依赖两层 switch 语句：
- 第一层 switch 语句基于标量状态变量 me->state 进行判别，每个状态对应一个 case 语句。
- 第二层 switch 语句在每个状态内，基于事件信号 e->sig 进行判别。

例如，内部过渡 UP 被编码为嵌套的 case 语句，保护条件通过 if 语句编码，与过渡相关的动作直接编码。每个事件 case 的处理必须以 break 语句终止，状态过渡通过重新分配状态变量实现，这里借助 TRAN() 宏。

1.2 代码示例

虽然文档未给出完整代码示例，但可以简单示意如下：

// 假设的状态和信号枚举
typedef enum {
    STATE_SETTING,
    STATE_TIMING,