状态机的简单实现

掌芯元器官方博客

已于 2024-08-25 10:55:52 修改

阅读量1.1k

点赞数 36

分类专栏：嵌入式技术分享专栏文章标签：嵌入式硬件 c语言

于 2024-08-25 10:39:06 首次发布

本文链接：https://blog.csdn.net/zxyq_2024/article/details/141526217

版权

嵌入式技术分享专栏专栏收录该内容

18 篇文章 4 订阅

订阅专栏

状态机的简单实现

文章目录

状态机的简单实现

前言

首先问大家一个问题，在初学编程时有没有遇到过这种困恼：若要实现某个模块的功能是能做到的，但当初次完成整个项目时，会有一种杂乱感，各种模块、函数之间的衔接、调用眼花缭乱，没有一个清晰的层次、逻辑关系。诸如此类问题，其实在学习状态机后将会有所改观。

在编程的世界里，状态机是一种强大的工具，它能够帮助我们有效地管理和控制程序的状态变化。无论是在游戏开发、自动化系统还是复杂的业务逻辑中，状态机都发挥着至关重要的作用。那么我们下面将正式介绍下可以称为编程思维，也可称为编程技巧、技能的状态机，解锁更高效的编程方式。

注：本文若要做到对状态机兼容并包将会是连篇累牍的。考虑到篇幅与学习效率，本文意在向大家简单介绍一下状态机，通过一些常见、简单的实现例程让大家对状态机有个初步的认识，带大家管中窥豹。至于更深入的理解和实现方法，在后续文章将有体现。

什么是状态机？

状态机是一种数学模型，是指把一个完整的状态划分为若干个基本状态，并对这些基本状态赋予一个或多个顺序或顺序组合的过程，是指由若干个相互连接的状态机组成的系统，该系统负责处理各个状态之间的转换，它描述了一个系统在不同状态之间的转换。状态机由状态、事件和转换（动作）组成。状态表示系统的当前状态，事件表示触发状态转换的条件，动作表示在状态转换时执行的操作。状态机的运行过程可通常分为5个阶段，即初始化、状态转换、动作、终止和退出。

通俗理解

状态机可以用来描述和管理复杂系统的行为，状态机可以通俗地理解为一种具有不同状态的机器。例如自动售货机、交通信号灯、甚至是游戏中的角色状态。它可以帮助我们理解和预测系统的行为，并确保系统按照预期工作。

想象一下你有一个电灯开关：
电灯可以处于两种状态：开（ON）和关（OFF）。当你按下开关时，电灯从关变成开，反之亦然。
在这里插入图片描述
此状态机有三个基本组成部分：

状态：系统当前所处的状态,例如电灯的开或关状态。
转换条件：触发状态转换的事件，例如按下开关。
动作：从一个状态到另一个状态的转换，例如从关到开。

再比如一个自动售卖机：
在这里插入图片描述

它有不同的状态，比如 “空闲状态”，此时它在等待顾客投币或做出选择；当顾客投币后，它就进入 “已投币状态”；接着顾客选择商品后，它进入 “处理订单状态”，准备出货；出货完成后，又回到 “空闲状态”。
状态机中的每个状态都有特定的行为和可能的转换条件。状态之间的转换是根据特定的事件或条件触发的。例如，在自动售卖机的例子中，投币这个事件触发了从 “空闲状态” 到 “已投币状态” 的转换。

下面这张图表现的场景是不是也可以理解成一个状态机呢？
在这里插入图片描述

总之，状态机就是一种能够根据不同的情况处于不同的状态，并在特定条件下从一个状态转换到另一个状态的系统。

状态机又可分为有限状态机（Finite State Machine，FSM）和无限状态机（Infinite State Machine，ISM）。有限状态机的状态数量是有限的，而无限状态机的状态数量是无限的。

小结

在嵌入式系统开发中，状态机是一种非常有用的设计模式，通常使用有限状态机（下文提到的状态机均为有限状态机）用来描述系统中的功能模块或子系统之间的连接关系，管理系统的各种状态，例如初始化状态、运行状态、故障状态等。通过状态机，开发者更好地管理系统的状态，提高系统的可靠性和可维护性。

状态机的作用

清晰地定义系统的不同状态，使得程序的逻辑更加明确。
便于处理复杂的业务逻辑。当系统的状态变化较为复杂时，状态机能够有条不紊地进行状态转移和执行相应的动作，提高程序的可读性和可维护性。
增强系统的可维护性：状态机将系统的状态和行为分离，使得系统的逻辑更加清晰，易于维护和扩展。
便于调试和测试：状态机的状态转换过程可以通过日志或调试工具进行跟踪，方便我们进行调试和测试。
提高程序的可靠性。通过严格的状态管理，状态机可以确保系统在正确的状态下执行相应的操作，避免出现不合法的状态转换，确保程序的稳定运行。

状态机的简单实现

在C语言中，状态机可以通过枚举类型、结构体和函数指针来实现。以下是一个简单的状态机例程：

状态	转换条件	动作
STATE_INIT	满足特定条件	进行初始化操作，进入 STATE_RUNNING
STATE_RUNNING	满足特定条件	执行运行时操作，进入 STATE_STOPPED
STATE_STOPPED	满足特定条件	停止操作，进入 STATE_INIT

#include <stdio.h>

// 定义状态枚举类型
typedef enum {
    STATE_INIT,
    STATE_RUNNING,
    STATE_STOPPED
} State;

// 定义状态函数指针类型
typedef void (*StateFunction)(void);

// 状态函数
void stateInit(void);
void stateRunning(void);
void stateStopped(void);

int main(void) {
    State state = STATE_INIT;
    StateFunction stateFunction;

    while (1) {
        // 根据当前状态选择相应的状态函数
        switch (state) {
            case STATE_INIT:
                stateFunction = stateInit;
                break;
            case STATE_RUNNING:
                stateFunction = stateRunning;
                break;
            case STATE_STOPPED:
                stateFunction = stateStopped;
                break;
        }

        // 执行状态函数
        stateFunction();
    }

    return 0;
}

void stateInit(void) {
    printf("Initializing...\n");
    // 设置下一个状态
    state = STATE_RUNNING;
}

void stateRunning(void) {
    printf("Running...\n");
    // 设置下一个状态
    state = STATE_STOPPED;
}

void stateStopped(void) {
    printf("Stopped.\n");
    // 设置下一个状态
    state = STATE_INIT;
}

在上面的代码中，我们首先定义了一个状态枚举类型State，用于表示系统的不同状态。然后，我们定义了一个状态函数指针类型StateFunction，用于指向不同状态下的函数。在main函数中，我们使用一个无限循环来不断执行状态机。在每次循环中，我们根据当前状态选择相应的状态函数，并执行该函数。在状态函数中，我们可以执行相应的操作，并设置下一个状态。