c++20的协程如何简化异步代码_c++ co_await与co_return入门

C++20协程是可暂停和恢复的函数,通过co_await、co_yield、co_return实现异步编程,编译器将其转为状态机,避免阻塞线程,提升代码可读性与维护性。

异步编程在现代C++中一直是个复杂话题。回调、状态机和future/promise链容易让代码变得难以阅读和维护。C++20引入的协程(Coroutines)提供了一种更自然的方式来编写异步逻辑,通过 co_awaitco_returnco_yield 关键字,让异步代码看起来像同步代码一样直观。

什么是C++20协程?

C++20协程不是操作系统线程,而是一种可暂停和恢复执行的函数。当一个函数包含 co_awaitco_yieldco_return 时,它就成为协程。编译器会将其转换为状态机,自动管理上下文和挂起点。

协程的核心优势在于:你可以写看似“阻塞”的代码,实际不会阻塞线程,而是挂起当前协程,把控制权交还给调用者。

co_await:等待异步操作完成

co_await 是协程中最常用的关键字,用于暂停协程直到某个异步操作完成。它作用于“awaiter”对象——即实现了特定接口的对象(如 await_readyawait_suspendawait_resume)。

例如,假设我们有一个模拟网络请求的异步任务:

struct async_task {
    bool await_ready() { return false; } // 是否立即完成
    void await_suspend(std::coroutine_handle<> h) {
        // 延迟1秒后恢复协程
        std::thread([h] {
            std::this_thread::sleep_for(std::chrono::seconds(1));
            h.resume();
        }).detach();
    }
    int await_resume() { return 42; } // 恢复后返回值
};

使用 co_await 调用它:

int co_func() {
    int result = co_await async_task{};
    std::cout << "Result: " << result << std::endl;
    co_return result;
}

这段代码会暂停1秒,然后继续执行,输出结果。整个过程不阻塞主线程,但写法如同同步代码。

co_return:从协程返回值

co_return 用于结束协程并返回值,类似于普通函数中的 return。但它会触发协程的最终清理,并通知调用方结果已就绪。

注意:协程的返回类型必须支持协程接口,比如自定义一个简单的 task 类型:

template 
struct task {
    struct promise_type {
        T value;
        auto get_return_object() { return task{handle_type::from_promise(*this)}; }
        auto initial_suspend() { return std::suspend_always{}; }
        auto final_suspend() noexcept { return std::suspend_always{}; }
        void return_value(T v) { value = v; }
        void unhandled_exception() { std::terminate(); }
    };
    std::coroutine_handle handle;
    T get() { handle.resume(); return handle.promise().value; }
};

这样就可以在协程中使用 co_return:

task compute() {
    co_return 100;
}

// 使用
auto t = compute();
std::cout << t.get() << std::endl; // 输出 100

简化异步流程的实际好处

没有协程时,多个异步操作需要嵌套回调或链式 future,容易形成“回调地狱”。有了 co_await,可以线性书写:

task fetch_and_process() {
    auto user = co_await fetch_user_async("alice");
    auto data = co_await load_data_async(user.id);
    auto result = co_await send_result_async(data);
    std::cout << "Done: " << result << std::endl;
}

每一步都清晰明了,错误处理也可以用 try/catch 直接捕获异常,无需额外注册错误回调。

基本上就这些。C++20协程降低了异步编程的认知负担,虽然底层机制复杂,但使用层面可以非常简洁。掌握 co_await 与 co_return,是进入现代C++异步世界的第一步。