yield实现撤销重做状态机的核心是将每步建模为可中断、可回溯的生成器步骤，产出执行/撤销函数对或纯数据指令，由外部调度器管理游标与历史。

用 yield 实现撤销重做状态机，核心不是“挂起控制流”，而是把每一步操作建模为可中断、可回溯的生成器步骤，并通过外部调度器统一管理执行与逆向。它不复刻同步命令模式的调用栈，而是用生成器协议（send/throw）显式控制正向/反向流转。

把操作拆成带逆操作的 yield 步骤

每个 yield 点代表一个原子操作及其撤回逻辑。生成器本身不保存状态，只产出“执行函数”和“撤销函数”组成的元组；状态由外部维护。

• 不要在生成器内部修改共享变量，而应 yield 一个描述动作的纯数据结构（如 {op: 'add', item: x}）
• 对应地 yield 撤销指令（如 {op: 'remove', id: x.id}），或直接 yield 执行/撤销两个函数
• 例如：yield lambda: items.append(x), lambda: items.pop()

用生成器对象 + 游标位置实现线性历史

生成器本身不可倒退，但可将整个生成器转为惰性序列，配合整数游标模拟“当前步骤”。每次 next() 向前，用 send(undo=True) 或单独维护撤销栈来触发逆向。

• 启动时用 gen = my_workflow(); next(gen) 获取第一步
• 记录每步返回的动作对，存入列表 history = []；游标 pos = -1 表示初始空状态
• 执行下一步：若 pos ，先撤销后续所有步骤；再 <code>pos += 1，执行 history[pos][0]()

避免 yield 混淆控制权，用调度器统管流向

不要让业务逻辑直接调用 next() 或 send()，而应封装一层调度器（如 UndoRedoManager），它持有生成器、历史列表和当前位置，对外只暴露 do()、undo()、redo() 方法。

• 生成器只负责定义“有哪些步骤”，不决定何时走哪步
• 调度器在 do() 中驱动生成器前进，并缓存返回的动作对；undo() 则调用该步的撤销函数并移动游标
• 这样既保持生成器的声明式表达力，又隔离了控制流复杂度

注意边界：yield 不等于协程，无法自动保存局部变量

生成器暂停时只保留栈帧，但局部变量不会跨 yield 持久化。需要持久化的中间状态（如表单输入、临时计算结果）必须显式传入或从外部读取。

• 错误写法：tmp = expensive_calc(); yield tmp; print(tmp) —— tmp 在下次恢复时仍存在，但不可靠依赖
• 正确做法：所有需跨步访问的数据，都通过参数传入生成器，或由调度器统一管理上下文对象
• 若需复杂状态，建议用类封装生成器逻辑，把状态作为实例属性，yield 只负责“通知下一步要做什么”