Galosys.Foundation.Stateless 26.9.15.1

Galosys.Foundation.Stateless

基于 Stateless 库的状态机封装，实现 Core 模块的 IStateMachine<S, E, C> 接口，提供子状态（Substate）和动态目标（PermitDynamic）等高级特性。

成熟度: 🟢 生产可用 — 完整实现 Core 接口 + 15 个单元测试

安装

dotnet add package Galosys.Foundation.Stateless

最小配置

// 定义枚举
enum OrderState { Created, Paid, Delivered, Closed }
enum OrderTrigger { Pay, Deliver, Close }

// 注册状态机（在 Startup / Program.cs）
services.AddStatelessStateMachine<OrderState, OrderTrigger, object>(builder =>
{
    builder.ExternalTransition()
        .From(OrderState.Created).To(OrderState.Paid).On(OrderTrigger.Pay)
        .Perform((from, to, evt, ctx) => { /* 转换动作 */ });

    builder.ExternalTransition()
        .From(OrderState.Paid).To(OrderState.Delivered).On(OrderTrigger.Deliver)
        .Perform((from, to, evt, ctx) => { });

    builder.ExternalTransition()
        .From(OrderState.Created).To(OrderState.Closed).On(OrderTrigger.Close)
        .Perform((from, to, evt, ctx) => { });
}, "order-machine");

使用

// 注入工厂
IStateMachineFactory factory = ...;

// 获取状态机
var sm = factory.Get<OrderState, OrderTrigger, object>("order-machine");

// 触发转换
var result = await sm.FireAsync(OrderState.Created, OrderTrigger.Pay, null);
// result.Status == TransitionStatus.Accepted
// result.TargetState == OrderState.Paid

// 检查是否可触发
sm.CanFire(OrderState.Created, OrderTrigger.Pay); // true

// 获取允许的事件
var events = sm.GetPermittedEvents(OrderState.Created); // [Pay, Close]

与 Core 默认实现的区别

子状态（Substate）

子状态继承父状态的转换规则：

services.AddStatelessStateMachine<OrderState, OrderTrigger, object>(builder =>
{
    // 父状态转换
    builder.ExternalTransition()
        .From(OrderState.Paid).To(OrderState.Delivered).On(OrderTrigger.Deliver)
        .Perform((from, to, evt, ctx) => { });

    // 子状态独立转换
    builder.ExternalTransition()
        .From(OrderState.Processing).To(OrderState.Suspended).On(OrderTrigger.Suspend)
        .Perform((from, to, evt, ctx) => { });

    // 声明子状态关系
    builder.AddSubstate(OrderState.Paid, OrderState.Processing);
}, "order-machine");

子状态 Processing 能响应父状态 Paid 的 Deliver 事件，但 Paid 不会响应 Processing 的 Suspend 事件。

动态目标（PermitDynamic）

根据上下文动态决定目标状态：

services.AddStatelessStateMachine<OrderState, OrderTrigger, OrderContext>(builder =>
{
    builder.AddDynamicTransition(
        OrderState.Created,
        OrderTrigger.Route,
        ctx => ctx.NeedsReview ? OrderState.Reviewing : OrderState.Approved);
}, "order-machine");

DI 覆盖策略

AddStatelessStateMachine 使用 AddSingleton<IStateMachineFactory> 覆盖 Core 的 TryAddSingleton 默认工厂。未引用 Stateless 模块的项目不受影响。

迁移指南（从旧 API）

旧 API（已删除）

// ❌ 已删除
public class OrderFsm : AbstractFsm<OrderState, OrderTrigger>
{
    protected override void ConfigureStateMachine() { ... }
}

services.AddStateless();
var fsm = sp.GetRequiredService<OrderFsm>();
fsm.Init(OrderState.Created);
await fsm.FireAsync("order-123", OrderTrigger.Pay);

新 API

// ✅ 新 API
services.AddStatelessStateMachine<OrderState, OrderTrigger, object>(builder =>
{
    builder.ExternalTransition()
        .From(OrderState.Created).To(OrderState.Paid).On(OrderTrigger.Pay)
        .Perform((from, to, evt, ctx) => { });
}, "order-machine");

var sm = factory.Get<OrderState, OrderTrigger, object>("order-machine");
var result = await sm.FireAsync(OrderState.Created, OrderTrigger.Pay, null);

关键变更：

• AbstractFsm<S, E> 继承 → IStateMachine<S, E, C> 接口
• Init(state) → 无需初始化（无状态设计，状态通过参数传入）
• FireAsync(resourceId, trigger) → FireAsync(sourceState, event, context)
• services.AddStateless() → services.AddStatelessStateMachine<S, E, C>(...)