C++20协程基础概念 异步编程新模型解析

C++20协程通过co_await、co_yield、co_return实现暂停恢复机制，将异步代码转为同步风格，避免回调地狱，降低状态管理复杂度，提升可读性与维护性。

C++20协程提供了一种全新的异步编程范式，它允许开发者以接近同步代码的直观方式编写异步逻辑，极大地简化了传统回调或Future链带来的复杂性，本质上是一种编译器支持的、可暂停和恢复的函数。

解决方案

C++20协程（Coroutines）的出现，无疑是现代C++在异步编程领域迈出的重要一步。它并非一个全新的并发模型，而是一种强大的“控制流抽象”，旨在让异步操作的编写和阅读变得更加自然。在我看来，协程的核心魅力在于它能将那些原本需要通过回调、Promise/Future链条来表达的非阻塞操作，转化为看起来像是顺序执行的、阻塞式的代码。这就像是给函数施了魔法，让它们可以在执行到某个点时“暂停”，等待某个异步事件完成后再从暂停的地方“恢复”，而不需要像传统函数那样一旦开始就必须一口气执行到底。

这种“暂停-恢复”的能力，得益于编译器对特定关键字（

co_await

co_yield

co_return

co_await some_async_operation();

some_async_operation

C++20协程如何简化异步编程的复杂性？

异步编程的复杂性，很多时候来源于其非线性的控制流和状态管理。传统的回调函数模式，虽然直接有效，但当异步操作链条过长或分支过多时，就会迅速演变成臭名昭著的“回调地狱”（Callback Hell），代码缩进层层叠叠，逻辑难以跟踪，错误处理也变得异常棘手。另一方面，基于Future/Promise的模式，虽然在一定程度上改善了回调的嵌套问题，通过链式调用（

.then()

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

C++20协程则提供了一种截然不同的视角。它允许我们以一种“顺序”的方式来表达异步逻辑。想象一下，你正在编写一个需要依次进行网络请求、解析数据、写入数据库的操作。在传统模式下，你可能需要一个回调来处理网络请求的结果，在这个回调里再发起数据库写入，并提供另一个回调来处理写入结果。而有了协程，你可以直接写成：

auto data = co_await fetch_from_network();
auto parsed_data = parse(data);
co_await write_to_database(parsed_data);
// ... 继续执行

这段代码看起来就像是同步的，但实际上，

fetch_from_network()

write_to_database()

co_await

C++20协程的核心关键字

co_await

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

、

co_yield

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

和

co_return

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

登录后复制

有何作用？

C++20协程的强大功能主要通过三个新的关键字来实现，它们各自承担着不同的职责，共同构建了协程的运行机制。

• co_await

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  : 这是最常用的关键字，也是实现异步操作顺序执行的关键。当你在一个协程函数内部使用

  co_await

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  表达式时，它会尝试等待一个“可等待对象”（awaitable object）的结果。如果这个可等待对象尚未准备好（例如，一个异步I/O操作仍在进行中），

  co_await

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  就会暂停当前协程的执行，将控制权交还给调用者或调度器。一旦可等待对象完成，协程就会从暂停点恢复执行，并获取到操作的结果。这个过程是完全非阻塞的，意味着当前线程不会被挂起，可以去执行其他任务。其背后的机制涉及

  await_ready

  登录后复制
  （是否立即就绪）、

  await_suspend

  登录后复制
  （如何挂起协程）和

  await_resume

  登录后复制
  （如何恢复协程并获取结果）这三个成员函数，正是它们定义了可等待对象的行为。

• co_yield

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  : 相较于

  co_await

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  用于等待单个异步结果，

  co_yield

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  主要用于创建“生成器”（generators）或“惰性序列”。一个使用

  co_yield

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  的协程可以多次暂停执行，并在每次暂停时“产生”一个值，然后等待下一次被请求时再继续执行并产生下一个值。这在处理大型数据集、无限序列或需要按需生成值的场景中非常有用，避免了一次性生成所有数据带来的内存或计算开销。它提供了一种优雅的方式来实现生产者-消费者模型，而无需显式地管理队列或线程同步。

