java实现有限状态自动机FSM（附带源码）

Katie。

于 2025-03-16 00:15:00 发布

阅读量1.3k

点赞数 31

分类专栏： Java 实战项目文章标签： java 开发语言

本文链接：https://blog.csdn.net/m0_61840987/article/details/146279735

版权

Java 实战项目专栏收录该内容

709 篇文章

订阅专栏

Java实现有限状态自动机（FSM）——详解项目介绍与代码解读

引言

在软件工程、嵌入式系统、游戏开发、编译器设计等众多领域中，有限状态自动机（Finite State Machine，简称 FSM）都是一个极其重要的概念。FSM 用于描述一个系统在有限个状态之间的切换过程，能够对输入事件做出响应，并根据当前状态和输入决定下一步的行为。本文将详细介绍如何用 Java 实现一个简单而又功能完备的有限状态自动机项目，从理论概述到代码实现，再到代码解读与项目总结，内容尽可能全面，既适用于初学者的知识学习，也适合作为工程项目的设计参考。

本文内容包括以下几个主要部分：

有限状态自动机（FSM）的基本概念与原理：从概念、历史背景、理论模型、状态与转换关系等方面深入剖析 FSM 的内涵，并说明它在实际项目中的应用场景和优势。
项目需求与目标：详细说明本项目的目的、使用场景以及实现需求，包括如何设计状态、事件、状态转换逻辑等关键环节。
项目设计方案：从架构设计、类的划分、状态模式的应用、数据结构选择等方面展开讨论，说明设计方案的合理性和可扩展性。
项目实现思路与代码实现：提供一份完整的 Java 实现代码。代码已整合在一起，每个部分均配有详细注释，方便读者理解代码中每一行的意义和执行逻辑。
代码解读：对代码中各个方法和类的功能进行逐一解析，帮助读者快速掌握每个模块的作用和整个系统的运作机制。注意，本部分仅对方法的用途进行解读，不会重复展示代码内容。
项目总结与扩展讨论：总结项目实现过程中的思考与经验，讨论项目的优缺点、可能的改进方向以及如何将 FSM 应用于更复杂的实际场景。

本文力求详尽，既覆盖理论知识，又贴近实际编码实现，帮助你建立对 FSM 从理论到实践的全方位理解。接下来，我们将一步步展开讨论。

1. 有限状态自动机（FSM）的基本概念与原理

1.1 FSM 的定义

有限状态自动机（FSM）是一种数学模型，用于表示具有有限个状态、状态之间可通过转换规则切换的系统。FSM 的基本要素包括：

状态（State）：系统在任何时刻所处的情形，每个状态都是系统行为的抽象表示。
输入符号（Input）：驱动状态转移的外部信号或事件，决定系统从一个状态如何转换到另一个状态。
状态转换（Transition）：描述在接收到特定输入时，从当前状态转移到下一个状态的规则。
初始状态（Initial State）：系统在启动时所处的状态。
终止状态（Final/Accepting State，可选）：在某些 FSM 中，当达到某些状态时表示任务完成或满足条件。

FSM 的工作原理可以抽象为：系统接收到输入后，根据当前状态和预定义的转换规则，决定是否转换到新的状态，并在进入或退出状态时执行特定的操作。

1.2 FSM 的分类

有限状态机通常分为两大类：

确定性有限状态机（DFA）：在给定当前状态和输入时，转换规则总是确定地指定下一个状态。DFA 的转换函数是单值映射。
非确定性有限状态机（NFA）：允许在某个状态下，对于同一输入存在多个可能的转换。NFA 在理论上与 DFA 等价，但在实现上通常会经过转换为 DFA。

在大部分软件设计中，为了方便调试与扩展，通常采用确定性有限状态机（DFA）的思想。本文实现的 FSM 基本遵循 DFA 模型。

1.3 FSM 的应用场景

有限状态机在很多领域中都有广泛应用，主要包括：

