C++协程：异步编程的轻量级解决方案

原创于 2025-05-29 15:53:14 发布 · 440 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #开发语言 #协程 #面试

面试题专栏收录该内容

43 篇文章

订阅专栏

1. 协程的本质与特性

C++20引入的协程（Coroutines）是一种可暂停和恢复的函数，通过co_await、co_yield、co_return三个关键字实现非抢占式任务调度。

与传统线程不同，协程的切换完全由程序控制，无需操作系统介入，因此切换开销极低（纳秒级）。

其核心优势在于：

状态保持：挂起时自动保存局部变量和执行位置
协作式调度：主动让出执行权，避免线程阻塞

2. C++协程的实现机制

C++20采用无栈协程（Stackless Coroutine），通过编译器生成状态机实现协程切换，内存占用仅为传统线程的千分之一（KB级 vs MB级）。关键组件包括：

Promise类型：定义协程行为（如co_await逻辑）
协程句柄（std::coroutine_handle<>）：管理协程生命周期（挂起/恢复/销毁）
可等待对象（Awaitable）：实现await_ready、await_suspend、await_resume方法

3. 典型应用场景

生成器模式：逐步生成数据流（如无限整数序列）

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

异步I/O：非阻塞处理网络请求/文件读写

async_task<void> http_request() {
    auto data = co_await async_download(url); // 挂起等待下载
    process(data);
}

游戏AI：简化状态机逻辑（如敌人巡逻与追击行为）
高并发服务：单线程处理万级连接（如Web服务器）

4. 优势与挑战

优势：

代码可读性强：异步逻辑类似同步写法
资源利用率高：单线程支持大规模并发

挑战：
调试困难：非线性执行路径增加调试复杂度
生命周期管理：需手动控制协程销毁，避免内存泄漏

5. 示例：生成器实现

#include <coroutine>
struct Generator {
    struct promise_type {
        int current_value;
        std::suspend_always yield_value(int v) { 
            current_value = v; 
            return {}; 
        }
        // ...其他必要接口
    };
    std::coroutine_handle<promise_type> handle;
    bool next() { 
        handle.resume(); 
        return !handle.done(); 
    }
    int value() { return handle.promise().current_value; }
};

Generator counter() {
    for(int i=0;;++i) co_yield i; // 无限生成整数
}
// 使用：while(gen.next()) cout << gen.value() << endl;