Java中用枚举实现线程安全的状态机，核心在于利用枚举的天然单例性、类加载时初始化保证及final字段不可变性；每个枚举常量代表一个状态并封装转移逻辑，通过抽象方法onEvent实现事件驱动，配合不可变上下文确保并发安全。
Java 中用枚举实现线程安全的状态机，核心在于利用枚举的天然单例性、类加载时的初始化保证，以及 final 字段的不可变性。枚举实例在类加载阶段就完成创建且全局唯一，JVM 保证其初始化过程是线程安全的，因此无需额外同步即可安全表示状态及状态转移逻辑。
用枚举定义状态和合法转移
每个枚举常量代表一个状态，并通过构造函数或字段关联其允许的下一个状态（或转移规则）。推荐使用内部方法封装转移逻辑，避免暴露状态集合给外部。
- 定义
State枚举，每个实例持有自身名称和可到达的状态列表（如Set<State>） - 提供
canTransitionTo(State next)方法判断是否允许转移 - 提供
transitionTo(State next)方法执行转移——若非法则抛出IllegalStateException
把状态机行为封装在枚举中（不依赖外部类）
枚举可包含抽象方法或具体方法，让每个状态自行决定“进入时做什么”“能否响应某个事件”等。这样状态行为与状态定义紧耦合，避免条件分支分散、易错。
- 声明抽象方法
onEvent(String event)，各枚举常量用大括号提供具体实现 - 在实现中可返回新状态（体现状态转移），也可返回
this（表示状态不变） - 调用方只需
currentState = currentState.onEvent("submit");，简洁且类型安全
配合不可变上下文，彻底规避并发问题
状态机本身线程安全，但若状态携带可变数据（如订单金额、用户ID），需确保这些数据不可变或由外部同步保护。推荐将业务上下文设计为不可变对象（如 record 或 final 字段类），每次状态转移返回新上下文 + 新状态组合。
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
立即学习“Java免费学习笔记（深入）”；
- 不要在枚举中存可变字段（如
private int count），这会破坏线程安全性 - 如有必要记录流转历史，应由调用方管理（例如用
AtomicReference<StateMachine>包装当前状态+上下文） - 若需原子更新状态和上下文，可用
compareAndSet配合版本号或时间戳
一个极简可运行示例
以下是一个带事件驱动、无外部锁、线程安全的订单状态机：
public enum OrderState {
CREATED {
@Override
public OrderState onEvent(String event) {
return "pay".equals(event) ? PAID : this;
}
},
PAID {
@Override
public OrderState onEvent(String event) {
return "ship".equals(event) ? SHIPPED :
"cancel".equals(event) ? CANCELLED : this;
}
},
SHIPPED,
CANCELLED;
public abstract OrderState onEvent(String event);
}
使用时：OrderState state = OrderState.CREATED; state = state.onEvent("pay"); —— 每次都是纯函数式调用，无共享可变状态，天然线程安全。