编译器设计：词法分析器（Lexer）常采用 FSM 来识别单词、关键字、运算符等。
网络协议：各种网络协议中常有状态转换，如 TCP 协议中连接状态的管理。
嵌入式系统：控制系统中的状态管理，如家电控制、机器人行为决策等。
游戏开发：人物行为、敌人 AI 常通过 FSM 来管理不同状态之间的切换（例如：待机、攻击、逃跑等）。
业务流程管理：工作流、订单处理等系统中，任务在不同状态之间转换。

了解 FSM 的原理后，我们可以看到它对系统的可控性和模块化设计具有重要意义，将系统划分为不同状态，使代码逻辑清晰，便于调试和扩展。

1.4 FSM 的状态转换图示例

以经典的旋转门（Turnstile）为例，其 FSM 可分为两个状态：

锁定状态（Locked）：初始状态，旋转门处于锁定状态，不能通过。
解锁状态（Unlocked）：投币后状态转换，旋转门解锁，允许通过。

状态转换规则为：

在 Locked 状态下，当接收到 coin 事件时，转换为 Unlocked 状态；若接收到 push 事件，则不允许通过。
在 Unlocked 状态下，当接收到 push 事件时，允许通过后重新转换为 Locked 状态；若重复收到 coin 事件，则视为无效操作。

这种简单的状态转换图清晰地说明了 FSM 的基本工作模式，也是我们项目实现时的一个典型示例。

2. 项目需求与目标

本项目旨在使用 Java 编写一个基于有限状态自动机模型的简单示例，并对 FSM 的实现进行详尽介绍。项目的主要需求与目标包括：

2.1 项目需求

实现一个通用的 FSM 框架：要求能够定义状态、输入事件及状态转换规则，并支持动态切换状态。
支持状态切换时的回调操作：例如在进入某个状态时执行特定逻辑，在退出状态时进行资源清理或其他操作。
实现示例案例：以旋转门状态机为例，模拟实际场景中的状态转换，并通过控制台输出展示转换过程。
代码结构清晰、注释详细：便于初学者理解 FSM 的基本思想以及 Java 中如何实现状态模式。
扩展性强：设计时需考虑未来可能扩展到更复杂的状态机，如引入更多状态、复杂的转换逻辑或事件优先级机制。

2.2 项目目标

知识学习：帮助读者掌握有限状态机的基本概念、设计思想和实现方法，进而应用到实际项目中。
工程实践：展示如何利用面向对象编程和设计模式（特别是状态模式）来实现 FSM，从而提高代码可维护性和扩展性。
代码实战：通过详细注释的代码实现，让读者能够边学边实践，熟悉 Java 编程和 FSM 模型的具体应用。
系统性总结：在项目总结部分讨论实现过程中的设计决策、遇到的问题、解决思路以及未来改进方向，为工程实践提供参考。

本项目既适用于学习 FSM 理论的初学者，也适用于需要在实际项目中实现状态机的开发人员。通过对项目需求与目标的明确阐述，可以让读者充分理解本项目的意义和实用价值。

3. 项目设计方案

在项目设计阶段，我们需要从整体架构、模块划分、接口设计、数据结构选择以及错误处理等方面做出合理规划。以下是本项目的主要设计方案与思路。

3.1 架构设计

本项目整体架构采用面向对象设计思想，并引入状态模式（State Pattern），使状态转换逻辑与状态行为分离。主要模块包括：

状态接口（State Interface）：定义状态的基本行为，如进入状态、退出状态、处理事件等。
具体状态类（Concrete State Classes）：实现状态接口，为不同的状态定义具体的行为。
有限状态自动机（FiniteStateMachine）：管理状态转换、当前状态维护以及事件分发。
测试类（Main/Test Class）：用于模拟 FSM 运行过程，测试状态转换与事件处理逻辑。

