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

C++中的co_await是什么?(如何挂起异步任务并等待IO)

云芳大大_9371

云芳大大_9371

发布时间:2026-02-14 08:02:03

|

253人浏览过

|

来源于php中文网

原创

co_await是协程挂起点,用于交出执行权并保存局部变量状态,待异步操作完成后再恢复;它要求函数为协程、编译器启用C++20协程支持、返回类型满足promise_type约束,且awaiter正确实现三函数。

c++中的co_await是什么?(如何挂起异步任务并等待io)

co_await 是什么,它不等于“让程序睡一会儿”

co_await 不是 sleep 或 delay,它是一个挂起点(suspend point),作用是把当前协程的执行权交还给调度器,同时保持栈上局部变量的状态,等某个异步操作(比如网络读、文件 IO)完成后再恢复执行。它只在 std::coroutine_handle 可调度、且 awaiter 实现了 await_ready/await_suspend/await_resume 三函数的前提下才真正生效。

常见错误现象:co_await 在非协程函数里用直接编译失败;在没启用 C++20 协程支持的编译器下(如 GCC 10 默认关掉)报 ‘co_await’ declared here, but no ‘await_transform’ in scope;或者挂起后永远不恢复——大概率是 awaiter 的 await_suspend 没正确触发回调。

  • 必须用 -std=c++20 且开启协程支持:GCC 需加 -fcoroutines,Clang 加 -stdlib=libc++ -fcoroutines-ts(注意 TS 已过时,优先用 C++20 标准)
  • 返回类型必须满足 promise_type 要求,例如 task<int> 这类自定义协程类型,不能直接 co_await 一个 int
  • 底层 IO 必须是非阻塞的,否则挂起没意义——co_await 不会帮你把 read() 变成异步,得靠 epoll/kqueue/IOCP 封装的 awaitable 对象

怎么写一个能 co_await 的 socket read 操作

标准库没提供现成的 awaitable socket,你得自己包装或用第三方(如 libunifex、cppcoro)。核心是让 await_suspend 把协程 handle 注册进事件循环,等 fd 可读时再 resume。

典型使用场景:一个 HTTP server 中,每个请求处理协程需要等待 client 发来完整 header,中间不能阻塞线程。

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

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

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

下载
  • await_suspend 里调用 epoll_ctl(EPOLL_CTL_ADD) + 存储 coroutine_handle 到 per-fd 上下文,而不是直接调用 handle.resume()
  • await_resume 应返回实际读到的字节数或错误码,不是 void —— 否则你不知道 read 成功没
  • 别在 await_ready 里做真实 IO:它只应快速判断是否“已经就绪”,比如缓冲区有残余数据可立刻返回,否则必须返回 false 触发挂起
struct async_read_op {
  int fd;
  std::span<std::byte> buf;
  bool await_ready() { return false; }
  void await_suspend(std::coroutine_handle<> h) {
    register_for_read(fd, [h](ssize_t n) { h.resume(); });
  }
  ssize_t await_resume() { return last_read_result; }
};
// 然后就能:auto n = co_await async_read_op{fd, buf};

为什么 co_await 之后局部变量还在,但 this 可能失效

协程挂起时,栈帧被分配到堆上(通过 promise_type::get_return_object_on_allocation),所以普通局部变量(int x = 42;)能保留;但如果你在成员函数里用 co_await,而对象本身是栈上临时量或已被析构,那 resume 后访问 this->member 就是野指针。

常见错误现象:协程第一次运行正常,resume 后访问成员变量崩溃,gdb 显示 this == 0xdeadbeef;或者 valgrind 报 use-after-free。

  • 确保协程生命周期 ≤ 所依赖对象的生命周期。比如不要在 lambda 捕获局部对象后,把它传给后台调度器长期持有
  • 若需延长对象生命,考虑用 std::shared_ptr<T> 包裹,把 shared_from_this() 捕获进 awaiter
  • 避免在析构函数里 cancel 协程:C++20 不保证协程能安全被 cancel,更稳妥的是用标志位 + 主动检查 + 提前返回

Windows 下 IOCP 和 Linux 下 epoll 的 awaiter 写法差异在哪

差异不在 co_await 语法,而在 awaiter 如何对接底层异步机制:IOCP 是“完成端口”,事件由系统主动投递;epoll 是“等待端口”,需你自己轮询或用 epoll_wait 配合线程池分发。

性能影响明显:IOCP 在 Windows 上单线程可高效处理数万连接;epoll 在 Linux 上依赖 epoll_wait 唤醒策略,若没用 EPOLLET + 边沿触发,可能重复通知导致 busy-loop。

  • IOCP awaiter 的 await_suspend 通常只调用 ReadFileEx,不注册回调函数——完成包由系统自动入队,你的 dispatcher 线程从 GetQueuedCompletionStatus 拿到 handle 后 resume
  • epoll awaiter 得自己管理事件循环线程,await_suspend 要把 fd 加入 epoll 实例,并把 coroutine_handle 存到用户数据区;resume 触发必须来自 epoll_wait 返回后的显式调用
  • 跨平台封装时,别试图统一接口语义:IOCP 的“完成即触发”和 epoll 的“就绪即通知”行为不同,强行抽象容易漏事件或重复 resume

最常被忽略的一点:co_await 的 suspend/resume 不是原子操作,awaiter 的 await_suspend 返回前,协程可能已被外部线程 resume——所以所有共享状态(比如存储 handle 的指针)必须用原子操作或互斥保护,哪怕看起来只写一次。

热门AI工具

更多
讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

SkildArt
SkildArt Hot

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

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

VibeKnow
VibeKnow Hot

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

DeepSeek

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

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

WorkBuddy

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

豆包大模型

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

相关专题

更多
string转int
string转int

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

5199

2023.08.02

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

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

2645

2024.08.29

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

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

3228

2025.08.29

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

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

2285

2025.08.29

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

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

616

2023.11.23

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

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

351

2025.11.27

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

831

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

325

2025.11.08

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

20

2026.09.23

热门下载

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

精品课程

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

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