C++ 实现基于 C++20 协程的简单任务队列 _ 挂起与恢复逻辑详解【源码】

冬萱酱_9330

冬萱酱_9330

2026-05-22

373人浏览

原创

协程挂起时不能直接return,因为会销毁协程帧导致恢复时未定义行为;正确做法是await_suspend返回coroutine_handle或true/false,由调度器显式resume。

c++ 实现基于 c++20 协程的简单任务队列 _ 挂起与恢复逻辑详解【源码】

协程挂起时为什么不能直接 return?

因为 co_await 表达式挂起后,控制权交还给调用方(比如调度器),此时协程帧仍需保留在堆上供后续恢复;若在 await_transform 或 await_suspend 中提前 return,会导致协程状态机被销毁,再恢复就会触发未定义行为——常见表现是程序崩溃或静默失败。

正确做法是让 await_suspend 返回 std::coroutine_handle,由调度器显式调用 resume();或者返回 false 表示不挂起(立即继续执行)。

  • await_suspend 返回 true:必须确保 handle 不会被销毁,且后续有且仅有一次 resume()
  • 返回 std::coroutine_handle:等价于返回 true + 自动调用该 handle 的 resume(),但更安全(避免裸 handle 误用)
  • 返回 void 或 false:协程不挂起,继续同步执行

如何让 task 对象支持 co_await 并入队?

关键在于为自定义 task 类提供 operator co_await(),它返回一个 awaiter 类型;该 awaiter 必须实现 await_ready()、await_suspend() 和 await_resume()。其中 await_suspend 负责把当前协程 handle 插入任务队列。

典型结构:

struct task {
  struct promise_type {
    task get_return_object() { return {}; }
    std::suspend_always initial_suspend() { return {}; }
    std::suspend_always final_suspend() noexcept { return {}; }
    void unhandled_exception() { std::terminate(); }
  };

  // operator co_await 返回自定义 awaiter
  auto operator co_await() && {
    struct awaiter {
      task& t;
      bool await_ready() const noexcept { return false; }
      void await_resume() const noexcept {}
      std::coroutine_handle await_suspend(
          std::coroutine_handle h) noexcept {
        // 把 h 入队到全局/线程局部调度器
        scheduler::enqueue(h);
        return std::noop_coroutine(); // 不立即恢复
      }
    };
    return awaiter{*this};
  }
};

注意:await_suspend 中不要捕获协程局部变量(如 lambda 捕获 this),因为协程帧可能已被移动;只应操作传入的 std::coroutine_handle。

调度器 enqueue 后何时 resume?

调度器本身不主动“驱动”协程,它只是个容器 + 触发点。真正恢复协程的时机取决于你设计的执行模型:

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 如果用单线程轮询(如 scheduler::run_until_idle()),则在每次循环末尾遍历队列并调用 handle.resume()
  • 如果对接系统事件(如 I/O 完成、定时器到期),则在对应回调中调用 handle.resume()
  • 切忌在 await_suspend 内直接 h.resume() —— 这会绕过队列,变成同步调用,失去“任务排队”语义

另外,resume() 只能调用一次;重复调用导致未定义行为。可考虑在 await_resume() 中置空 handle 或加原子标记防止重入。

为什么 final_suspend 不能用 suspend_never?

因为 final_suspend 控制协程结束时是否自动销毁帧。若返回 std::suspend_never,协程会在执行完 promise_type::unhandled_exception() 或正常返回后立即析构 promise,导致 task 对象持有的协程 handle 指向已释放内存。

必须返回 std::suspend_always 或自定义 awaiter,并在 await_suspend 中手动管理生命周期(例如将 handle 转交给调度器或 future 对象)。否则,哪怕任务已执行完毕,只要外部还持有 task,就可能因访问已销毁帧而出错。

常见错误现象:double free、use-after-free、segmentation fault 在 task 析构或第二次 co_await 时爆发。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.14

2268

9

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

1039

6

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

447

5

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

327

5

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

426

5

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

600

5

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.21

1429

9

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

2024.03.22

1237

7

c++和c语言学习顺序推荐
c++和c语言学习顺序推荐

对于初学者,建议先学习C语言,掌握编程基础后再转入C++,便于理解面向对象编程概念。有编程经验者可直接学习C++,快速接触高级编程技术。想了解更多c++和c语言的相关内容,可以阅读本专题下面的文章。

2024.03.25

1325

9

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习