通过这种模块化设计，每个模块只负责单一功能，便于维护和扩展。状态转换的核心逻辑集中在 FSM 类中，而具体状态行为则交由各自的状态类实现，使得系统结构清晰、职责明确。

3.2 类和接口设计

State 接口
- 定义三个基本方法：
  - onEnter()：进入状态时调用，用于初始化状态相关数据。
  - onExit()：退出状态时调用，用于清理或保存状态数据。
  - handleEvent(String event, FiniteStateMachine fsm)：处理当前状态下的输入事件，根据事件内容决定是否执行状态转换。
FiniteStateMachine 类
- 负责维护当前状态对象，并提供状态转换（transitionTo）和事件分发（handleEvent）的方法。
- 在状态转换时，先调用当前状态的 onExit()，再更新状态后调用新状态的 onEnter()，确保状态切换过程符合逻辑。
具体状态类
- 如 LockedState 和 UnlockedState 类，分别代表旋转门的锁定和解锁状态。
- 每个状态类实现 State 接口，重写相应方法，并在 handleEvent 方法中根据接收到的事件执行状态转换逻辑（例如“coin”与“push”事件）。

3.3 数据结构选择与异常处理

数据结构选择：
由于 FSM 模型中状态数量较少，状态之间转换规则固定，采用简单的对象引用保存当前状态即可。对于更复杂的 FSM，可以引入状态转换表（Map、二维数组等）来管理状态之间的对应关系，但本项目示例保持简单易懂。
异常处理：
在实际使用过程中，可能会遇到非法事件或状态转换错误。设计时应考虑在 handleEvent 方法中对未知事件进行处理，并输出提示信息，以提高系统的健壮性。在后续扩展中，可以引入自定义异常机制来处理错误情况。

3.4 可扩展性设计

状态扩展：
通过继承 State 接口，可以方便地添加新的状态和对应的转换逻辑。例如，将 FSM 扩展到处理多种业务流程时，可以新增多个状态类而不影响现有代码。
事件扩展：
本项目中使用字符串表示事件，但在更复杂的系统中，可将事件抽象为枚举类型或独立的事件类，进一步提高代码严谨性和可读性。
状态机组合：
对于大型系统，可以采用层次化状态机（Hierarchical FSM），将复杂状态机拆分为多个子状态机，通过嵌套和组合来实现更复杂的状态管理。

通过以上设计思路，整个项目具备较高的灵活性和扩展性，同时保持实现简单、易于调试和维护的优势。

4. 项目实现思路与代码实现

在前面章节中，我们已经讨论了 FSM 的概念、项目需求和设计方案。接下来，将详细介绍项目实现思路并给出完整代码。

4.1 实现思路

定义状态接口
创建一个 State 接口，规定每个状态都必须实现 onEnter()、onExit() 和 handleEvent(String event, FiniteStateMachine fsm) 三个方法。这一设计确保所有状态都有一致的行为规范，便于 FSM 统一管理状态切换。
实现有限状态机类
编写 FiniteStateMachine 类，用于保存当前状态并提供状态转换方法。状态转换过程中，先执行当前状态的退出操作，再设置新状态并执行进入操作。该类负责接收外部事件，并将事件传递给当前状态进行处理。
具体状态的实现
以旋转门为例，实现两个状态类：LockedState（锁定状态）和 UnlockedState（解锁状态）。
- LockedState：在接收到 coin 事件后，调用 FSM 的状态转换方法进入 UnlockedState；若接收到 push 事件，则提示旋转门仍处于锁定状态。
- UnlockedState：在接收到 push 事件后，调用 FSM 的状态转换方法回到 LockedState；若重复接收到 coin 事件，则提示已解锁，无需再次投币。
编写测试主类
编写主类 FSMTest，在 main 方法中初始化 FSM，并模拟一系列事件（如 coin、push、非法事件等），以测试状态转换是否正确。
详细注释与输出
在代码中添加详细注释，解释每个方法、每个逻辑步骤的作用，并在状态转换过程中输出提示信息，方便观察 FSM 运行效果。

