状态机、状态模式

什么是状态机？

有限状态机，英文翻译是 Finite State Machine，缩写为 FSM，简称为状态机。状态机有 3 个组成部分：状态（State）、事件（Event）、动作（Action）。其中，事件也称为转移条件（Transition Condition）。事件触发状态的转移及动作的执行。不过，动作不是必须的，也可能只转移状态，不执行任何动作。

实现状态机的方法有多种，比较常用的有分支逻辑法、查表法、状态模式。

我们以一个简单的 CD 播放器为例子。这个例子里面只有状态、事件，不包含动作

简单CD播放器的按键与按键的功能

按键	功能
[Play/Pause]	播放/暂停
[Stop]	停止

状态迁移图：

状态机实现方式一：分支逻辑法

它的核心思想是根据状态迁移图，要么先确定状态、要么先确定事件，直译代码。

方法分析：对于简单状态机，该法是可以接受的。但是，对于复杂的状态机，这种实现极易漏写或错写某个状态转移；代码中充斥大量if-else或switch-case 分支判断逻辑，可读性和可维护性差。

如下就是先确定事件，然后再在事件内根据状态进行状态转移。

typedef enum {
    ST_IDLE,
    ST_PLAY,
    ST_PAUSE
} State;

typedef enum {
    EV_PLAY_PAUSE,
    EV_STOP
} Event;

State state;

// 初始化
void initialize() {
    state = ST_IDLE;
}

// play or pause
void playOrPause() {
    if (state == ST_IDLE) {
        state = ST_PLAY;
    } else if (state == ST_PLAY) {
        state = ST_PAUSE;
    } else if (state == ST_PAUSE) {
        state = ST_PLAY;
    }
}

// stop
void stop() {
    if (state == ST_PLAY || state == ST_PAUSE) {
        state = ST_IDLE;
    }
}

// 事件响应
void onEvent(Event ev) {
    switch (ev) {
    case EV_PLAY_PAUSE:
        playOrPause();
        break;
    case EV_STOP:
        stop();
        break;
    default:
        break;
    }
}

状态机实现方法二：查表法

状态机除了用状态转移图表示外，还可以用二维表表示。如下第一维表示当前状态，第二维表示事件，值表示当前状态经过事件之后，转移到的新状态即执行的动作。

CD播放器状态迁移表

状态/事件	停止(EV_STOP)	播放/暂停(EV_PLAY_PAUSE)
空闲(ST_IDLE)	忽略	开始播放并转为播放状态
播放(ST_PLAY)	停止并转为空闲状态	停止并转为暂停状态
暂停(ST_PAUSE)	停止并转为空闲状态	播放并转为播放状态

相比于分支逻辑的实现方式，查表法的代码实现更加清晰，可读性和可维护性更好。当修改状态机时，只需要修改transitionTable和actionTable两个二维数组即可。

typedef enum {
    ST_IDLE,
    ST_PLAY,
    ST_PAUSE
} State;

typedef enum {
    EV_STOP,
    EV_PLAY_PAUSE
} Event;

State state;

// transitionTable[i][j]表示状态为i时，发生事件j后，状态迁移到transitionTable[i][j]
State transitionTable[][2] = {
        {ST_IDLE, ST_PLAY},
        {ST_IDLE, ST_PAUSE},
        {ST_IDLE, ST_PLAY}
};

// 初始化
void initialize() {
    state = ST_IDLE;
}

State executeEvent(Event ev) {
    return transitionTable[state][ev];
}

// play or pause
void playOrPause() {
    state = transitionTable[state][EV_PLAY_PAUSE];
}

// stop
void stop() {
    state = transitionTable[state][EV_STOP];
}

// 事件响应
void onEvent(Event ev) {
    switch (ev) {
    case EV_PLAY_PAUSE:
        playOrPause();
        break;
    case EV_STOP:
        stop();
        break;
    default:
        break;
    }
}

int main(void) {
    initialize();
    onEvent(EV_PLAY_PAUSE); // 播放
    printf("%d ", state);
    onEvent(EV_PLAY_PAUSE); // 暂停
    printf("%d ", state);
    onEvent(EV_STOP); // 停止
    printf("%d
", state);
}

执行结果为：1  2  0

状态机实现方式三：状态模式

事件触发的动作如果非常简单，可以用二维的actionTable表示，则可以使用查表法。但是，如果执行的动作是一系列复杂的逻辑操作（比如加减积分、写数据库、发送消息等），就没有办法用简单的二维数组来表示了。

参考资料

1.64 | 状态模式：游戏、工作流引擎中常用的状态机是如何实现的？ (geekbang.org)

2.《C现代编程  集成开发环境、设计模式、极限编程、测试驱动开发、重构、持续集成》