在C++20中，协程（coroutine）被正式纳入标准库，极大地简化了异步编程的实现方式。相比传统的回调、线程或基于事件的机制，协程在语义上更接近同步代码，易于阅读、维护，同时还能保持高性能和低资源占用。下面从协程的基本概念、实现原理、标准库支持以及实践案例四个方面进行详细阐述。
一、协程的基本概念
协程是一种可暂停（suspend）与恢复（resume）的函数。调用协程时会立即执行到第一个 co_await、co_yield 或 co_return，随后挂起，返回一个 协程句柄（std::coroutine_handle）。随后可以再次 resume 该句柄，让协程从挂起点继续执行。与线程不同，协程共享同一执行栈，切换成本极低。
二、实现原理
协程的实现核心是“生成器状态机”。在编译阶段，编译器把协程函数拆解成：
- 状态机结构：包含当前状态、局部变量（被“保留”），以及用于执行上下文的栈帧。
- 生成器对象：包装状态机与协程句柄的类，负责协程的生命周期管理。
- 编译器生成的
resume函数：实现状态机的分支逻辑，依据当前状态执行相应代码块，并在遇到挂起点时更新状态并返回。
C++20 通过 promise type（承诺类型）进一步定义协程的生命周期。每个协程函数都有对应的 promise_type，其实现了 get_return_object()、initial_suspend()、final_suspend()、return_value() 等成员，用于控制协程的启动、挂起与返回。
三、标准库支持
C++20标准库在 `
` 头文件中提供了： – `std::coroutine_handle `：协程句柄类型。 – `std::suspend_always` / `std::suspend_never`：用于在协程中控制挂起策略。 – `std::generator `（实验性）：简化生成器的实现。 – `std::future ` 与 `std::shared_future` 的协程适配器：使 `co_await` 与 `std::future` 配合使用。 此外，Boost.Coroutine 和 Asio 的 `async` 模块在 C++20 之前已经提供了成熟的协程支持，随着标准化，许多第三方库逐渐迁移到标准实现。 ## 四、实践案例：协程版的 HTTP 请求 下面给出一个使用 `cppcoro`（开源协程库，已兼容 C++20）实现的异步 HTTP GET 示例。核心思路是将网络读写包装为协程，利用 `co_await` 实现非阻塞等待。 “`cpp #include #include #include #include #include #include #include #include using asio::ip::tcp; namespace coro = cppcoro; coro::async_socket socket(coro::asio_context& ctx) { return coro::async_socket (ctx); } coro::task async_http_get(const std::string& host, const std::string& path) { auto ctx = coro::asio_context{}; auto s = co_await socket(ctx); co_await s.connect(tcp::endpoint{asio::ip::make_address(host), 80}); std::string request = “GET ” + path + ” HTTP/1.1\r\n” “Host: ” + host + “\r\n” “Connection: close\r\n\r\n”; co_await s.write_some(request); std::string response; char buffer[4096]; for (;;) { auto n = co_await s.read_some(buffer); if (n == 0) break; response.append(buffer, n); } co_return response; } int main() { auto task = async_http_get(“example.com”, “/”); std::cout << task.result() << std::endl; } “` **关键点说明：** 1. `coro::async_socket` 通过 `asio` 封装了异步 I/O。 2. `co_await` 用于挂起协程，等待 `connect`、`write_some`、`read_some` 完成。 3. `coro::task` 作为协程返回值类型，提供 `result()` 访问最终结果。 通过协程，代码几乎保持同步样式，避免了回调地狱与显式状态机。若要在多请求并发场景下使用，只需在 `main` 中创建多个 `async_http_get` 任务，并在 `asio_context` 中运行即可。 ## 五、性能与实践建议 – **避免过度拆分**：每个协程切换都涉及状态机跳转，频繁切换对性能有一定影响。可将同一业务流程拆成更少的协程。 – **资源回收**：协程对象占用栈空间较小，但 promise 对象和捕获变量仍会占用堆内存。使用 `co_return` 或 `co_yield` 时尽量避免大对象复制。 – **错误处理**：协程可以抛异常，异常会在 `await_resume()` 处传播。使用 `try/catch` 包裹 `co_await`，或者在 `promise_type` 中自定义 `final_suspend` 进行资源清理。 – **测试**：协程代码更易于单元测试，因为逻辑保持同步。可使用 `gtest` 或 `Catch2` 直接断言协程返回值。 ## 六、总结 C++20 协程为 C++ 生态注入了新的异步编程范式。通过标准化的协程框架，开发者可以编写既简洁又高效的异步代码，避免回调嵌套、手动状态机、以及线程同步的复杂性。随着生态的完善，协程将成为日益普及的异步技术栈之一，值得每位 C++ 开发者深入学习与实践。