4.2 完整代码实现

下面给出整合后的 Java 代码，代码包含所有类与接口，并附有详细中文注释，帮助读者理解实现细节。

/**
 * 状态接口，定义有限状态机中所有状态必须实现的基本行为。
 */
public interface State {
    /**
     * 当进入该状态时调用的方法。
     * 用于初始化该状态所需的数据或进行相关的逻辑处理。
     */
    void onEnter();

    /**
     * 当退出该状态时调用的方法。
     * 用于进行资源释放、状态清理或保存状态数据。
     */
    void onExit();

    /**
     * 处理当前状态下的事件，根据事件内容决定是否触发状态转换。
     * @param event 输入事件，通常为字符串或枚举，描述触发状态转换的原因。
     * @param fsm 当前有限状态机对象，通过 fsm 可以调用状态转换方法 transitionTo。
     */
    void handleEvent(String event, FiniteStateMachine fsm);
}

/**
 * 有限状态机（FSM）类，负责维护当前状态并管理状态之间的转换。
 */
public class FiniteStateMachine {
    // 当前状态对象
    private State currentState;

    /**
     * 构造函数，初始化有限状态机并设置初始状态。
     * @param initialState 初始状态对象，系统启动时将处于该状态。
     */
    public FiniteStateMachine(State initialState) {
        this.currentState = initialState;
        // 进入初始状态时调用 onEnter 方法
        currentState.onEnter();
    }

    /**
     * 状态转换方法，将有限状态机从当前状态切换到新状态。
     * 该方法先调用当前状态的 onExit，再更新状态后调用新状态的 onEnter。
     * @param newState 要转换到的新状态对象
     */
    public void transitionTo(State newState) {
        // 输出状态转换提示信息，便于观察调试
        System.out.println("状态转换: " + currentState.getClass().getSimpleName() +
                           " -> " + newState.getClass().getSimpleName());
        // 调用当前状态的退出逻辑
        currentState.onExit();
        // 更新当前状态为新状态
        currentState = newState;
        // 调用新状态的进入逻辑
        currentState.onEnter();
    }

    /**
     * 处理外部传入的事件，将事件传递给当前状态进行处理。
     * @param event 输入事件，描述系统当前应当处理的动作或输入信号
     */
    public void handleEvent(String event) {
        currentState.handleEvent(event, this);
    }
}

/**
 * 具体状态：LockedState，代表旋转门处于锁定状态。
 * 在该状态下，系统只能响应投币事件（coin）来解锁，其他事件无效。
 */
public class LockedState implements State {
    /**
     * 当进入锁定状态时调用的方法。
     */
    @Override
    public void onEnter() {
        System.out.println("进入锁定状态：旋转门处于锁定状态，无法通过。");
    }

    /**
     * 当退出锁定状态时调用的方法。
     */
    @Override
    public void onExit() {
        System.out.println("退出锁定状态。");
    }

    /**
     * 处理在锁定状态下接收到的事件。
     * 当接收到 coin 事件时，状态机将转换到 UnlockedState；当接收到 push 事件时，则提示不能通过。
     * @param event 输入事件字符串，通常为 coin 或 push
     * @param fsm 当前有限状态机对象，用于调用状态转换方法
     */
    @Override
    public void handleEvent(String event, FiniteStateMachine fsm) {
        if ("coin".equals(event)) {
            System.out.println("检测到投币操作，解锁旋转门！");
            // 状态转换到解锁状态
            fsm.transitionTo(new UnlockedState());
        } else if ("push".equals(event)) {
            System.out.println("旋转门处于锁定状态，无法通过，请先投币！");
        } else {
            System.out.println("未知事件：" + event + "，请检查输入！");
        }
    }
}

