用原型链实现状态机,核心是共享行为、只保留差异字段:basesm定义通用逻辑(如transition方法、默认timeout),子实例如loginsm仅覆盖自有属性(timeout、rules等),调用时自动沿原型链查找方法,规则与行为分离,实例轻量、复用率高、内存占用低。

直接用原型链实现状态机,核心是让不同状态共享行为、只保留差异字段,避免重复创建函数和冗余数据。
用 Object.create 建立状态继承关系
把通用逻辑(如 transition 方法、默认超时、日志行为)放在基类原型上,子状态机实例不复制方法,只覆盖自己特有的属性:
- 定义基础状态机对象:const baseSM = { timeout: 3000, log: true, transition(event) { /* 公共切换逻辑 */ } };
- 派生具体状态机:const loginSM = Object.create(baseSM); loginSM.timeout = 10000; loginSM.maxRetries = 3;
- 调用 loginSM.transition('submit') 时,引擎自动沿原型链找到 baseSM 上的 transition 方法,无需重复定义
状态切换逻辑集中写在原型上
所有状态共用一套转移规则,通过 this 指向动态识别当前实例的状态配置:
- 在 baseSM 上定义 transition(event):先查 this.rules[this.state]?.[event] 得到目标状态,再更新 this.state
- 每个子实例只需提供自己的 rules 对象,比如:loginSM.rules = { idle: { submit: 'validating' }, validating: { success: 'done', fail: 'idle' } };
- 无需为每个状态写独立类或 switch 分支,规则与行为彻底分离
状态实例轻量且可高频复用
适合需要大量短期状态机的场景,比如表单校验器、动画帧控制器、请求重试管理器:
- 创建开销极小:Object.create(baseSM) 不执行构造函数,不分配新方法对象
- 销毁无残留:实例只是普通对象,垃圾回收器能立即清理掉仅存的字段(如自定义 timeout、rules)
- 修改不影响其他实例:改 loginSM.timeout 不会影响 resetSM.timeout,因为它们是各自独立的自有属性
这种方式不依赖 class 语法,兼容性好,内存占用低,特别适合对性能和体积敏感的环境。











