0

0

c++的co_await和co_yield关键字如何使用? (协程核心)

尼克

尼克

发布时间:2026-01-14 16:24:08

|

676人浏览过

|

来源于php中文网

原创

c++20协程函数需满足三条件:返回类型含promise_type嵌套类型;该类型提供get_return_object等四个必需成员函数;函数体含co_await/co_yield/co_return之一。

c++的co_await和co_yield关键字如何使用? (协程核心)

这两个关键字本身不直接“使用”,它们只在 co_awaitco_yield 表达式中出现,且仅允许出现在 协程函数(即返回类型满足协程要求、含 co_await/co_yield/co_return 的函数)内部。强行在普通函数里写会编译失败。

怎么让一个函数变成协程函数?

不是加个 co_await 就行——C++20 要求函数满足三个条件:

  • 返回类型声明了 promise_type 嵌套类型(如 std::future<int></int>task<int></int> 等自定义类型)
  • promise_type 至少提供 get_return_object()initial_suspend()final_suspend()unhandled_exception() 四个成员
  • 函数体中至少出现一次 co_awaitco_yieldco_return

标准库没提供开箱即用的协程返回类型(std::generator 是 C++23 才加入的),所以你大概率得自己写 task 或用第三方库(如 libcorocppcoro)。否则连编译都过不去。

co_await 的实际行为取决于 awaiter

co_await expr 时,编译器会尝试从 expr 构造一个 awaiter 对象(通过 expr.operator co_await()operator co_await(expr)),然后调用它的三个关键方法:

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

Tago AI
Tago AI

AI生成带货视频,专为电商卖货而生

下载
  • await_ready():返回 bool,若为 true,则不挂起,直接执行后续逻辑
  • await_suspend(coroutine_handle h):决定是否挂起;若返回 void,表示挂起并移交控制权;若返回 booltrue 表示挂起,false 表示继续执行;若返回另一个 coroutine_handle,则直接跳转到那个协程
  • await_resume():挂起恢复后调用,其返回值成为 co_await expr 整体表达式的值

常见误用:以为 co_await std::this_thread::sleep_for(...) 合法——其实不行,因为 sleep_for 不是可等待对象。你需要包装成 timer_awaitable 或用支持协程的异步 I/O 库(如 asio::steady_timer::async_wait)。

co_yield 本质是 co_await promise.yield_value(...)

它只对生成器类协程有意义(比如想实现类似 Python 的 yield)。

  • 触发 promise_type::yield_value(value),这个函数必须返回一个 awaitable
  • 典型实现中,yield_valuevalue 存入缓冲区,返回一个始终就绪(await_ready() == true)的 awaitable,保证每次 co_yield 后立即返回控制权给调用方
  • std::generator<t></t>(C++23)就是基于这套机制,但它的 promise_type 是标准定义的,不可直接用于 C++20

注意:co_yield 不能用在返回 task<t></t> 这类“单次返回”语义的协程里——编译器会报错,因为对应 promise_type 没有 yield_value 成员。

调试协程时最常忽略的点

协程不是传统调用栈:挂起后局部变量存在 coroutine frame 里(堆或栈上,取决于分配策略),不会随函数返回销毁。但这也意味着:

  • 如果 awaiter 在 await_suspend 中保存了 coroutine_handle 却忘了调用它(比如 timer 到期后没 resume),协程就永久挂起,无任何错误提示
  • co_yieldco_await 后的代码可能跨多次调用才执行,别在其中放依赖单次执行顺序的副作用(如全局计数器递增)
  • 异常传播路径变复杂:unhandled_exception() 在 promise 里捕获,但若你没重写它,默认会调用 std::terminate()

没有运行时协程调度器(如 asio 的 io_context 或手动写的线程池),co_await 只是语法糖,不会自动并发——这点比 Go 的 goroutine 或 Rust 的 async/await 更底层、也更易出错。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全

C++系统编程中的内存管理是指 对程序运行时内存的申请、使用和释放进行精细控制的机制,涵盖了栈、堆、静态区等不同区域,开发者需要通过new/delete、智能指针或内存池等方式管理动态内存,以避免内存泄漏、野指针等问题,确保程序高效稳定运行。它核心在于开发者对低层内存有完全控制权,带来灵活性,但也伴随高责任,是C++性能优化的关键。

13

2025.12.22

Rust异步编程与Tokio运行时实战
Rust异步编程与Tokio运行时实战

本专题聚焦 Rust 语言的异步编程模型,深入讲解 async/await 机制与 Tokio 运行时的核心原理。内容包括异步任务调度、Future 执行模型、并发安全、网络 IO 编程以及高并发场景下的性能优化。通过实战示例,帮助开发者使用 Rust 构建高性能、低延迟的后端服务与网络应用。

9

2026.02.11

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

8

2026.03.05

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

930

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

603

2024.08.29

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

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

294

2025.08.29

C++中int的含义
C++中int的含义

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

212

2025.08.29

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

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

186

2023.11.23

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

4

2026.03.05

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
最新Python教程 从入门到精通
最新Python教程 从入门到精通

共4课时 | 22.5万人学习

Django 教程
Django 教程

共28课时 | 4.8万人学习

SciPy 教程
SciPy 教程

共10课时 | 1.8万人学习

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

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