I3.13

状态机的完备性与非法状态

本组卡片 · 4

  1. I3.13.1状态机需要为所有可能的转移路径定义结果,不留未定义转移
  2. I3.13.2数据结构若允许表达不属于任何合法状态的组合,就会产生非法状态
  3. I3.13.3非法状态的出现往往源于用多个独立布尔值而非互斥枚举描述状态
  4. I3.13.4界面呈现的状态应与底层状态机严格对应,不能凭视觉猜测当前状态