什么是状态机?有限状态机的实现

有限状态机常见实现方式有:基于枚举和switch/case语句,适合简单场景但难以维护;状态模式通过封装状态类提升扩展性但类数量增多;状态转换表以表格形式清晰表达转换规则但规模大时复杂;基于框架或库如Spring Statemachine可支持高级功能。选择方式需根据复杂度和需求权衡。

什么是状态机?有限状态机的实现

状态机,简单来说,就是一种描述对象在不同状态之间转换的数学模型。它定义了一组状态、事件以及状态转换的规则。有限状态机(FSM)则意味着状态的数量是有限的。

状态机在软件开发中用途广泛,例如控制游戏角色的行为、解析网络协议、管理用户界面等等。理解状态机,能让你更好地组织代码逻辑,提高程序的可维护性和可扩展性。

状态机的核心在于定义清晰的状态和状态转换。

有限状态机的常见实现方式有哪些?

实现有限状态机的方法有很多,常见的包括:

基于枚举和switch/case语句: 这是最简单直接的方式。使用枚举类型定义状态,然后使用switch/case语句根据当前状态和输入事件来决定下一个状态。

enum State {    IDLE,    RUNNING,    STOPPED}State currentState = State.IDLE;void processEvent(Event event) {    switch (currentState) {        case IDLE:            if (event == Event.START) {                currentState = State.RUNNING;                // 执行进入RUNNING状态的动作                System.out.println("进入RUNNING状态");            }            break;        case RUNNING:            if (event == Event.STOP) {                currentState = State.STOPPED;                // 执行进入STOPPED状态的动作                System.out.println("进入STOPPED状态");            } else if (event == Event.PAUSE) {                currentState = State.IDLE;                System.out.println("进入IDLE状态");            }            break;        case STOPPED:            if (event == Event.RESET) {                currentState = State.IDLE;                // 执行进入IDLE状态的动作                System.out.println("进入IDLE状态");            }            break;    }}enum Event {    START,    STOP,    RESET,    PAUSE}public static void main(String[] args) {    FiniteStateMachineExample fsm = new FiniteStateMachineExample();    fsm.processEvent(Event.START);    fsm.processEvent(Event.STOP);    fsm.processEvent(Event.RESET);}

这种方式的优点是简单易懂,但缺点是当状态数量增多时,switch/case语句会变得非常冗长,难以维护。

状态模式: 状态模式是一种设计模式,它将每个状态封装成一个独立的类,并定义一个上下文类来维护当前状态。当接收到事件时,上下文类将事件委托给当前状态对象处理。

// 状态接口interface State {    void handleEvent(Context context, Event event);}// 具体状态类class IdleState implements State {    @Override    public void handleEvent(Context context, Event event) {        if (event == Event.START) {            System.out.println("Idle -> Running");            context.setState(new RunningState());        }    }}class RunningState implements State {    @Override    public void handleEvent(Context context, Event event) {        if (event == Event.STOP) {            System.out.println("Running -> Stopped");            context.setState(new StoppedState());        } else if (event == Event.PAUSE) {            System.out.println("Running -> Idle");            context.setState(new IdleState());        }    }}class StoppedState implements State {    @Override    public void handleEvent(Context context, Event event) {        if (event == Event.RESET) {            System.out.println("Stopped -> Idle");            context.setState(new IdleState());        }    }}// 上下文类class Context {    private State state;    public Context() {        this.state = new IdleState(); // 初始状态    }    public void setState(State state) {        this.state = state;    }    public void processEvent(Event event) {        this.state.handleEvent(this, event);    }    public State getState() {        return state;    }}enum Event {    START,    STOP,    RESET,    PAUSE}public class StatePatternExample {    public static void main(String[] args) {        Context context = new Context();        context.processEvent(Event.START);        context.processEvent(Event.STOP);        context.processEvent(Event.RESET);    }}

状态模式的优点是结构清晰,易于扩展和维护。缺点是需要创建较多的类。

状态转换表: 状态转换表是一种将状态转换规则以表格形式存储的数据结构。表格的每一行代表一个状态,每一列代表一个事件,表格中的单元格则表示在当前状态下接收到该事件后要转换到的下一个状态。

import java.util.HashMap;import java.util.Map;enum State {    IDLE,    RUNNING,    STOPPED}enum Event {    START,    STOP,    RESET,    PAUSE}public class StateTransitionTableExample {    private State currentState;    private Map<State, Map> transitionTable;    public StateTransitionTableExample() {        currentState = State.IDLE;        transitionTable = new HashMap();        // 初始化状态转换表        Map idleTransitions = new HashMap();        idleTransitions.put(Event.START, State.RUNNING);        transitionTable.put(State.IDLE, idleTransitions);        Map runningTransitions = new HashMap();        runningTransitions.put(Event.STOP, State.STOPPED);        runningTransitions.put(Event.PAUSE, State.IDLE);        transitionTable.put(State.RUNNING, runningTransitions);        Map stoppedTransitions = new HashMap();        stoppedTransitions.put(Event.RESET, State.IDLE);        transitionTable.put(State.STOPPED, stoppedTransitions);    }    public void processEvent(Event event) {        Map transitions = transitionTable.get(currentState);        if (transitions != null && transitions.containsKey(event)) {            State nextState = transitions.get(event);            System.out.println("状态从 " + currentState + " 转换到 " + nextState + ",事件:" + event);            currentState = nextState;        } else {            System.out.println("无效的事件 " + event + " 在状态 " + currentState + " 下");        }    }    public static void main(String[] args) {        StateTransitionTableExample fsm = new StateTransitionTableExample();        fsm.processEvent(Event.START);        fsm.processEvent(Event.STOP);        fsm.processEvent(Event.RESET);        fsm.processEvent(Event.PAUSE); // 无效事件示例    }}

使用状态转换表可以清晰地表达状态转换逻辑,易于修改和扩展。但是,当状态和事件数量较多时,状态转换表会变得非常庞大。

基于框架或库: 许多编程语言和框架都提供了状态机库,例如Spring Statemachine (Java), 这些库通常提供了更高级的功能,例如状态持久化、事件队列、状态监听器等。使用这些库可以简化状态机的开发过程。

选择哪种实现方式取决于具体的应用场景。对于简单的状态机,基于枚举和switch/case语句可能就足够了。对于复杂的状态机,状态模式或状态转换表可能更合适。如果需要更高级的功能,可以考虑使用状态机库。

如何设计一个良好的状态机?

设计良好的状态机需要考虑以下几个方面:

明确状态和事件: 首先要明确定义状态机的所有状态和事件。状态应该能够清晰地描述对象的不同状态,事件应该能够触发状态之间的转换。定义状态转换规则: 明确定义每个状态在接收到不同事件时应该转换到哪个状态。可以使用状态转换图或状态转换表来描述状态转换规则。处理无效事件: 当状态机接收到无效事件时,应该进行适当的处理。例如,可以忽略该事件,或者抛出一个异常。考虑状态的层次结构: 对于复杂的状态机,可以考虑使用状态的层次结构来简化设计。例如,可以将一些状态组合成一个父状态,父状态可以包含多个子状态。进行充分的测试: 设计完成后,需要进行充分的测试,以确保状态机能够正确地处理各种事件,并达到预期的效果。

状态机在实际项目中的应用案例

状态机在各种软件系统中都有广泛的应用。以下是一些常见的例子:

游戏开发: 游戏角色的行为控制,例如Idle、Walking、Running、Jumping、Attacking等状态之间的切换。网络协议: TCP协议的状态机,例如CLOSED、LISTEN、SYN_SENT、SYN_RECEIVED、ESTABLISHED等状态之间的转换。用户界面: 用户界面的状态管理,例如Loading、Displaying、Editing等状态之间的切换。工作流引擎: 业务流程的状态管理,例如Submitted、Approved、Rejected、Completed等状态之间的转换。机器人控制: 机器人行为的状态管理,例如Idle、Moving、Scanning、Charging等状态之间的转换。

状态机是一种强大的工具,可以帮助我们更好地组织和管理复杂的程序逻辑。通过合理的设计和实现,可以提高程序的可维护性和可扩展性。

以上就是什么是状态机?有限状态机的实现的详细内容,更多请关注创想鸟其它相关文章!

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1516537.html

(0)
打赏 微信扫一扫 微信扫一扫 支付宝扫一扫 支付宝扫一扫
上一篇 2025年12月20日 10:07:45
下一篇 2025年12月20日 10:08:00

相关推荐

  • 如何在HTML文件中添加图片(Flask应用)

    本文旨在指导开发者如何在Flask框架下,正确地在HTML文件中嵌入本地图片。通过调整项目目录结构,并使用正确的路径引用方式,确保图片能够成功显示在网页上。本文将提供详细步骤和示例代码,助你解决图片显示问题。 在使用Flask框架开发Web应用时,经常需要在HTML页面中展示图片。如果图片文件位于本…

    2025年12月20日 好文分享
    000
  • 前端自动化测试架构设计

    前端自动化测试架构需分层覆盖单元、组件、E2E和视觉回归测试,采用Vitest、Playwright等工具统一配置,集成CI/CD实现覆盖率报告与结果追踪,并通过页面对象模型、data-testid定位及定期维护提升可维护性。 前端自动化测试架构设计的核心是确保代码质量、提升开发效率,并在持续集成流…

    2025年12月20日
    000
  • JavaScript WebAssembly交互机制

    JavaScript 与 WebAssembly 通过共享内存、函数调用和数据传递实现高效协作:JS 调用 WASM 导出函数处理高性能任务,WASM 借助导入的 JS 函数操作 DOM;两者通过线性内存交换复杂数据,如字符串以 UTF-8 编码存入共享 ArrayBuffer,由指针定位并用 Te…

    2025年12月20日
    000
  • JavaScript AST操作与转换

    AST是JavaScript代码解析后的树形结构,每个节点代表语法单元,通过操作AST可实现代码转换、分析与生成;利用Babel生态中的@babel/parser、traverse、types和generator工具,能解析、遍历、修改并重新生成代码;例如将箭头函数转为普通函数或删除console.…

    2025年12月20日
    000
  • 类型系统深入:TypeScript高级类型编程

    TypeScript高级类型通过交叉、联合、条件、映射及递归等特性,实现灵活的类型组合与逻辑判断,提升代码安全性与复用性。 TypeScript 的类型系统远不止基础类型标注。通过高级类型特性,开发者可以构建更安全、可复用且智能的代码结构。掌握这些能力,能让你在复杂项目中游刃有余。 交叉类型与联合类…

    2025年12月20日
    000
  • 服务端渲染原理与同构应用开发

    服务端渲染(SSR)通过在服务器生成完整HTML提升首屏速度与SEO,同构架构使代码可在服务端与客户端共享;其流程包括路由匹配、组件渲染、HTML生成与状态注入,浏览器接收后即时展示并由客户端框架“激活”交互;关键挑战在于规避浏览器API、生命周期差异、数据预取同步及样式处理,Next.js、Nux…

    2025年12月20日
    000
  • JavaScript 的国际化 API 如何帮助应用实现多语言和本地化格式?

    Intl API 提供日期、数字、货币和排序的本地化支持,通过 DateTimeFormat、NumberFormat 和 Collator 实现多语言适配,结合 navigator.language 检测区域设置,提升全球化应用体验。 JavaScript 的国际化 API(Intl)为开发者提供…

    2025年12月20日
    000
  • JavaScript正则表达式高级技巧

    答案:文章介绍了JavaScript正则表达式的四个高级技巧:1. 使用分组捕获与反向引用可识别重复结构并提升代码可读性;2. 零宽断言(前瞻与后瞻)用于精确匹配上下文环境而不消耗字符;3. 惰性匹配结合贪婪控制能避免过度捕获,适用于HTML标签等场景;4. 动态构建正则表达式可通过RegExp构造…

    2025年12月20日
    000
  • 函数式编程库Lodash源码解析

    Lodash通过模块化架构、惰性求值机制提升性能,支持函数重载、柯里化与偏应用,结合类型判断与缓存优化,实现高效灵活的工具库设计。 Lodash 是一个一致性、模块化、高性能的 JavaScript 实用工具库,提供了大量对数组、对象、字符串等数据类型的便捷操作方法。其源码设计精巧,充分体现了函数式…

    2025年12月20日
    000
  • 如何通过JavaScript实现高级的浏览器存储方案?

    答案:现代Web开发需结合IndexedDB、统一接口、安全控制与Service Worker实现高效存储。首先使用IndexedDB处理大规模结构化数据,支持事务与索引;其次封装兼容IndexedDB、localStorage及内存的统一存储层,确保降级可用;再通过加密、过期机制和CSP增强安全性…

    2025年12月20日
    000
  • JavaScript元编程深入解析

    答案是JavaScript元编程通过Proxy、Reflect和属性描述符在运行时动态控制对象行为,例如使用Proxy的set拦截器可实现负数自动转0的数值容器。 JavaScript元编程指的是在运行时修改或扩展对象行为的能力,它让开发者能更灵活地控制程序结构。核心在于操作对象的属性、方法以及其底…

    2025年12月20日
    000
  • React应用中Swiper组件本地图片路径处理指南

    本教程详细探讨了在react应用中使用swiper组件时,本地背景图片无法正确显示的问题。核心原因在于react项目对静态资源路径的处理机制。文章阐述了如何将图片放置在`public`文件夹中,并通过相对路径或`process.env.public_url`环境变量正确引用这些图片,从而确保swip…

    2025年12月20日 好文分享
    000
  • Google 饼图数据格式化:如何在切片值中显示百分比符号

    本文将详细介绍如何在 google 饼图的切片值和工具提示中正确显示百分比符号。通过利用 google charts 提供的 google.visualization.numberformat 类,开发者可以精确控制数值的显示格式,避免直接在后端数据库查询中进行字符串拼接,从而确保图表的正确渲染和数…

    2025年12月20日
    000
  • React Native 中动态传递图片 Prop 的教程

    权限。iOS:通常不需要额外配置,但如果使用非 HTTPS 的 URL,可能需要在 Info.plist 中配置 NSAppTransportSecurity 来允许 HTTP 请求(不推荐用于生产环境)。 URL 编码:如果图片路径中包含特殊字符(如空格),请确保在构建 URL 时进行适当的 UR…

    2025年12月20日
    000
  • 优化 Google 饼图:为切片值添加百分比符号的专业指南

    本教程旨在指导开发者如何在 google 饼图的切片值旁精确地添加百分比符号,从而提升数据可视化效果。文章首先分析了直接在后端进行字符串拼接的局限性,并推荐采用 google charts 内置的 `google.visualization.numberformat` 类进行数据格式化。通过详细的代…

    2025年12月20日
    000
  • Cypress中正确处理元素数量检查与操作:.then()回调与测试设计优化

    本文旨在解决Cypress测试中,如何在`.then()`回调内正确获取jQuery对象的子元素数量,并根据此数量执行后续操作。文章将详细阐述jQuery对象与原生DOM元素属性的区别,提供正确的子元素获取方法,并强调在Cypress测试中避免使用`if-else`条件逻辑的最佳实践,建议通过设置明…

    2025年12月20日
    000
  • 如何使用React Router实现条件式详情页导航

    在构建单页应用时,我们经常会遇到这样的场景:一个导航菜单项指向一个资源列表页(例如 `/persons`),该页面会展示所有可用资源。用户通常可以从列表中选择一个项目,跳转到其详情页(例如 `/persons/:personid`)。然而,当资源列表恰好只包含一个项目时,为了优化用户体验,我们可能希…

    2025年12月20日
    000
  • 获取 nipple.js 虚拟摇杆数据:位置、距离与方向

    本文详细介绍了如何使用 nipple.js 库获取虚拟摇杆的实时位置、距离和方向数据。通过监听摇杆的“move”事件,开发者可以轻松提取摇杆中心、摇杆手柄位置以及移动距离和角度等关键信息,克服了官方文档缺乏实践示例的难题,为游戏或交互式应用开发提供了清晰的实现指导。 理解 nipple.js 的数据…

    2025年12月20日
    000
  • 利用 jQuery 和 this 关键字实现输入字段的实时货币格式化

    本教程详细介绍了如何使用 jquery 和 javascript 的 intl.numberformat api,为具有特定 css 类(如 currency)的多个输入字段实现实时货币格式化功能。通过监听 keyup 事件并巧妙运用 this 关键字,确保用户在任意输入框键入时,系统能精确地格式化…

    2025年12月20日
    000
  • JavaScript WebAssembly集成开发

    集成 WebAssembly 可提升前端性能,适合计算密集型任务。它由 C/C++ 或 Rust 编译生成,通过 Emscripten 等工具构建,与 JavaScript 通过线性内存交互,JS 负责 DOM,Wasm 处理高性能运算,结合使用可发挥各自优势。 JavaScript 与 WebAs…

    2025年12月20日
    000

发表回复

登录后才能评论
关注微信