标签: coroutines

与该标签相关的所有文章 "coroutines".

• C++ 协程：语言机制、陷阱与实现边界

  2025年10月11日

  C++20 协程的本质是编译器把带 coawait/coyield/coreturn 的函数重写成状态机，把跨 suspend 存活的变量打包到一个堆上的 frame——这是语言级 stackless 协程，不是 Goroutine 式 stackful。标准库只给了 coroutinehandle / suspendalways / suspendnever 这几块地基，不给 Task<T>、不给 Generator（C++23 才加）、不给 executor、不给调度器。要在网络服务器里用，必须自己实现 Task<T>（严格遵守 symmetric transfer 否则链式 coawait 直接栈溢出）+ IoUringAwaiter（绑定到 reactor）。三大杀手级陷阱：协程参数必须按值传（引用参数跨 suspend 必悬挂）、finalsuspend 必须 suspend_always（否则 double-free）、热路径不能依赖 HALO，需要自定义 operator new。

• 现代 C++(三)：Concepts、Ranges、Coroutines、Modules 如何重定义 C++

  2025年8月6日
  现代 C++

  C++20 是继 C++11 之后最大的一次升级，核心是四个范式级特性同时落地：Concepts 把模板错误从 200 行报错变成一行说明，Ranges 用惰性 view + 管道语法重构了整个 STL 算法接口，Coroutines 让异步代码写得像同步（但标准库没给 Task，需要三方库），Modules 终于告别了头文件——每一个单独拎出来都足以改变一整类编程风格。