0

0

C++20协程如何封装异步I/O操作?(响应式编程实践)

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-03-02 12:35:36

|

224人浏览过

|

来源于php中文网

原创

std::coroutine_handle需通过epoll_data.ptr或kevent.udata绑定i/o多路复用器,注册时存地址、唤醒前检查handle.done(),linux用et模式防重复resume,macos配ev_oneshot;await_suspend返回void表示确定挂起,true/false由逻辑判断,suspend_always语义等价于true;await_ready应预检数据就绪(如fionread)以避免无效挂起;异常必须经promise.set_exception()由协程框架传播,不可在awaiter内捕获exception_ptr。

c++20协程如何封装异步i/o操作?(响应式编程实践)

std::coroutine_handle 怎么和 epoll/kqueue 绑定?

协程本身不调度,只是状态机;真正驱动它的是 I/O 多路复用器。关键不是“封装协程”,而是让 std::coroutine_handle 能在 fd 就绪时被安全唤起。

  • 必须把 coroutine_handle 存到用户数据区(比如 epoll_data.ptrkevent.udata),不能只存局部变量地址
  • 唤起前要检查协程是否已销毁(handle.done()),否则调用已析构栈帧会崩溃
  • Linux 上注意 epoll_wait 可能返回多个就绪事件,但一个 coroutine_handle 只应被 resume 一次,避免重复 resume 导致未定义行为
  • macOS 的 kqueue 需配合 EV_ONESHOT 使用,否则事件持续触发,协程反复 resume
// 示例:epoll 中注册读事件并关联 handle
epoll_event ev{};
ev.events = EPOLLIN | EPOLLET;
ev.data.ptr = static_cast<void*>(handle.address());
epoll_ctl(epoll_fd, EPOLL_CTL_ADD, fd, &ev);

await_suspend 返回 void 还是 bool?什么时候用 std::suspend_always

这不是风格选择,而是语义分水岭:await_suspend 返回 void 表示“立刻挂起,后续靠外部唤醒”;返回 bool 表示“我来决定是否挂起”。

  • 如果你已经把 coroutine_handle 注册进 epoll,就该返回 void —— 挂起是确定的,resume 时机由内核通知决定
  • 返回 true 表示挂起,false 表示不挂起、继续执行(适合快速路径,比如缓冲区有数据可直接读)
  • std::suspend_always 是个 tag,仅用于 await_suspend 返回类型为该 struct 时,它等价于返回 true,但更明确表达“不犹豫,必挂起”

常见错误:在 await_suspend 里做阻塞 I/O(如 read()),这会让整个 event loop 卡住 —— 协程挂起逻辑必须是非阻塞的。

怎么避免 co_await 一个已就绪的 socket 造成额外调度开销?

TCP socket 的 recv() 在数据到达时可能立即返回,此时协程不该挂起,而应同步完成。

志设AI
志设AI

志设AI是一站式AI设计平台,集“AI生图 + 在线设计 + 素材交易 + 收益分成”于一体。

下载

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

  • await_ready 中调用 ioctl(fd, FIONREAD, &n)(Linux/macOS)或 WSAEventSelect(Windows)预检是否有数据
  • 注意 FIONREAD 对 TCP 是可靠的,但对 UDP 可能受 MTU 和分片影响,返回值未必等于完整报文长度
  • 如果 await_ready() 返回 trueawait_resume() 必须能立刻返回结果,不能抛异常或触发新挂起
  • 不要依赖 SO_RCVBUF 大小判断就绪,内核接收缓冲区和应用层是否可读是两回事

性能影响:每次 co_await 都走 await_ready → await_suspend → await_resume 三步,其中两步虚函数调用。预检跳过挂起能省下至少一次上下文切换和 epoll_wait 唤醒延迟。

为什么自定义 awaiter 里不能直接捕获 std::exception_ptr

C++20 协程的异常传播机制要求:如果 await_resume() 抛异常,它必须由协程框架自动 rethrow 到恢复点;手动捕获 std::exception_ptr 并在 awaiter 内处理,会破坏这个链路。

  • 错误做法:在 await_resume() 里 try/catch,然后返回错误码 —— 这让调用方无法用 try/catch 捕获原始异常
  • 正确做法:让底层 I/O 函数(如 async_read)在出错时调用 promise.set_exception(),由协程运行时保证异常出现在 co_await 表达式位置
  • 容易忽略的一点:如果 awaiter 构造时就失败(比如 fd 无效),必须在 await_ready() 或构造函数里抛异常,否则协程甚至不会启动

复杂点在于:网络错误(ECONNRESET、ETIMEDOUT)和系统错误(EBADF)需要不同处理粒度,但协程异常机制不区分层级 —— 所以实际项目中往往得在 await_resume() 里重新包装成领域异常,而不是依赖 errno 原样透出。

相关文章

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

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

下载

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

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

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

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

185

2023.11.23

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

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

125

2025.11.27

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

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

430

2023.07.18

堆和栈区别
堆和栈区别

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

599

2023.08.10

promise的用法
promise的用法

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

332

2023.10.12

html文本框类型介绍
html文本框类型介绍

html文本框类型有单行文本框、密码文本框、数字文本框、日期文本框、时间文本框、文件上传文本框、多行文本框等等。详细介绍:1、单行文本框是最常见的文本框类型,用于接受单行文本输入,用户可以在文本框中输入任意文本,例如用户名、密码、电子邮件地址等;2、密码文本框用于接受密码输入,用户在输入密码时,文本框中的内容会被隐藏,以保护用户的隐私;3、数字文本框等等。

425

2023.10.12

windows查看端口占用情况
windows查看端口占用情况

Windows端口可以认为是计算机与外界通讯交流的出入口。逻辑意义上的端口一般是指TCP/IP协议中的端口,端口号的范围从0到65535,比如用于浏览网页服务的80端口,用于FTP服务的21端口等等。怎么查看windows端口占用情况呢?php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

1336

2023.07.26

查看端口占用情况windows
查看端口占用情况windows

端口占用是指与端口关联的软件占用端口而使得其他应用程序无法使用这些端口,端口占用问题是计算机系统编程领域的一个常见问题,端口占用的根本原因可能是操作系统的一些错误,服务器也可能会出现端口占用问题。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1159

2023.07.27

Golang 测试体系与代码质量保障:工程级可靠性建设
Golang 测试体系与代码质量保障:工程级可靠性建设

Go语言测试体系与代码质量保障聚焦于构建工程级可靠性系统。本专题深入解析Go的测试工具链(如go test)、单元测试、集成测试及端到端测试实践,结合代码覆盖率分析、静态代码扫描(如go vet)和动态分析工具,建立全链路质量监控机制。通过自动化测试框架、持续集成(CI)流水线配置及代码审查规范,实现测试用例管理、缺陷追踪与质量门禁控制,确保代码健壮性与可维护性,为高可靠性工程系统提供质量保障。

43

2026.02.28

热门下载

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

精品课程

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

共94课时 | 10.5万人学习

C 教程
C 教程

共75课时 | 5.1万人学习

C++教程
C++教程

共115课时 | 20.1万人学习

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

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