0

0

c++如何利用协程实现一个状态机? (C++20 coroutine)

尼克

尼克

发布时间:2026-01-14 16:36:49

|

928人浏览过

|

来源于php中文网

原创

协程状态机的核心是“状态转移控制权”而非“挂起”,需自定义promise_type接管流转逻辑,通过final_suspend返回suspend_always防止销毁、unhandled_exception处理异常、next_state驱动跳转,并由驱动循环显式resume推进状态。

c++如何利用协程实现一个状态机? (c++20 coroutine)

协程状态机的核心不是“挂起”,而是“状态转移控制权”

用 C++20 协程写状态机,关键不在 co_await 本身,而在如何把每个状态封装成可恢复的执行片段,并让状态跳转由协程的恢复点(resume point)自然承载。标准库不提供现成的状态机协程框架,必须自己设计 promise_type 来接管状态流转逻辑。

必须自定义 promise_type 并重载 unhandled_exception 和 final_suspend

默认的 std::coroutine_handle 无法支撑状态机语义——你不能让协程在状态结束时自动销毁(否则无法做状态迁移),也不能任由异常崩溃掉整个状态流。需要:

  • final_suspend 返回 std::suspend_always{},防止协程彻底销毁,保留 handle 供外部驱动下个状态
  • unhandled_exception 至少记录或转发异常,避免静默终止(状态机里异常常意味着非法转移)
  • promise_type 中添加 next_state 成员(如 std::function 或枚举),并在 await_resume() 后主动调用它
struct state_machine_promise {
    std::function next_state;
    auto get_return_object() { return state_machine{this}; }
    auto initial_suspend() { return std::suspend_always{}; }
    auto final_suspend() noexcept { return std::suspend_always{}; }
    void unhandled_exception() { /* 记录异常,不抛出 */ }
    void return_void() {}
    auto await_transform(auto&&) { return simple_awaiter{*this}; }
};

用 awaiter 控制状态进入与退出时机

每个状态对应一个 co_await 表达式,但它的 awaiter 不该只做“等待”,而应完成三件事:保存当前状态上下文、触发退出逻辑(如清理资源)、设置 next_state。常见错误是把所有状态逻辑塞进一个协程函数里,结果变成难以调试的“大面条”。

  • 每个状态建议拆成独立函数,返回 state_machine 类型(包装了 coroutine_handle
  • simple_awaiter::await_ready() 应始终返回 false,确保每次 co_await 都真实挂起,把控制权交还给驱动循环
  • 不要依赖 co_yield 实现状态跳转——它语义是“产出值并挂起”,和状态机的“执行→转移”模型不匹配

驱动循环必须显式 resume 并检查状态终止

协程状态机没有内置调度器,你得自己写一个运行循环来推进状态。容易忽略的是:不能无条件 handle.resume(),必须先检查 handle.done(),否则对已结束协程 resume 会触发未定义行为(UB)。

UP简历
UP简历

基于AI技术的免费在线简历制作工具

下载

立即学习C++免费学习笔记(深入)”;

void run_state_machine(state_machine sm) {
    auto h = sm.handle;
    while (!h.done()) {
        h.resume();
        // 此处可插入日志、超时检查、事件分发等
    }
}

真正复杂的地方在于状态间的数据传递——promise_type 是唯一共享上下文的位置,所有状态共用同一份 promise 实例,变量生命周期必须严格匹配整个状态机周期,局部变量不能跨 co_await 存活(除非用 static 或堆分配)。

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
javascriptvoid(o)怎么解决
javascriptvoid(o)怎么解决

javascriptvoid(o)的解决办法:1、检查语法错误;2、确保正确的执行环境;3、检查其他代码的冲突;4、使用事件委托;5、使用其他绑定方式;6、检查外部资源等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

175

2023.11.23

java中void的含义
java中void的含义

本专题整合了Java中void的相关内容,阅读专题下面的文章了解更多详细内容。

97

2025.11.27

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

387

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

571

2023.08.10

function是什么
function是什么

function是函数的意思,是一段具有特定功能的可重复使用的代码块,是程序的基本组成单元之一,可以接受输入参数,执行特定的操作,并返回结果。本专题为大家提供function是什么的相关的文章、下载、课程内容,供大家免费下载体验。

475

2023.08.04

js函数function用法
js函数function用法

js函数function用法有:1、声明函数;2、调用函数;3、函数参数;4、函数返回值;5、匿名函数;6、函数作为参数;7、函数作用域;8、递归函数。本专题提供js函数function用法的相关文章内容,大家可以免费阅读。

163

2023.10.07

promise的用法
promise的用法

“promise” 是一种用于处理异步操作的编程概念,它可以用来表示一个异步操作的最终结果。Promise 对象有三种状态:pending(进行中)、fulfilled(已成功)和 rejected(已失败)。Promise的用法主要包括构造函数、实例方法(then、catch、finally)和状态转换。

298

2023.10.12

html文本框类型介绍
html文本框类型介绍

html文本框类型有单行文本框、密码文本框、数字文本框、日期文本框、时间文本框、文件上传文本框、多行文本框等等。详细介绍:1、单行文本框是最常见的文本框类型,用于接受单行文本输入,用户可以在文本框中输入任意文本,例如用户名、密码、电子邮件地址等;2、密码文本框用于接受密码输入,用户在输入密码时,文本框中的内容会被隐藏,以保护用户的隐私;3、数字文本框等等。

396

2023.10.12

Java 桌面应用开发(JavaFX 实战)
Java 桌面应用开发(JavaFX 实战)

本专题系统讲解 Java 在桌面应用开发领域的实战应用,重点围绕 JavaFX 框架,涵盖界面布局、控件使用、事件处理、FXML、样式美化(CSS)、多线程与UI响应优化,以及桌面应用的打包与发布。通过完整示例项目,帮助学习者掌握 使用 Java 构建现代化、跨平台桌面应用程序的核心能力。

34

2026.01.14

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL 教程
PostgreSQL 教程

共48课时 | 7.1万人学习

好课诞生记
好课诞生记

共20课时 | 6万人学习

swift开发文档
swift开发文档

共33课时 | 19.3万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号