C++20协程(coroutine)怎么用 异步编程新模式解析

c++++20协程是一种全新的语言机制，用于简化异步编程。它通过co_await、co_yield和co_return关键字实现函数中途挂起与恢复，避免回调地狱；协程函数需返回符合规范的类型，并依赖promise_type定义行为；实际应用中可结合异步io库清晰处理任务；注意事项包括：协程不等同多线程、依赖编译器支持、调试较复杂。

C++20引入了协程（coroutine）特性，为异步编程提供了一种更自然、直观的写法。它不是简单的语法糖，而是一套全新的语言机制，能让你像写同步代码那样处理异步任务。虽然看起来有点复杂，但一旦理解了基本结构和使用方式，就能体会到它的强大。

一、什么是协程？它解决了什么问题？

传统的异步编程通常依赖回调函数或者Future/Promise模型，这种写法在嵌套调用时容易变得难以维护，俗称“回调地狱”。协程的出现让异步流程可以像普通函数一样顺序执行，中间可以“暂停”等待结果，等结果回来后继续执行。

协程的本质是：一个可以在执行中途挂起，并在之后恢复执行的函数。它不会阻塞线程，而是把控制权交还给调用者，等条件满足后再接着运行。

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

二、协程的基本结构

C++20的协程不像Python或JavaScript那样直接支持async/await关键字，而是通过定义协程函数和Promise对象来实现。一个最简单的协程结构如下：

task<> my_coroutine() {
    co_await some_async_operation();
    std::cout << "操作完成\n";
}

关键点说明：

• co_await：用于等待一个异步操作完成，在等待期间协程会挂起。
• co_yield：用于从协程中返回一个值并再次挂起，常用于生成器模式。
• co_return：用于结束协程并返回最终结果。

要使用这些关键词，你的函数必须返回一个符合协程规范的类型，比如标准库中的std::future（需要额外支持），或者第三方库如std::experimental::generator，或者是你自己定义的类型。

三、如何定义一个协程函数？

要写一个协程函数，首先要有一个返回类型，这个类型必须满足协程接口要求。例如：

Figstack

一个基于 Web 的AI代码伴侣工具，可以帮助跨不同编程语言管理和解释代码。

下载

struct MyCoroutine {
    struct promise_type {
        MyCoroutine get_return_object() { return {}; }
        std::suspend_always initial_suspend() { return {}; }
        std::suspend_always final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
    };
};

然后你就可以这样写协程函数：

MyCoroutine do_something() {
    std::cout << "开始任务\n";
    co_await std::suspend_always{};
    std::cout << "继续执行\n";
}

这里的关键是理解promise_type的作用，它决定了协程的行为，比如什么时候开始、什么时候结束、如何返回结果等。

四、实际应用：网络请求与异步IO

协程最常见的用途之一是处理异步IO，比如发起网络请求而不阻塞主线程。你可以配合一些支持协程的库，比如Boost.Asio或微软的winrt，来写出清晰的异步逻辑。

举个例子，假设你有一个异步读取文件的函数：

task read_file_async(const std::string& path) {
    std::ifstream file(path);
    std::string content;
    if (file.is_open()) {
        std::getline(file, content);
        co_return content;
    } else {
        co_return "";
    }
}

然后你可以这样调用：

auto result = co_await read_file_async("data.txt");
if (!result.empty()) {
    std::cout << "读取内容：" << result << "\n";
}

这种方式比传统的回调写法清晰得多，也更容易组合多个异步操作。

五、注意事项和常见误区

• 协程不是多线程：协程本身并不自动创建新线程，它是在当前线程上挂起和恢复执行。如果你需要并发执行，还是要结合线程池或事件循环。
• 编译器支持很重要：目前主流编译器对C++20协程的支持还在完善阶段，特别是MSVC在这方面比较领先，GCC和Clang则有些限制。
• 调试可能更复杂：由于协程的执行是分段进行的，调试时堆栈信息可能不太直观，需要注意日志输出和断点设置的方式。

基本上就这些。协程确实是一个强大的工具，但也需要一定的学习曲线。刚开始可能觉得有点绕，但只要搞清楚co_await、promise_type和调度机制，就能写出结构清晰、易于维护的异步代码。