Java泛型在状态机中用于类型安全绑定状态、事件与上下文，避免运行时错误：StateTrigger<S,E,C>中S为状态枚举，E为事件枚举，C为上下文载体；Function<C,S>限定处理器仅访问C字段，Map<Pair<S,E>,Function<C,S>>确保转换规则类型合法；配合record与编译期约束防止擦除隐患。
Java 中泛型在状态机框架里不是用来“约束”上下文数据的，而是让状态、事件、上下文三者类型安全地绑定在一起，避免运行时类型错误，同时让转换逻辑清晰可读、易于复用。
泛型参数明确职责边界
以 StateTrigger<S, E, C> 为例：
-
S 是状态枚举（如
OrderStatus），必须实现Enum和Comparable，确保能做枚举比较和有序校验 -
E 是事件枚举（如
PayEvent），只用于语义标识，不携带数据，保证事件类型不可变、无歧义 -
C 是上下文类型（如
PaymentContext），它才是承载真实业务数据的载体——订单 ID、金额、渠道信息、风控结果等全由它封装
三者通过泛型绑定后，编译器就能检查：比如 rules.put(Pair.of(ORDER_CREATED, PAY), ctx -> { ... }) 中的 ctx 类型必须是 PaymentContext，不能误传成 RefundContext。
上下文类型决定动作处理器的数据可见性
每个状态转换动作定义为 Function<C, S>，意味着：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
立即学习“Java免费学习笔记（深入）”；
- 处理器内部只能访问
C声明的字段，无法意外读取其他上下文的私有数据 - 不同订单类型（如信用贷、消费贷）可定义各自的上下文子类，泛型允许你为每种业务声明专属的
StateTrigger<LoanState, LoanEvent, LoanContext> - 若需共享字段（如共用
orderId），可在基类BaseContext中定义，再让LoanContext extends BaseContext，泛型仍保持类型精确
泛型配合不可变映射强化转换合法性
状态转换规则用 Map<Pair<S, E>, Function<C, S>> 表达，泛型在此起关键校验作用：
- 键中的
S和E类型与触发时传入的当前状态、事件严格一致，非法组合（如PAID → CANCEL）在注册阶段就无法放入 map - 值中的
Function<C, S>强制要求所有该 (S,E) 组合的动作都操作同一套上下文结构，不会出现「一个分支读 accountNo，另一个分支读 cardNo」的混乱 - 搭配 record（Java 21+）定义
PaymentContext，天然不可变，进一步防止动作中意外篡改上下文状态
实际编码中避免泛型擦除带来的隐患
Java 泛型存在类型擦除，但状态机框架可通过以下方式守住上下文一致性：
- 不在运行时靠
instanceof C做判断——因为擦除后只剩Object；而是靠编译期泛型约束 + 构造器注入确保类型正确 - 上下文类推荐用
record定义（如record PaymentContext(String orderId, BigDecimal amount, String channel) {}），字段名、类型、顺序全部固化，序列化/反序列化不易出错 - 若需动态扩展上下文（如运营打标字段），可用
Map<String, Object> extensions作为 record 的一个字段，不破坏主结构类型安全
