C++ std::coroutine协程入门 _ co_await与co_return基础【详解】

千晨吖_2082

千晨吖_2082

2026-04-14

460人浏览

原创

c++20协程不自动调度或启动线程,co_await/co_return仅触发编译器生成的状态机;卡住主因是promise_type未配齐或coroutine_handle未持有/未手动resume。

c++ std::coroutine协程入门 _ co_await与co_return基础【详解】

直接说结论:C++20 的 co_awaitco_return 本身不启动线程、不调度、不自动 resume,它们只是编译器生成状态机的触发点;你写对了关键字,但协程不跑——大概率是 promise_type 没配对,或 coroutine_handle 没被持有/没手动 resume。

为什么 co_await 表达式挂起后就卡住不动?

co_await 不是“等系统完成”,而是走三步协议:await_ready() → 若返回 false,调用 await_suspend(handle) → 然后真挂起。常见卡死现象:你用了 std::suspend_always{},但它不自动唤醒,必须靠外部调用 handle.resume() 才能继续。

  • 别指望 co_await std::suspend_always{} 自己恢复——它只负责挂起,唤醒全靠你
  • 如果 await_suspend 返回 voidtrue,协程挂起后立即返回到调用方,handle 必须被安全持有(比如用 std::shared_ptr 包一层),否则 resume 时访问已销毁内存会崩溃
  • 返回 false 表示“我自行处理唤醒”,此时你得确保在某个时刻调用 handle.resume(),且不能在栈上临时构造 handle 后就让它析构

co_return 后怎么拿到返回值?

返回值不通过栈传递,也不存在函数局部变量里——它被存进 promise_type 的成员变量中,由 co_return expr 触发 return_value(expr) 写入。所以你必须让协程返回对象(如 Task)持有 std::coroutine_handle<promise_type></promise_type>,才能在之后读取 handle.promise().value

C++ 算法竞赛自动化测试数据生成与校验框架
C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据,自动套用 testlib 模板,用于用户要求生成测试数据时。

下载
  • 没定义 return_value(T)co_return 42 会编译失败;写成 return_void() 却又带值,也会报错
  • Task 对象若只在栈上短暂存在,而你延迟访问 handle.promise().value,可能读到未初始化或已被覆盖的垃圾值——因为 promise 对象生命周期绑定于协程帧,帧释放后数据失效
  • 若用 co_return 抛异常,但 unhandled_exception() 是空实现,程序直接 std::terminate(),不会传播异常

promise_type 最小必要接口有哪些?

缺一不可。编译器生成协程代码时,硬性要求这些函数存在,哪怕只做最简实现。少一个,连编译都过不去。

  • get_return_object():必须返回协程句柄关联的对象(如 Task{handle}),不能返回临时对象
  • initial_suspend():决定协程一创建就运行(std::suspend_never{})还是先挂起(std::suspend_always{});设错会导致“函数调用完就结束”,根本看不到 co_await 效果
  • final_suspend():影响资源清理时机。设为 std::suspend_always{} 可让你在协程结束后读取返回值或捕获异常;设为 std::suspend_never{} 则协程帧立即释放,promise 成员不可再访问
  • return_void()return_value(T):按协程是否带返回值二选一,不能两个都不写
  • unhandled_exception():建议至少写成 std::terminate(),否则异常会静默吞掉

coroutine_handle 拿到后为什么一 resume 就崩溃?

崩溃主因是 coroutine_handle 指向的协程帧(含 promise 和局部变量)已被释放,但你还试图 resume 它。协程帧默认堆分配,但谁负责 delete?没人管——除非你在 final_suspend 里显式回收,或用 RAII 封装。

  • 不要把 coroutine_handle 存在栈上并跨作用域使用;更别把它传给另一个线程后,原线程立刻退出作用域
  • 如果 final_suspend() 返回 std::suspend_always{},你必须自己调用 handle.destroy() 释放帧;漏掉就会内存泄漏
  • std::coroutine_handle::from_address() 从裸指针重建 handle 时,必须确保地址确实指向有效协程帧,否则行为未定义

真正难的不是写对语法,而是理解:协程帧的生命周期、promise 成员的存活期、handle 的所有权归属——这三者一旦错位,表现就是随机崩溃或读到垃圾值,调试时很难关联到根源。

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

相关专题

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

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

2023.11.23

616

5

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

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

2025.11.27

331

13

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

2026.04.23

299

31

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

2023.10.19

3028

3

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

2025.10.17

4169

12

php8.4实现接口限流的教程
php8.4实现接口限流的教程

PHP8.4本身不内置限流功能,需借助Redis(令牌桶)或Swoole(漏桶)实现;文件锁因I/O瓶颈、无跨机共享、秒级精度等缺陷不适用高并发场景。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2025.12.29

3649

9

java接口相关教程
java接口相关教程

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

2026.01.19

346

15

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

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

2023.07.18

4427

5

堆和栈区别
堆和栈区别

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

2023.08.10

2048

6

热门下载

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

精品课程

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