C++20引入的协程是继lambda表达式之后最重要的语言特性之一。它提供了一种无需堆栈分配即可挂起和恢复函数执行的能力，使得异步编程可以用同步风格编写。然而，协程的学习曲线陡峭，概念复杂，实现细节充满陷阱。理解协程的底层机制，对于有效使用这一强大工具至关重要。
参考：https://xrzqr.cn/category/travel-advice.html
协程与普通函数的根本区别在于：协程可以被挂起，然后在稍后的时间点恢复执行。普通函数调用从开始到结束是原子的，而协程可以在中间退出，让其他代码运行，之后再回来继续执行。这种能力使得协程成为处理异步IO、惰性求值、生成器、事件驱动系统的理想选择。
C++协程是无栈的，这意味着协程的状态不保存在调用栈上，而是存储在堆分配的协程帧中。当协程被挂起时，其局部变量和挂起点的位置被保存到协程帧中；当协程恢复时，这些状态从协程帧中恢复，执行继续。无栈协程的优点是轻量级——创建数百万个协程是可行的，而创建同样数量的线程会耗尽系统资源。缺点则是协程帧的堆分配有一定开销，且不能嵌套挂起（协程只能在函数的最内层挂起，不能跨越多层调用）。
参考：https://xrzqr.cn/category/disaster-warning.html
协程的实现基于一组编译器转换规则和库设施。当一个函数体内出现co_await、co_yield或co_return关键字时，该函数被编译器转换为协程。编译器生成一个状态机，将函数的控制流划分为多个片段，每个片段对应一个挂起点到下一个挂起点的执行路径。协程的局部变量被提升到协程帧中，保证在挂起期间不被销毁。
co_await是协程的核心操作符。它接受一个等待体（awaitable），并执行以下步骤：检查等待体是否就绪；如果就绪，继续执行；如果未就绪，挂起当前协程，并将控制权返回给调用者或恢复者。等待体可以是任何定义了await_ready、await_suspend和await_resume三个方法的类型。标准库提供了std::suspend_always（总是挂起）和std::suspend_never（从不挂起）作为常用的等待体。
协程的另一个关键组件是承诺对象（promise）。承诺对象管理协程的结果值、异常和协程生命周期。每个协程关联一个承诺类型，该类型定义了协程如何返回结果、如何处理异常、以及协程被挂起或销毁时的行为。标准库提供了std::coroutine_traits来推导承诺类型，开发者可以通过特化该特征来定制协程的行为。
参考：https://xrzqr.cn/category/weather-science.html
协程的常见应用之一是生成器。生成器是一种按需产生值的协程，每次恢复时产生一个值，然后再次挂起。例如，一个生成斐波那契数列的协程，可以在循环中co_yield每个数，而调用者每次从生成器中取出一个值。这种模式避免了预先存储整个序列的内存开销，实现了惰性求值。
异步IO是协程的另一个主要应用场景。传统异步IO使用回调或Future/Promise模式，导致代码碎片化和“回调地狱”。使用协程后，异步操作可以写成同步风格：co_await socket.async_read(buffer);看起来就像阻塞读，但实际上在等待IO完成期间，协程被挂起，线程可以处理其他任务。这种写法既保持了可读性，又获得了异步的性能优势。
协程的错误处理是另一个重要方面。协程内部可以通过try/catch捕获异常，也可以通过承诺对象的unhandled_exception方法处理未捕获的异常。当协程通过co_return返回值时，承诺对象的return_value方法被调用；当协程通过co_return返回void时，return_void被调用。
协程的性能特征值得关注。每个协程都需要堆分配协程帧，除非编译器能够优化掉分配（例如协程的生命周期完全在调用栈内）。堆分配的开销对于高性能场景可能不可接受，但可以通过自定义分配器来缓解。协程挂起和恢复的开销通常为几十个时钟周期，远小于线程上下文切换（数千个周期），但仍然高于普通函数调用。
参考；https://xrzqr.cn/category/city-forecast.html
协程的设计中存在一些令人困惑的角落。例如，协程的初始挂起点：协程在被调用时，并不会立即执行到第一个co_await，而是先执行到第一个挂起点，或者如果没有任何挂起点，则执行到结束。这意味着协程可以同步完成而不挂起。另一个陷阱是协程的生命周期管理：协程可以被销毁而不恢复（例如提前释放协程句柄），这要求承诺对象正确处理这种情况。
协程与RAII的交互需要特别注意。协程帧中的局部变量在协程挂起期间保持活动，但如果在协程挂起后，这些变量所持有的资源（如文件句柄、锁）可能应该被释放。开发者需要仔细设计协程的挂起语义，确保资源不会超出预期生命周期。
协程的标准化之路并非一帆风顺。C++20的协程设计被称为“无栈协程的汇编语言”，因为它提供了底层机制而非高层抽象。标准库只提供了极少的协程支持——没有调度器、没有任务类型、没有异步运行时。这迫使开发者自己构建这些设施，或依赖第三方库（如cppcoro、folly）。C++23对此有所改善，引入了std::generator，但异步任务类型仍然缺失。
未来展望：C++26可能在协程方面有进一步改进，包括简化协程的接口、提供标准异步任务类型、以及改进协程与范围库的集成。社区也在探索有栈协程的标准化可能性，但鉴于无栈协程已经进入标准，有栈协程的加入可能需要更长时间。
对于大多数C++开发者而言，协程的最佳实践是：使用经过充分测试的协程库，而不是从头实现自己的承诺类型；避免在性能关键路径上过度使用协程；确保理解协程的所有权模型和生命周期；在团队内建立协程的使用规范，避免混合同步和异步代码造成的混乱。
协程代表了C++异步编程范式的转变。它不会取代线程——对于计算密集型任务，线程仍然是合适的选择。但对于IO密集型任务、事件驱动系统和高并发服务，协程提供了一种更优雅、更高效的解决方案。随着工具链的成熟和社区经验的积累，协程将在C++生态中扮演越来越重要的角色。
参考：https://xrzqr.cn
