Java中使用状态机模式示例详解
一、什么是状态机
状态机(State Machine)是一种数学模型,描述一个对象在其生命周期中所经历的各种状态,以及在什么条件下从一个状态转换到另一个状态。
核心三要素:
- 状态(State):对象当前所处的情形
- 事件(Event):触发状态变化的动作或条件
- 转换(Transition):从一个状态到另一个状态的过程
用一句话概括:在某个状态下,发生了某个事件,对象转换到了另一个状态。
二、状态机的两种实现方式
1. 显式状态机
通过独立的状态机框架或代码结构来管理状态转换,状态流转规则集中定义、显式声明。
特点:
- 状态和转换规则集中配置
- 有明确的状态转换表或图
- 非法转换会被拦截
- 通常有框架支持(如 Spring StateMachine)
2. 隐式状态机
没有独立的状态机组件,状态值存在数据库字段中,状态的流转逻辑分散在各个业务方法的 if/else 或 switch 中。
特点:
- 状态就是一个普通字段
- 转换逻辑散落在各处业务代码中
- 没有统一的规则校验
- 实现简单但维护成本随业务增长而上升
注:
博客:
https://blog.csdn.net/badao_liumang_qizhi
三、隐式状态机的典型实现方式
这是大多数业务系统中最常见的做法。用一个订单状态的例子来说明:
数据库层面
CREATETABLEorders(idINTPRIMARYKEY,statusINTNOTNULLDEFAULT0COMMENT'0=待支付, 1=已支付, 2=已发货, 3=已完成, 4=已取消');枚举定义
publicenumOrderStatus{UNPAID(0,"待支付"),PAID(1,"已支付"),SHIPPED(2,"已发货"),COMPLETED(3,"已完成"),CANCELLED(4,"已取消");privateIntegercode;privateStringdesc;}业务代码中的状态流转
publicvoidpayOrder(IntegerorderId){Orderorder=orderRepository.findById(orderId);// 隐式校验:只有待支付才能支付if(!OrderStatus.UNPAID.getCode().equals(order.getStatus())){thrownewBusinessException("当前状态不允许支付");}order.setStatus(OrderStatus.PAID.getCode());orderRepository.save(order);}publicvoidshipOrder(IntegerorderId){Orderorder=orderRepository.findById(orderId);// 隐式校验:只有已支付才能发货if(!OrderStatus.PAID.getCode().equals(order.getStatus())){thrownewBusinessException("当前状态不允许发货");}order.setStatus(OrderStatus.SHIPPED.getCode());orderRepository.save(order);}publicvoidcancelOrder(IntegerorderId){Orderorder=orderRepository.findById(orderId);// 隐式校验:已发货和已完成不能取消if(OrderStatus.SHIPPED.getCode().equals(order.getStatus())||OrderStatus.COMPLETED.getCode().equals(order.getStatus())){thrownewBusinessException("当前状态不允许取消");}order.setStatus(OrderStatus.CANCELLED.getCode());orderRepository.save(order);}状态转换图:
UNPAID(0) ──[支付]──→ PAID(1) ──[发货]──→ SHIPPED(2) ──[确认收货]──→ COMPLETED(3) │ │ └──[取消]──→ CANCELLED(4) ←──[取消]──┘这就是隐式状态机——没有一个集中的地方定义"什么状态可以转到什么状态",全靠每个业务方法里的 if 判断来保证。
四、显式状态机的实现方式
方式一:状态转换表
把所有合法的转换关系集中定义:
publicclassOrderStateMachine{// 转换规则表:Map<当前状态, Map<事件, 目标状态>>privatestaticfinalMap<Integer,Map<String,Integer>>TRANSITIONS=newHashMap<>();static{// 待支付状态下的合法转换Map<String,Integer>unpaidTransitions=newHashMap<>();unpaidTransitions.put("PAY",1);// 支付 → 已支付unpaidTransitions.put("CANCEL",4);// 取消 → 已取消TRANSITIONS.put(0,unpaidTransitions);// 已支付状态下的合法转换Map<String,Integer>paidTransitions=newHashMap<>();paidTransitions.put("SHIP",2);// 发货 → 已发货paidTransitions.put("CANCEL",4);// 取消 → 已取消TRANSITIONS.put(1,paidTransitions);// 已发货状态下的合法转换Map<String,Integer>shippedTransitions=newHashMap<>();shippedTransitions.put("CONFIRM",3);// 确认 → 已完成TRANSITIONS.put(2,shippedTransitions);}/** * 执行状态转换. */publicstaticIntegertransition(IntegercurrentState,Stringevent){Map<String,Integer>allowed=TRANSITIONS.get(currentState);if(allowed==null||!allowed.containsKey(event)){thrownewIllegalStateException("非法状态转换: 状态="+currentState+", 事件="+event);}returnallowed.get(event);}}使用:
publicvoidpayOrder(IntegerorderId){Orderorder=orderRepository.findById(orderId);// 由状态机统一校验和转换IntegernewStatus=OrderStateMachine.transition(order.getStatus(),"PAY");order.setStatus(newStatus);orderRepository.save(order);}方式二:枚举 + 方法
publicenumOrderStatus{UNPAID(0){@OverridepublicOrderStatusonPay(){returnPAID;}@OverridepublicOrderStatusonCancel(){returnCANCELLED;}},PAID(1){@OverridepublicOrderStatusonShip(){returnSHIPPED;}@OverridepublicOrderStatusonCancel(){returnCANCELLED;}},SHIPPED(2){@OverridepublicOrderStatusonConfirm(){returnCOMPLETED;}},COMPLETED(3),CANCELLED(4);privateIntegercode;// 默认实现:抛异常表示不允许该操作publicOrderStatusonPay(){thrownewIllegalStateException("当前状态不允许支付");}publicOrderStatusonShip(){thrownewIllegalStateException("当前状态不允许发货");}publicOrderStatusonConfirm(){thrownewIllegalStateException("当前状态不允许确认");}publicOrderStatusonCancel(){thrownewIllegalStateException("当前状态不允许取消");}}五、两种方式的对比
| 维度 | 隐式状态机 | 显式状态机 |
|---|---|---|
| 实现成本 | 低,直接写 if/else | 中等,需要定义转换规则 |
| 可读性 | 差,状态规则分散在各方法中 | 好,规则集中一目了然 |
| 维护成本 | 状态少时低,状态多时急剧上升 | 稳定,新增状态只需加规则 |
| 安全性 | 容易遗漏校验导致非法转换 | 统一拦截非法转换 |
| 适用场景 | 状态少(3-5个)且变化少 | 状态多或流转规则复杂 |
六、状态机中的常见概念
守卫条件(Guard)
转换发生前的额外校验,不满足则转换不执行:
// 事件是"发货",但还需要守卫条件:库存充足publicIntegertransition(IntegercurrentState,Stringevent,Orderorder){if("SHIP".equals(event)&&order.getStock()<=0){thrownewBusinessException("库存不足,无法发货");}returnTRANSITIONS.get(currentState).get(event);}转换动作(Action)
状态转换时附带执行的业务操作:
// 转换到"已取消"时,自动执行退款publicvoidcancelOrder(Orderorder){IntegernewStatus=OrderStateMachine.transition(order.getStatus(),"CANCEL");order.setStatus(newStatus);// 转换动作refundService.refund(order.getPaymentId());notificationService.notifyUser(order.getUserId(),"订单已取消");}入口动作 / 出口动作(Entry/Exit Action)
进入某个状态时固定执行的操作,与触发事件无关:
// 无论从哪里进入"已取消"状态,都发通知privatevoidonEnterCancelled(Orderorder){notificationService.notifyUser(order.getUserId(),"订单已取消");inventoryService.releaseStock(order.getItems());}状态回退(Rollback)
从某个状态回退到之前的状态,通常需要撤销该状态对应的动作:
// 从已发货回退到已支付(例如物流拦截成功)publicvoidrollbackShipment(Orderorder){if(!OrderStatus.SHIPPED.getCode().equals(order.getStatus())){thrownewBusinessException("只有已发货状态才能回退");}order.setStatus(OrderStatus.PAID.getCode());// 撤销动作:取消物流单、恢复库存logisticsService.cancelShipment(order.getLogisticsNo());inventoryService.restoreStock(order.getItems());}七、涉及多字段联动的复合状态
实际业务中一个对象可能有多个状态维度,形成复合状态:
// 两个独立的状态维度privateIntegersignStatus;// 签章状态privateIntegersyncYcStatus;// 同步状态// 复合状态:只有签章完成且已同步才算"流程结束"// 回退时两个维度可能都需要回退这种场景下需要注意:
- 两个状态之间是否有依赖关系(同步必须在签章完成之后)
- 回退时是否需要联动回退(签章回退了,同步状态是否也要回退)
- 是否有外部系统已经接收了数据(不可逆操作的处理)
八、总结
状态机本质上解决的是对象生命周期管理的问题。核心关注点:
- 有哪些状态→ 枚举定义清楚
- 什么事件触发什么转换→ 转换规则集中管理
- 转换时要做什么→ 动作与转换绑定
- 非法转换怎么办→ 统一校验拦截
- 需要回退怎么办→ 逆向转换 + 补偿动作