• co_return

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  : 这个关键字用于从协程中返回一个值并终止协程的执行。与普通函数的

  return

  登录后复制
  语句类似，

  co_return

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  标志着协程的生命周期结束。如果协程是无返回值的（例如，返回

  void

  登录后复制
  的协程），你可以直接使用

  co_return;

  登录后复制
  。如果协程需要返回一个结果，比如一个

  std::future<int>

  登录后复制
  ，那么

  co_return 42;

  登录后复制
  就会将

  42

  登录后复制
  作为结果传递给等待该协程完成的调用者。值得注意的是，

  co_return

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  的执行也可能触发一些清理工作，例如销毁协程帧。

这三个关键字并非孤立存在，它们共同赋予了C++协程极大的灵活性和表现力。

co_await

co_yield

co_return

C++20协程与传统线程、回调函数在异步模型上有何根本区别？

理解C++20协程，关键在于区分它与传统线程以及回调函数在异步模型上的根本差异。这三者虽然都能用于处理并发或异步任务，但它们在资源消耗、调度方式和编程范式上存在着本质的区别。

• 传统线程（Threads）: 线程是操作系统层面的并发单元。每个线程都有自己的独立执行栈，由操作系统调度器进行抢占式（preemptive）调度。这意味着操作系统可以在任何时候中断一个线程的执行，切换到另一个线程。线程间的切换涉及到上下文切换的开销，这通常是比较“重”的操作，包括保存和恢复寄存器、程序计数器、栈指针等。此外，多线程编程常常面临共享状态的同步问题（如死锁、竞态条件），需要引入锁、互斥量等复杂的同步机制。线程适用于CPU密集型任务，或者需要真正并行执行的场景。

• 回调函数（Callbacks）: 回调函数是一种事件驱动的异步编程模型。当一个异步操作启动后，它会立即返回，并在操作完成时，通过调用预先注册的“回调函数”来通知结果。这种模型的优点是避免了线程的创建和上下文切换开销，因为所有操作通常都在同一个线程上执行。然而，其缺点在于逻辑分散，难以追踪，容易导致“回调地狱”，且错误处理和异常传播也变得复杂。开发者需要手动管理大量的状态和流程，因为程序的执行流不再是线性的。

• C++20协程（Coroutines）: 协程则是一种用户态的、协作式（cooperative）的并发机制。与线程不同，协程的切换不是由操作系统强制进行的，而是由协程自身通过

  co_await

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  、

  co_yield

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制

  登录后复制
  等关键字主动暂停并交出控制权。这意味着协程的上下文切换开销非常小，因为它不涉及操作系统层面的调度，仅仅是保存和恢复少量的寄存器状态以及协程帧。协程没有独立的栈，它们是“栈无关”（stackless）的，其局部变量和状态都保存在一个由编译器管理的“协程帧”中，这个帧可以分配在堆上。

  协程的本质在于它改变了函数的“暂停-恢复”行为，让异步代码看起来像同步代码。它并不提供并行执行的能力，一个协程依然运行在某个线程上。它的强大之处在于作为一种异步操作的组合工具，它允许开发者以线性、直观的方式表达复杂的异步流程，从而避免了回调函数的嵌套地狱和手动状态管理。你可以把协程看作是“轻量级的线程”，但它们是协作式的，而非抢占式的，这使得它们的调度和切换更加高效。在处理大量I/O密集型任务时，协程能够以极低的资源消耗实现高并发，远超传统线程模型。它更像是在一个线程内，通过精巧的控制流管理，实现多个“逻辑任务”的交替执行。

以上就是C++20协程基础概念 异步编程新模型解析的详细内容，更多请关注php中文网其它相关文章！