聊聊一个用 Go 实现的有限状态机

easyfsm

为什么不使用looplab/fsm,star挺多的啊。

不是特别喜欢,每次实例化fsm都需要重新传递对应events(虽然我们可以统一封装),我更期望在项目启动时把此项目涉及到不同业务状态机流转注册到fsm,对应:不同业务->[状态]->[事件]->处理事件主体(包含handler、params、hooks、observers等)。

这就是easyfsm的由来。

当你开始进行状态流转时,只需要:

聊聊一个用 Go 实现的有限状态机插图

为什么需要区分业务?

因为绝大多数业务的状态值都是从数据库中获取的,比如订单表的订单状态,商品表中的商品状态,有可能值是相同的。

同一个业务同一属性对应状态值表达单一,不同业务下属性状态可能会出现值相同,但所表达的含义是不同的。

整体设计:

聊聊一个用 Go 实现的有限状态机插图1

简单解释一下:

  • 业务:比如有商品状态业务、订单状态业务.....
  • 状态:订单待付款、待发货....
  • 事件:对应状态仅可达事件集合。比如待付款状态的可达事件仅有:支付事件和取消事件(取决于自己的业务)
  • 执行事件主体:执行自定义的事件函数,如果有需要,还可以自定义执行事件前后hook,事件订阅者(比如支付事件发生后,异步通知用户等)

使用姿势

聊聊一个用 Go 实现的有限状态机插图2

首先自定义业务、状态、事件。

聊聊一个用 Go 实现的有限状态机插图3

自定义事件主体

聊聊一个用 Go 实现的有限状态机插图4

注册到easyfsm

聊聊一个用 Go 实现的有限状态机插图5

开始使用

聊聊一个用 Go 实现的有限状态机插图6

完整示例代码如下

聊聊一个用 Go 实现的有限状态机插图7

Hook

如果想在处理事件函数的前后执行一些hook,或者在事件执行完毕,异步执行一些其他业务,easyfsm定义了这两个接口。

聊聊一个用 Go 实现的有限状态机插图8

我们可以实现这两个接口

聊聊一个用 Go 实现的有限状态机插图9

完整代码

聊聊一个用 Go 实现的有限状态机插图10

总结

上面简单介绍了下easyfsm设计以及对应使用姿势。

https://github.com/wuqinqiang/easyfsm

THE END