讲师中心 微信公众号
AI工具推荐 视频效率加速

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

云雪吖_5118

云雪吖_5118

发布时间:2026-05-23 15:46:41

|

785人浏览过

|

来源于php中文网

原创

协程挂起必须返回std::suspend_always或std::suspend_never,不可裸写co_await;push()需返回可等待类型,pop()应挂起而非阻塞,析构时须清理挂起协程以防terminate。

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

协程挂起时必须返回 std::suspend_always 或 std::suspend_never,不能裸写 co_await

很多初学者在实现任务队列的 await_transform 时直接写 co_await queue.push(task),结果编译失败——因为 push() 返回的是 void 或 bool,不满足可等待类型(awaitable)要求。协程挂起的唯一合法路径是通过 await_ready() 返回 false,再由 await_suspend() 注册恢复逻辑,最终靠 await_resume() 返回值。

正确做法是把任务入队和挂起解耦:入队操作同步完成,挂起由一个轻量级 awaitable 控制。常见模式是返回一个封装了 std::suspend_always 的临时对象:

struct push_awaitable {
    task_t task;
    async_queue* q;
<pre class="brush:php;toolbar:false;">bool await_ready() const noexcept { return false; }
void await_suspend(std::coroutine_handle<> h) noexcept {
    q->enqueue(task, h); // 入队 + 记录恢复句柄
}
void await_resume() const noexcept {}

};

注意:await_suspend() 接收的 std::coroutine_handle 必须被安全持有(如存入队列节点),否则恢复时调用已销毁的 handle 会崩溃。

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

await_suspend() 返回 void、bool 或 std::coroutine_handle 的行为差异

这是最容易引发未定义行为的点。返回类型决定了协程控制流如何交接:

  • void:挂起后必须由外部显式调用 resume(),适合手动调度场景;
  • bool:返回 true 表示已自行恢复(协程继续执行),false 表示挂起,需后续 resume;
  • std::coroutine_handle:协程立即转移控制权给该 handle,常用于链式调度(比如 A 挂起后直接跳转到 B 执行)。

在任务队列中,99% 的情况应返回 void 或 bool。若错误返回了新 handle(比如误传 std::noop_coroutine()),会导致协程栈错乱或静默跳过后续代码。

典型错误示例:await_suspend 中写了 return std::coroutine_handle::from_address(nullptr); —— 这不是“不恢复”,而是向随机内存地址跳转。

C++14
C++14

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

下载

任务队列的 pop() 不应阻塞线程,而应让调用方协程挂起

同步队列的 pop() 通常用 std::mutex + std::condition_variable 等待,但协程版必须避免线程阻塞。正确方式是让消费者协程挂起,并在生产者 push() 后唤醒第一个等待者。

关键设计点:

  • 队列内部维护一个等待 handle 链表(std::deque<:coroutine_handle>> </:coroutine_handle> 或无锁结构);
  • pop() 的 awaitable 在 await_ready() 中检查队列是否非空,空则挂起;
  • push() 成功后,从等待链表取一个 handle 并 resume();
  • 必须处理竞争:比如两个 pop() 同时发现队列为空,都挂起,此时一个 push() 应只唤醒一个,避免“惊群”。

遗漏竞争处理的典型现象是:任务明明已入队,但某个 co_await queue.pop() 永远不返回。

协程销毁时未清理挂起状态会导致 std::terminate

如果一个协程被销毁(比如其 promise 对象析构)时仍处于挂起状态且没有被 resume 或 destroy,C++20 标准规定必须调用 std::terminate()。

在任务队列中,这常发生在以下场景:

  • 消费者协程被 co_return 或异常退出,但还在等待 pop;
  • 生产者 push 后崩溃,未触发唤醒;
  • 队列本身被销毁,但仍有挂起的协程 handle 未被清除。

解决方案是在队列析构函数中遍历所有等待 handle,对每个调用 handle.destroy()(而非 resume()),并在 promise 的 unhandled_exception() 和 return_void() 中主动取消挂起逻辑。更稳妥的做法是:所有 awaitable 都持有一个 weak_ptr 到队列,挂起前检查队列是否还存活。

这个崩溃不会报具体行号,只显示 terminate called without an active exception,排查时容易误判为内存破坏。

热门AI工具

更多
VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

SkildArt
SkildArt Hot

SkildArt是一款AI文本写作工具,一站式 AI 视觉创作平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

相关专题

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

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

2268

2024.03.14

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

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

1039

2024.03.14

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

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

447

2024.03.14

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

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

327

2024.03.14

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

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

426

2024.03.14

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

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

600

2024.03.14

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

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

1429

2024.03.21

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

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

1237

2024.03.22

Gradle插件开发入门教程
Gradle插件开发入门教程

本专题介绍Gradle插件开发的基本流程,涵盖插件类编写、自定义任务注册、扩展参数设计和插件应用方法,帮助你理解插件如何组织构建逻辑,减少多个项目之间的重复配置。

60

2026.10.22

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn