Stateless是严格的状态转换控制器,非法触发直接抛异常;初始化需按是否需与外部同步选择纯值或委托;PermitIf/Dynamic每次Fire重求值;未处理触发器默认崩溃,须用OnUnhandledTrigger捕获;非线程安全,需外层加锁;OnEntry/OnExit异常不回滚状态。

Stateless 不是“状态管理工具”,它是严格的状态转换控制器——非法触发直接抛异常,不自动降级、不静默忽略。
Stateless 初始化时传入状态值还是状态访问器?
必须根据是否需要与外部对象同步来选:如果状态存于业务实体(如 Order.Status),用委托形式;否则用纯值初始化。
-
new StateMachine<State, Trigger>(State.Draft):适合测试或独立逻辑,状态仅在内存中 -
new StateMachine<State, Trigger>(() => order.Status, s => order.Status = s):状态读写绑定到实体字段,Fire()后自动更新order.Status
错用纯值初始化却期望实体字段同步,会导致 Fire() 成功但业务对象状态没变——这是最常被忽略的“假成功”现象。
Permit 和 PermitIf / PermitDynamic 的行为差异
Permit 是确定性转换,而带 If 或 Dynamic 的版本会在每次 Fire() 时重新求值,且不缓存结果。
-
Permit(Trigger.Pay, State.Paid):只要当前是允许该触发的状态,就无条件转到State.Paid -
PermitIf(Trigger.Pay, State.Paid, () => order.Amount > 0):每次触发都检查金额,失败则抛InvalidOperationException -
PermitDynamic(Trigger.Pay, () => IsPreAuthPassed() ? State.Paid : State.PaymentFailed):目标状态完全由运行时逻辑决定
注意:PermitIf 条件里不能有副作用(比如修改字段),因为 Stateless 可能在内部多次调用它做校验;且多个 PermitIf 匹配同一触发器会引发 InvalidOperationException: Multiple transitions match。
未处理触发器导致程序崩溃怎么办?
默认行为是抛 InvalidOperationException,不是日志警告——线上环境不处理会直接中断流程。
- 用
OnUnhandledTrigger捕获并记录:machine.OnUnhandledTrigger((state, trigger) => logger.Warn($"[{state}] 收到未定义触发: {trigger}")) - 用
OnTransitioned做事后审计:machine.OnTransitioned(t => logger.Info($"{t.Source} → {t.Destination} via {t.Trigger}")) - 禁止用
TryFire()替代错误处理:它只返回bool,不提供异常上下文,掩盖问题根源
真正棘手的是异步场景下触发器乱序:Stateless 本身非线程安全,多个线程并发 Fire() 可能导致状态错乱或漏触发——必须在外层加锁或用 async/await 串行化调用。
状态进入/退出动作里抛异常会怎样?
Stateless 不会自动回滚状态,也不会重试。一旦 OnEntry 或 OnExit 抛出异常,状态机已切换完成,但副作用可能只执行了一半。
- 进状态失败:先完成状态切换,再执行
OnEntry;若它炸了,状态已是新值,但初始化逻辑没走完 - 出状态失败:先执行
OnExit,再切换;若它炸了,状态仍停留在原值,但清理动作中断 - 正确做法是在动作内部
try/catch,并在catch中显式补偿(如还原字段、发告警、标记待人工介入)
别指望 OnEntry 能当事务用——它只是钩子,不是原子操作边界。


















