C++中的协程(coroutine)是什么_C++异步编程与协程基础解析

C++20协程是一种可暂停和恢复的函数执行模型，通过co_await、co_yield、co_return实现异步编程，编译器将其转化为状态机，适用于生成器和异步任务场景。

协程（Coroutine）是C++20引入的一种新的函数执行模型，它允许函数在执行过程中暂停并保存当前状态，之后可以从暂停的位置继续执行。与普通函数不同，普通函数一旦调用就必须运行到返回，而协程可以在中途“挂起”，把控制权交还给调用者，后续再恢复执行。

协程的基本概念

协程不是线程，也不是操作系统级别的任务调度单元，而是一种用户态的、轻量级的并发编程机制。它的核心特点是：可暂停和恢复执行流程，这使得编写异步代码更加直观，避免了回调地狱或复杂的Future链式调用。

C++中的协程基于三个关键词支持：

• co_await：用于等待一个异步操作完成，期间可以挂起协程。
• co_yield：用于生成一个值并挂起，常用于实现生成器（generator）。
• co_return：用于从协程中返回结果，并结束执行。

只要函数体内使用了上述任意一个关键字，该函数就被视为协程，编译器会将其转换为状态机形式进行管理。

立即学习“C++免费学习笔记（深入）”；

协程的工作机制

当一个函数被识别为协程后，编译器会自动生成一个对应的“协程帧”（coroutine frame），用来保存局部变量、执行状态以及控制恢复的信息。这个帧通常在堆上分配，由运行时管理生命周期。

协程依赖于一个称为promise type的类型来定义行为。每个协程都会关联一个 promise 对象，它决定了协程如何启动、如何返回值、如何处理异常等。此外，协程返回的对象（比如task 或 generator）负责与外部交互。

典型流程如下：

Bika.ai

打造您的AI智能体员工团队

下载

• 调用协程函数时，立即返回一个对象（不执行主体）。
• 通过该对象触发首次执行，进入协程体。
• 遇到 co_await 且条件未满足时，协程挂起，控制权交还。
• 异步操作完成后，恢复协程继续执行。
• 直到遇到 co_return 或结束，协程销毁帧并通知结果。

常见用途与示例

协程非常适合用于异步I/O、网络请求、事件驱动系统和数据流处理等场景。下面是一个简单的生成器示例，使用 co_yield 实现惰性序列：

generator range(int start, int end) {
    for (int i = start; i < end; ++i) {
        co_yield i;
    }
}

// 使用方式
for (int value : range(1, 5)) {
    std::cout << value << " ";
}
// 输出: 1 2 3 4

另一个例子是异步任务，使用 co_await 等待延迟操作：

task async_wait_example() {
    std::cout << "Start\n";
    co_await delay(1s); // 假设 delay 返回一个可等待对象
    std::cout << "After 1 second\n";
}

这种写法看起来像同步代码，实则非阻塞，极大提升了可读性和维护性。

协程的优势与注意事项

优势很明显：简化异步编程模型，减少回调嵌套，提升代码清晰度。尤其适合高并发服务端开发。

但也要注意以下几点：

• 协程帧默认在堆上分配，频繁创建可能带来内存开销。
• 编译器对协程的支持仍在演进，不同标准库实现可能存在差异。
• 调试协程比普通函数困难，栈信息不连续。
• 需要自行设计或选用合适的 task/generator 类型来配合使用。

基本上就这些。C++协程不是银弹，但它为现代异步编程提供了更优雅的路径。掌握其原理和使用模式，能显著提升复杂异步系统的开发效率。