20、状态机开发：QEP 与状态模式的深度解析

状态机开发：QEP 与状态模式的深度解析

1. 状态转换与参数处理

在状态机开发中，状态转换和参数处理是常见的问题。例如，从 “stateA” 到 “stateB” 的转换只能由 EVTB_SIG 触发。在进入 “stateB” 时，程序员可能需要访问与 EVTB_SIG 关联的 EvtB 结构中的参数 foo。然而，直接将通用事件转换为 (EvtB const *) 是错误的，因为进入 “stateB” 时，原始的触发事件 EvtB 已无法访问。实际上，进入动作是由保留信号 Q_ENTRY_SIG 触发的，它与 EvtB 事件结构无关。

正确的处理方式有两种：
- 在由该事件触发的转换上直接执行依赖于事件参数的操作，而不是在进入动作中执行。
- 将事件参数存储在扩展状态变量中，这些变量可以通过 “me” 指针访问，并且在进入/退出动作或初始转换中都可以使用。

2. 初始转换的目标状态

初始转换必须指向定义该初始转换的状态的直接或间接子状态。以下是正确和错误初始转换的示例：
| 类型 | 示例 |
| ---- | ---- |
| 正确 | 初始转换跨越多个状态层次，但始终指向给定状态的直接或间接子状态 |
| 错误 | 如 “stateA1” 的初始转换指向 “stateA21”，而 “stateA21” 不是 “stateA1” 的子状态，这种状态机根据 UML 语义是格式错误的，在 QEP 中编码会导致事件处理器崩溃 |

3. switch 语句外的代码问题

在使用 QEP 时，每个通过 QHsm_dispatch() 函数调度的事件可能会导致调