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

C++如何实现简单的协程调度_C++20异步编程协程基本概念【趋势】

轻婷姑娘_2428

轻婷姑娘_2428

发布时间:2026-02-05 13:32:02

|

392人浏览过

|

来源于php中文网

原创

C++20协程不带调度器,需手动实现调度逻辑;co_await仅为挂起/恢复语法糖,不决定恢复时机与执行者;最简FIFO调度器需管理句柄存取与resume,并严格控制生命周期。

c++如何实现简单的协程调度_c++20异步编程协程基本概念【趋势】

C++20 协程本身不带调度器,必须手动实现调度逻辑——这是所有初学者最容易误以为“协程自带线程/队列”的关键误区。


为什么不能直接 co_await 就自动跑起来?

因为 co_await 只是挂起/恢复的语法糖,它不决定“谁来恢复”“何时恢复”。编译器生成的状态机默认把控制权交还给调用者,而调用者(比如 main())通常不会主动去 resume 你。没有调度器,协程就只是个一动不动的句柄。

常见错误现象:

  • 调用一个返回 task 的协程函数后,程序立刻退出,什么都没打印
  • 用 std::suspend_always{} 挂起,但没人调用 handle.resume(),协程永远卡住
  • 多个协程注册进队列,但只 run 了一次就停了,没轮转

根本原因:C++20 协程是无栈、懒启动、完全用户控制的——调度器是你写的,不是语言给的。

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


最简 FIFO 调度器怎么写?

核心就三件事:存句柄、取句柄、resume 句柄。不需要锁(单线程),也不需要复杂状态管理(初始/终挂起全设为 std::suspend_always)。

实操建议:

  • 用 std::queue<std::coroutine_handle<>> 存待执行协程
  • 协程 promise_type 中,initial_suspend() 返回 std::suspend_always{},确保创建后不自动执行
  • final_suspend() 也返回 std::suspend_always{},让协程结束时不销毁,方便调度器回收或判断完成
  • 调度器 run() 方法里循环 pop + resume,并在 resume 后检查 handle.done() 决定是否丢弃

示例片段(promise_type 关键部分):

C++14
C++14

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

下载
struct task_promise {
    task get_return_object() { return task{this}; }
    std::suspend_always initial_suspend() noexcept { return {}; }
    std::suspend_always final_suspend() noexcept { return {}; }
    void return_void() {}
    void unhandled_exception() { std::terminate(); }
};

协程 handle 怎么安全入队和出队?

协程句柄是轻量值类型,可拷贝、可移动,但一旦 resume() 或 destroy() 过,再访问就是未定义行为。所以调度器必须严格管理生命周期。

容易踩的坑:

  • 把局部协程的 handle 直接 push 到全局队列——协程栈帧可能已析构(错!promise 和局部变量都在堆上分配,只要没 destroy 就安全)
  • resume 后没及时 pop,导致重复 resume(崩溃或逻辑错乱)
  • 协程内部抛异常但 unhandled_exception() 没处理,resume() 后直接 terminate

正确做法:

  • 在 get_return_object() 中返回一个包装对象(如 task),内部持有 std::coroutine_handle<> 并负责最终 destroy()
  • 调度器 run() 中 resume 前先 if (!h.done()) h.resume();,resume 后立即 if (h.done()) h.destroy();

什么时候该用 std::suspend_never?

std::suspend_never 表示“协程创建即执行,直到第一个挂起点”,适合那些想立刻开始、但中间仍需异步等待的场景(比如初始化 IO、发请求)。但它会让调度器“错过”协程启动时机——因为你没机会把它塞进队列。

使用场景:

  • 协程体第一行是同步计算,之后才 co_await 网络响应(这时用 initial_suspend() = suspend_never 合理)
  • 你明确不想让调度器接管启动阶段,而是由业务代码显式触发(比如按钮点击后才运行)

但注意:final_suspend() = suspend_never 是危险操作——协程结束会自动 destroy(),你无法拦截、统计、清理资源。除非你 100% 确保 promise 对象生命周期完全受控,否则一律用 suspend_always。

真正的难点不在语法,而在「谁在什么时候持有 handle、谁负责 destroy、谁保证不 double-resume」——这些都得靠你写的调度器逻辑兜底,C++20 不替你做任何假设。

相关文章

编程速学教程(入门课程)
编程速学教程(入门课程)

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

下载

相关标签:

c++

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

热门AI工具

更多
WorkBuddy

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

豆包大模型

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

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

咔片AIPPT

一款在线AI演示文稿制作工具,可根据主题和内容需求辅助生成PPT结构与页面,提高演示材料制作效率。

VibeKnow
VibeKnow Hot

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

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

DeepSeek

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

墨刀AI
墨刀AI Hot

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

相关专题

更多
c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

4128

2025.08.29

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

784

2025.10.23

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

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

6067

2023.07.18

堆和栈区别
堆和栈区别

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

2568

2023.08.10

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

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

6067

2023.07.18

堆和栈区别
堆和栈区别

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

2568

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

4338

2023.08.10

promise的用法
promise的用法

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

4540

2023.10.12

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

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

40

2026.10.22

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
GDB Reference Card
GDB Reference Card

共0课时 | 0人学习

《Debugging with GDB》用户手册
《Debugging with GDB》用户手册

共0课时 | 0人学习

Valgrind FAQ
Valgrind FAQ

共0课时 | 0人学习

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

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