/**
 * 具体状态：UnlockedState，代表旋转门处于解锁状态。
 * 在该状态下，系统响应推门事件（push）允许用户通过，随后自动转换回锁定状态。
 */
public class UnlockedState implements State {
    /**
     * 当进入解锁状态时调用的方法。
     */
    @Override
    public void onEnter() {
        System.out.println("进入解锁状态：旋转门已解锁，用户可通过。");
    }

    /**
     * 当退出解锁状态时调用的方法。
     */
    @Override
    public void onExit() {
        System.out.println("退出解锁状态。");
    }

    /**
     * 处理在解锁状态下接收到的事件。
     * 当接收到 push 事件时，允许用户通过并转换回锁定状态；
     * 若重复接收到 coin 事件，则提示已解锁，无需再次投币。
     * @param event 输入事件字符串，通常为 push 或 coin
     * @param fsm 当前有限状态机对象，用于调用状态转换方法
     */
    @Override
    public void handleEvent(String event, FiniteStateMachine fsm) {
        if ("push".equals(event)) {
            System.out.println("用户通过旋转门，系统自动转换回锁定状态。");
            // 状态转换回锁定状态
            fsm.transitionTo(new LockedState());
        } else if ("coin".equals(event)) {
            System.out.println("旋转门已经解锁，再次投币无效。");
        } else {
            System.out.println("未知事件：" + event + "，请检查输入！");
        }
    }
}

/**
 * 测试类：FSMTest
 * 用于模拟有限状态自动机的运行过程，通过一系列预设事件测试状态转换逻辑。
 */
public class FSMTest {
    public static void main(String[] args) {
        // 初始化有限状态机，初始状态设置为 LockedState（锁定状态）
        FiniteStateMachine fsm = new FiniteStateMachine(new LockedState());

        // 模拟一系列事件操作，观察 FSM 的状态转换
        System.out.println("---- 测试1：投币后推门 ----");
        fsm.handleEvent("coin");   // 投币操作：应从 LockedState 转换到 UnlockedState
        fsm.handleEvent("push");   // 推门操作：应从 UnlockedState 转换回 LockedState

        System.out.println("\n---- 测试2：错误操作（推门） ----");
        fsm.handleEvent("push");   // 错误操作：在 LockedState 下直接推门

        System.out.println("\n---- 测试3：重复投币操作 ----");
        fsm.handleEvent("coin");   // 投币操作：转换到 UnlockedState
        fsm.handleEvent("coin");   // 重复投币：应提示已经解锁
        fsm.handleEvent("push");   // 推门操作：转换回 LockedState

        System.out.println("\n---- 测试4：未知事件 ----");
        fsm.handleEvent("invalid"); // 输入未知事件，系统应给予提示
    }
}

5. 代码解读

在上面的代码实现中，我们设计了四个主要部分：状态接口、有限状态机类、两个具体状态类以及测试主类。下面对各部分的主要方法进行解读，帮助你理解每个模块的具体作用。

5.1 State 接口

onEnter() 方法
当 FSM 转换到某个状态时，系统会调用该方法。它用于执行该状态的初始化操作，比如打印提示信息、加载相关数据或进行状态特有的准备工作。
onExit() 方法
在 FSM 从当前状态退出时调用，用于执行状态切换前的清理工作，比如释放资源或记录日志。这样可以确保状态切换时不会遗留未处理的业务逻辑。
handleEvent(String event, FiniteStateMachine fsm) 方法
该方法是状态处理逻辑的核心，在当前状态下接收到输入事件时调用。根据传入的事件内容，状态内部会判断事件类型并决定是否进行状态转换（通过调用 fsm.transitionTo 方法）或直接响应事件。这样设计的好处是各状态之间完全独立，逻辑分明。

5.2 FiniteStateMachine 类

构造函数
构造函数中接收一个初始状态对象，并将 FSM 的当前状态设置为该对象。随后调用当前状态的 onEnter 方法完成状态初始化，确保系统启动时进入正确的状态环境。
transitionTo(State newState) 方法
这是状态转换的核心方法。在转换过程中，首先调用当前状态的 onExit() 方法执行退出逻辑，然后更新当前状态引用为新状态，最后调用新状态的 onEnter() 方法初始化新状态。整个过程保证了状态转换的连贯性和可追踪性，并在控制台输出状态转换提示，便于调试。
handleEvent(String event) 方法
该方法用于接收外部输入事件，并将事件传递给当前状态处理。状态内部根据事件内容决定后续操作，从而实现 FSM 的动态行为。

5.3 具体状态类：LockedState 与 UnlockedState

LockedState 类
- 在 onEnter() 方法中，输出提示“进入锁定状态”，表示系统当前禁止用户通过。
- 在 handleEvent() 方法中，当检测到 coin（投币）事件时，调用 FSM 的 transitionTo() 方法切换到 UnlockedState 状态；而对于 push（推门）事件，则提示用户当前无法通过。
UnlockedState 类
- 在 onEnter() 方法中，输出提示“进入解锁状态”，表示旋转门已解锁，允许用户通过。
- 在 handleEvent() 方法中，当检测到 push 事件时，调用 FSM 的 transitionTo() 方法切换回 LockedState 状态，从而完成一次完整的状态循环；若接收到重复的 coin 事件，则提示无效操作，确保状态逻辑正确。

5.4 测试类：FSMTest

main 方法
在主方法中，我们依次模拟了几组操作：
- 测试1：先执行投币操作，再执行推门操作，模拟用户正常操作流程。
- 测试2：直接执行推门操作，验证在锁定状态下系统正确拒绝非法操作。
- 测试3：测试重复投币操作，验证在已解锁状态下的冗余操作如何处理。
- 测试4：输入未知事件，系统能够捕捉到非法输入并给予提示。

这种测试方式直观展示了 FSM 各状态之间的转换和状态处理逻辑，便于验证代码的正确性。

6. 项目总结与扩展讨论

6.1 项目总结

通过本次项目实现，我们详细探讨了有限状态自动机的基本原理及其在软件工程中的应用，重点体现在以下几个方面：

理论知识与工程实践相结合
从 FSM 的基本定义、状态转换原理，到具体的 Java 实现，每一步都力求将理论知识转化为工程实践。通过旋转门状态机的示例，读者可以直观理解 FSM 在现实场景中的应用方式。
面向对象设计与状态模式的应用
本项目采用了状态模式，将状态的行为和状态转换逻辑分离，使代码结构更清晰、扩展性更强。状态接口与具体状态类的设计，保证了新增状态时无需修改现有代码，实现了开闭原则。
代码详细注释与模块化设计
为了方便学习和后续维护，每个类、方法均添加了详细注释，解释了实现原理、方法用途和调用顺序。模块化设计使得 FSM 的核心逻辑独立于具体业务代码，有利于在实际项目中进行复用。
测试与验证
通过 FSMTest 类中模拟一系列典型操作（正常、错误和边界情况），有效验证了 FSM 的稳定性和健壮性。测试结果在控制台输出，有助于开发者快速调试和定位问题。

6.2 遇到的挑战与解决方案

在实现过程中，主要遇到的挑战包括：

状态转换的连续性问题：如何保证在状态切换过程中不会遗漏 onExit 或 onEnter 的调用。解决方案是将状态转换封装在 transitionTo 方法中，集中管理状态切换逻辑。
事件处理的健壮性：面对未知事件或非法输入时，系统必须能够正确提示并防止状态混乱。为此，在 handleEvent 方法中添加了默认分支，对未知事件进行捕捉和提示。
代码可扩展性的保证：在设计时，必须考虑未来可能增加的状态或更复杂的转换条件。利用状态模式设计，使得新增状态只需扩展 State 接口，保持原有代码不变，较好地解决了这一问题。