Java中使用状态机模式示例详解
2026/7/30 10:31:08 网站建设 项目流程

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;// 同步状态// 复合状态:只有签章完成且已同步才算"流程结束"// 回退时两个维度可能都需要回退

这种场景下需要注意:

  • 两个状态之间是否有依赖关系(同步必须在签章完成之后)
  • 回退时是否需要联动回退(签章回退了,同步状态是否也要回退)
  • 是否有外部系统已经接收了数据(不可逆操作的处理)

八、总结

状态机本质上解决的是对象生命周期管理的问题。核心关注点:

  1. 有哪些状态→ 枚举定义清楚
  2. 什么事件触发什么转换→ 转换规则集中管理
  3. 转换时要做什么→ 动作与转换绑定
  4. 非法转换怎么办→ 统一校验拦截
  5. 需要回退怎么办→ 逆向转换 + 补偿动作

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询