4.2.2.2 层次化状态机

文档摘要

4.2.2.2 层次化状态机 4.2.2.2 层次化状态机：当子状态“叛逃”时，如何用嵌套守卫（Nested Guard）守住父状态的语义边界？你有没有遇到过这样的深夜调试现场—— 一个本该在三级流转的电池管理状态机，在某个特定温度突变下，突然从跳进了，而这个状态明明被定义在子状态域里；更诡异的是，它跳进去之后，再也没法回到，连动作都没触发，像一列脱轨后还在按原时刻表报站的地铁。这不是玄学。这是层次化状态机（Hierarchical State Machine, HSM）中一个被教科书轻描淡写、却被无数嵌入式团队在量产前两周反复踩坑的致命细节：子状态对父状态守卫条件（guard condition）的隐式绕过。