基于 Kotlin 特性开发的有限状态机

一. 状态机

状态机是古老的计算机理论，在游戏开发、嵌入式开发、网络协议等领域，得到广泛地使用。

状态机：它是一个有向图形，由一组节点和一组相应的转移函数组成。状态机通过响应一系列事件而“运行”。每个事件都在属于“当前” 节点的转移函数的控制范围内，其中函数的范围是节点的一个子集。函数返回“下一个”（也许是同一个）节点。这些节点中至少有一个必须是终态。当到达终态， 状态机停止。

二. 常用的状态机分类

FSM

有限状态机，（英语：Finite-state machine, FSM），又称有限状态自动机，简称状态机，是表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

以下是对状态机抽象定义

• State（状态）：构成状态机的基本单位。状态机在任何特定时间都可处于某一状态。从生命周期来看有Initial State、End State、Suspend State(挂起状态)

• Event（事件）：导致转换发生的事件活动

• Transitions（转换器）：两个状态之间的定向转换关系，状态机对发生的特定类型事件响应后当前状态由A转换到B。标准转换、选择转、子流程转换多种抽象实现

• Actions（转换操作）：在执行某个转换时执行的具体操作。

• Guards（检测器）：检测器出现的原因是为了转换操作执行后检测结果是否满足特定条件从一个状态切换到某一个状态

• Interceptor（拦截器）：对当前状态改变前、后进行监听拦截。

DFA

确定有限状态自动机或确定有限自动机（英语：deterministic finite automaton, DFA）是一个能实现状态转移的自动机对于一个给定的属于该自动机的状态和一个属于该自动机字母表的字符，它都能根据事先给定的转移函数转移到下一个状态（这个状态可以是先前那个状态）。

DFA 是 FSM 的一种，与 DFA 对应的还有 NFA(非确定性有限自动机)。

DFA 的特性：

• 没有冲突：一个状态对于同样的输入，不能有多个规则，即每个输入只能有一个转移规则；

• 没有遗漏：每个状态都必须针对每个可能的输入字符有至少一个规则

以前我写过的一篇文章《一个快速分析android app使用了哪些sdk的工具》(https://www.jianshu.com/p/3220d987e589) 曾经使用过DFA。

HSM

层次状态机(英语：Hierarchical State Machine)是状态机理论中的一种层次结构的模型，各个状态按照树状层次结构组织起来，状态图是层次结构的，也就是说每个状态可以拥有子状态。

当 FSM 状态太多的时候，可以将状态分类，并抽离出来。同类型的状态做为一个状态机，然后再做一个大的状态机，来维护这些子状态机。

三. Kotlin 开发的 FSM

github 地址：https://github.com/fengzhizi715/KStateMachine

StateContext

用于保存管理 State 对象实例，表示 State 实例所处的环境。

interface StateContext {
    fun getEvent(): BaseEvent
    fun getSource(): BaseState
    fun getTarget(): BaseState
    fun getException(): Exception?
    fun setException(exception: Exception)
    fun getTransition(): Transition
}

State

构成状态机的基本单位，状态机在任何特定时间都可处于某一状态。

class State(val name: BaseState) {
    private val transitions = hashMapOf<BaseEvent, Transition>() // 存储当前 State 相关的所有 Transition
    private val stateActions = mutableListOf<StateAction>()  // 当前 State 相关的所有 Action
    /**
     * 当一个 Event 被状态机系统分发的时候，状态机用 Action 来进行响应
     * 状态转换可以使用 F(S, E) -> (A, S’) 表示
     *
     * @param event: 触发事件
     * @param targetState: 下一个状态
     * @param guard: