4、状态与转移详解：状态类型（普通、子状态）、转移条件、默认转移、内部转移与外部转移的语法和语义
Stateflow 是 Simulink 中用于设计事件驱动控制逻辑的图形化环境，其核心建模元素是状态（State）与转移（Transition）。在工程实践中，控制逻辑的复杂度往往源于状态之间的交互关系、转移条件的优先级以及状态内部行为的精细控制。本章将深入剖析状态机中最基础也最关键的语法与语义：状态类型（普通状态与子状态）、转移条件、默认转移，以及内部转移与外部转移的区别。理解这些概念是构建可靠、可维护的嵌入式控制逻辑的前提，也是后续学习并行机制、历史节点和函数调用等高级特性的基石。
上图展示了本章的核心概念关系：父状态包含子状态，默认转移决定初始激活的子状态，外部转移导致状态的退出与进入，而内部转移则在不改变状态激活状态的前提下响应事件。下面我们将逐一展开这些概念的语法细节与工程语义。
4.1 状态类型：普通状态与子状态的层次化建模
核心原理
在 Stateflow 中，状态是系统行为的基本存储单元。普通状态（Atomic State）是最简单的状态，它不包含任何子状态，其行为由 entry、during、exit 等动作定义。子状态（Substate）则是指嵌套在父状态（Superstate）内部的状态。父状态可以包含多个互斥（Exclusive）或并行（Parallel）的子状态，从而形成层次化的状态机模型。这种层次化设计允许工程师将复杂的控制逻辑分解为多个可管理的层级，每个层级关注不同的抽象级别。
判断方法
判断一个状态是普通状态还是父状态，只需观察其边界内是否包含其他状态对象。在 Stateflow 编辑器中，父状态通常显示为带有圆角边框的大矩形，内部包含子状态和转移。普通状态则没有内部结构。在建模时，应遵循以下原则：
- 高内聚低耦合：将相互关联的行为封装在同一个父状态中，减少状态间的直接依赖。
- 抽象层级：父状态代表系统的宏观模式（如“运行模式”），子状态代表该模式下的具体阶段（如“加速”、“匀速”、“减速”）。
- 复用性：如果一组状态在多个场景中重复出现，考虑将其封装为子状态，通过父状态实例化复用。
案例拆解
以汽车自动巡航控制系统为例，顶层状态机包含“关闭”、“待机”、“激活”三个父状态。其中“激活”父状态内部包含“匀速控制”、“跟车控制”、“弯道减速”三个子状态。当车辆进入“激活”模式后，默认转移指向“匀速控制”。当雷达检测到前车时，通过外部转移切换到“跟车控制”。这种层次化设计使得每个子状态只需关注自身的控制算法，而父状态负责管理模式切换的公共逻辑（如取消条件）。
4.2 转移条件与默认转移的语义
核心原理
转移定义了状态机从一个状态切换到另一个状态的路径。转移标签的完整语法为：事件 [条件] {条件动作} / 转移动作。其中，事件是触发转移的输入信号；条件是一个布尔表达式，只有条件为真时转移才可能发生；条件动作在条件为真且转移被确认后立即执行；转移动作则在源状态退出之后、目标状态进入之前执行。默认转移是一种特殊的无源转移，它没有源状态，用于指定当父状态首次激活时，应进入哪个子状态。默认转移只能有一个，且必须从父状态边界上的空心圆开始。
操作流程
在 Stateflow 中创建默认转移的步骤如下：
- 在父状态内部，从边界上的空心圆（默认转移起点）拖出一条连线。
- 将连线终点连接到目标子状态的顶部或边界。
- 默认转移的标签通常为空，但也可以添加条件动作，用于初始化子状态所需的变量。
转移条件的优先级遵循“先到先得”原则，即同一时刻多个转移条件为真时，系统根据转移的几何位置（从上到下、从左到右）决定优先级。这要求工程师在布局时有意安排转移的先后顺序。
案例拆解
考虑一个电机控制系统，状态机包含“停止”、“启动”、“运行”三个状态。默认转移指向“停止”。当用户按下启动按钮（事件 START）且电机温度正常（条件 [temp < 80]），则执行条件动作 {start_time = 0;}，随后转移到“启动”状态。在“启动”状态中，若速度达到设定值（条件 [speed >= ref]），则转移到“运行”。若在“运行”中检测到过热（条件 [temp > 95]），则无条件转移到“停止”，并执行转移动作 / alarm = 1;。这个案例展示了事件、条件、条件动作和转移动作的完整配合。
speed == 100.0），因为浮点精度问题可能导致条件永远为假，建议使用阈值区间判断。
4.3 内部转移与外部转移的语法和语义
核心原理
内部转移（Internal Transition）是指源状态和目标状态相同的转移，或者更准确地说，是发生在状态内部、不触发该状态 exit 和 entry 动作的转移。内部转移的标签直接写在状态内部，通常用于响应事件而不改变状态激活状态的情况。外部转移（External Transition）则是标准的源状态到目标状态的转移，会依次执行源状态的 exit 动作、转移动作、目标状态的 entry 动作。理解两者的区别对于避免不必要的状态重入和变量重置至关重要。
对比分析
| 对比维度 | 内部转移 | 外部转移 |
|---|---|---|
| 语法位置 | 标签写在状态内部，无连线 | 带箭头的连线，连接源与目标状态 |
| 执行动作 | 仅执行条件动作和转移动作，不执行 exit/entry | 执行 exit → 转移动作 → entry |
| 状态激活 | 状态保持激活，内部数据不重置 | 状态退出后重新进入，内部数据可能被 entry 动作重置 |
| 典型应用 | 事件计数、定时器刷新、中断处理 | 模式切换、状态机推进 |
案例拆解
在一个通信协议处理状态机中，“接收”状态需要持续监听数据帧。每收到一个字节（事件 BYTE_RX），内部转移执行 {rx_cnt++;}，状态保持“接收”不变。这避免了每次字节到达都重新执行 entry 动作（如清空缓冲区）。相反，当一帧数据接收完毕（事件 FRAME_DONE），外部转移将状态从“接收”切换到“处理”，此时执行“接收”的 exit 动作（如计算校验和）和“处理”的 entry 动作（如初始化解析指针）。
4.4 常见误区与总结复盘
常见误区
- 误区一：混淆内部转移与自环转移。自环转移（外部转移指向自身）会执行 exit 和 entry 动作，可能导致状态变量被意外重置。若不需要重置，应使用内部转移。
- 误区二：默认转移的滥用。一个父状态只能有一个默认转移，但可以有多个默认转移的候选路径（通过条件区分）。不要试图用多个默认转移实现条件分支，应使用带条件的转移。
- 误区三：转移条件优先级依赖布局。过度依赖图形位置决定优先级会使模型难以维护。建议使用显式的
if-else结构或通过条件互斥来避免歧义。 - 误区四：忽略转移动作的执行顺序。转移动作在源状态 exit 之后、目标状态 entry 之前执行，这一顺序在涉及共享变量时至关重要。例如，在转移动作中读取源状态的输出变量，可能得到 exit 动作修改后的值。
总结复盘
本章详细阐述了 Stateflow 状态机中状态与转移的核心语义。普通状态与子状态的层次化设计提供了强大的抽象能力；转移条件与默认转移决定了状态机的初始化与推进逻辑；内部转移与外部转移的选择直接影响状态动作的执行频率和数据完整性。在实际工程中，建议遵循以下最佳实践：
- 在模型设计初期，先绘制状态转移图，明确每个状态的职责和转移事件。
- 对于频繁触发且不需要状态切换的事件，优先考虑内部转移。
- 为每个父状态显式设置默认转移，并确保其条件覆盖所有可能的初始场景。
- 在转移条件中使用有界比较，避免浮点相等判断。
- 利用 Stateflow 的调试工具（如动画演示、断点）逐步验证转移路径。
掌握这些基础语法后，读者可以进一步探索并行状态、历史节点和事件广播等高级特性，从而构建更加复杂和健壮的控制逻辑。