嵌套字典不适合高性能FSM：两次哈希查找慢、无预编译、缺失输入静默返回None、无法绑定动作、调试困难；可用defaultdict+setdefault轻量优化，但真正高性能应采用dataclass封装状态与跳转逻辑。
嵌套字典本身无法构建真正高性能的有限状态机——它适合原型验证，但状态跳转、输入处理、错误恢复等关键路径会随着状态数增长迅速变慢。
为什么嵌套字典在FSM中容易卡在 dict.get() 查找上
典型写法是用 {state: {input: next_state}} 结构，每次转移都要做两次哈希查找（先查 state 键，再查 input 键）。当状态数 > 50 或输入类型 > 20 时，dict.get(state, {}).get(input) 的链式调用开始暴露开销；更麻烦的是，这种结构无法预编译跳转逻辑，也无法做缺失输入的统一 fallback 处理。
- 没有输入校验：传入未定义的
input会静默返回None，而不是抛出KeyError或触发默认转移 - 无法绑定动作：状态转移常需附带副作用（如日志、更新变量），嵌套字典纯数据结构做不到
- 调试困难：状态路径不可追溯，
print(fsm['s1']['invalid'])返回None但不告诉你哪一层断了
用 collections.defaultdict + dict.setdefault 做轻量级加速
如果坚持用字典结构，至少把外层状态映射换成 defaultdict(dict)，避免每次检查 if state not in fsm。内层输入映射仍用普通 dict，但通过 setdefault 预置默认行为：
from collections import defaultdict
<p>fsm = defaultdict(dict)
fsm['idle']['start'] = 'running'
fsm['idle'].setdefault('unknown', 'idle') # 所有未定义输入回 idle
fsm['running']['stop'] = 'idle'
fsm['running'].setdefault('unknown', 'running')</p><p>def transition(state, input_val):
next_state = fsm[state].get(input_val, fsm[state].get('unknown'))
return next_state if next_state is not None else 'error'
</p>
这样比双重 .get() 快约 15–20%，且显式控制了未命中路径。但注意：defaultdict 不能序列化为 JSON，部署到无 Python 环境时会失效。
真正需要性能时，直接用 dataclasses 封装状态跳转表
Python 3.7+ 的 @dataclass 可以把每个状态建模为对象，内部用 dict 存跳转，但关键在于把查找逻辑收口进方法里，方便后续替换为 match 或 C 扩展：
from dataclasses import dataclass
from typing import Dict, Callable, Any
<p>@dataclass
class State:
name: str
transitions: Dict[str, str]
on<em>enter: Callable[[Any], None] = lambda </em>: None</p><p>class FSM:
def <strong>init</strong>(self, states: Dict[str, State]):
self.states = states
self.current = list(states.keys())[0]</p><pre class="brush:php;toolbar:false;">def send(self, input_val: str) -> str:
state_obj = self.states[self.current]
next_name = state_obj.transitions.get(input_val)
if next_name is None:
next_name = state_obj.transitions.get('*') # 通配符 fallback
if next_name and next_name in self.states:
self.current = next_name
self.states[self.current].on_enter(input_val)
return self.current
这个结构看似多了一层封装，但实际运行更快：因为 send() 方法可被 PyPy 优化，且后续能无缝替换成 match input_val: 分支（Python 3.10+）或 Cython 编译版本。别忽略 '*' fallback —— 它比 try/except 捕获 KeyError 更快，也比层层 .get() 更易维护。
真正难的不是怎么存状态，而是怎么让状态跳转能被 JIT 编译、支持并发读取、并保留调试符号。嵌套字典连第一关都过不去——它连“当前在哪”都得靠外部变量维护，而这个变量恰恰是并发中最容易出错的部分。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
