C++20正式引入了协程（Coroutines），这是一项深刻影响异步编程和生成器实现的语言级特性。协程让你可以以同步的写法处理异步任务，代码更易读、维护成本更低。下面我们从底层实现到实际应用，逐步拆解协程的核心概念与使用方法。
一、协程的基本组成
- 协程函数：使用
co_await、co_yield或co_return的函数，返回类型必须是std::future,std::generator,std::task等协程特定类型。 - 协程句柄 (
std::coroutine_handle)：内部管理协程的状态与生命周期。通过句柄可以手动恢复或销毁协程。 - 协程 promise：每个协程函数都隐式生成一个
promise_type，负责创建初始句柄、处理co_await/co_yield返回值、异常传递等。
二、实现协程库的核心步骤
template<class T>
struct Task {
struct promise_type {
T value_;
Task get_return_object() {
return Task{ std::coroutine_handle <promise_type>::from_promise(*this) };
}
std::suspend_never initial_suspend() { return {}; }
std::suspend_always final_suspend() noexcept { return {}; }
void return_value(T v) { value_ = std::move(v); }
void unhandled_exception() { std::terminate(); }
};
std::coroutine_handle <promise_type> handle_;
T get() { return handle_.promise().value_; }
};上面示例展示了一个最简 `Task
`，实现了基本的协程生命周期管理。实际库会根据需求添加异常捕获、超时、取消等功能。 三、典型协程用例 1. **异步IO** 结合 `asio::awaitable`，在网络请求、文件读写中无阻塞地等待完成。 “`cpp asio::awaitable download(url) { auto socket = co_await asio::ip::tcp::socket{io_context}; co_await socket.async_connect(remote_endpoint, use_awaitable); // … } “` 2. **生成器** 使用 `co_yield` 生成序列，支持惰性求值。 “`cpp std::generator range(int n) { for (int i = 0; i < n; ++i) co_yield i; } “` 3. **状态机** 将复杂的流程拆分为多步协程，利用 `co_await` 让每一步在事件完成后恢复，代码更直观。 四、性能与最佳实践 – **避免不必要的暂停**：`std::suspend_always`会导致每次调用都产生句柄切换，必要时使用 `std::suspend_never`。 – **内存管理**：协程的堆栈由编译器实现，堆栈大小不可预估，适当限制协程数量。 – **异常传播**：`promise_type::unhandled_exception`默认 `terminate`，可改为返回 `std::exception_ptr` 供调用方捕获。 – **协程与线程池结合**：在协程里发起 `co_await` 调用时，把耗时任务交给线程池，避免阻塞协程线程。 五、实战案例：异步数据库查询 “`cpp struct DBQueryTask { struct promise_type { /* …实现省略…*/ }; std::coroutine_handle h_; // … }; DBQueryTask query_user(int id) { auto conn = co_await db::connect_async(); // 异步连接 auto stmt = co_await conn.prepare_async(“SELECT * FROM users WHERE id=?”); stmt.bind(1, id); auto res = co_await stmt.execute_async(); // 异步执行 User user; if (res.next()) user = res.get (); co_return user; } “` 在主线程中直接 `auto user = co_await query_user(42);` 即可获得结果，整个过程无阻塞，且代码保持同步式结构。 六、总结 C++20 的协程为 C++ 开发者提供了一种全新的异步编程范式。它既能替代传统的回调、状态机，也能提升生成器、流式计算等场景的表达力。掌握协程的核心概念、实现细节与最佳实践，能让你在高并发、低延迟的系统中游刃有余。随着标准库和第三方框架（如Boost.Asio, cppcoro）的完善，协程将在未来的 C++ 项目中占据越来越重要的位置。