当前位置：首页 > news >正文

C++20 协程：编程新范式与特性解析

news 2026/4/13 16:07:56

C++20 协程：编程新范式与特性解析

在 C++ 的发展历程中，每一次标准的更新都带来了一系列重要的特性和改进，为开发者提供了更强大、更灵活的编程工具。C++20 引入的协程（coroutines）便是其中一项备受瞩目的特性，它为 C++ 编程带来了新的范式和可能性。

协程的基本概念

协程并非一个全新的概念，在其他一些编程语言中早已有所应用。简单来说，协程是一种用户态的轻量级线程，它允许函数在执行过程中暂停和恢复，而不像传统函数那样必须一次性执行完毕。这种特性使得协程在处理异步操作、生成器模式等场景中具有独特的优势。

在传统函数调用中，函数一旦开始执行，就会一直运行到结束，或者遇到 return 语句、异常等情况才会退出。而协程则不同，它可以在执行过程中主动挂起（suspend），将控制权交还给调用者，在适当的时候再恢复执行。这种挂起和恢复的机制是通过特定的关键字和语法来实现的。

C++20 协程的核心组件

C++20 为协程提供了一套相对完整的框架，主要包括三个核心组件：promise_type、awaitable 和 coroutine_handle。

promise_type

promise_type 是协程的一个重要组成部分，它定义了协程的行为和返回值。每个协程都有一个与之关联的 promise_type 对象，该对象负责管理协程的状态、返回值以及异常处理等。例如，当协程挂起时，promise_type 可以保存协程的上下文信息；当协程恢复时，promise_type 可以恢复协程的执行状态。

以下是一个简单的 promise_type 示例：

#include<iostream>#include<coroutine>structMyCoroutinePromise{intvalue;std::suspend_alwaysinitial_suspend(){return{};}std::suspend_alwaysfinal_suspend()noexcept{return{};}voidunhandled_exception(){}MyCoroutinePromise&get_return_object(){return*this;}std::suspend_alwaysreturn_void(){return{};}voidreturn_value(intval){value=val;}};

在这个示例中，MyCoroutinePromise定义了协程的一些基本行为，如初始挂起、最终挂起、异常处理等。

awaitable

awaitable 对象用于实现协程的挂起和恢复操作。一个 awaitable 对象需要提供三个方法：await_ready、await_suspend和await_resume。await_ready用于检查是否可以立即恢复协程的执行；await_suspend用于在协程挂起时执行一些操作，如保存上下文等；await_resume用于在协程恢复时返回一个值。

例如，我们可以定义一个简单的 awaitable 对象来实现延迟操作：

structDelay{intms;boolawait_ready(){returnfalse;}voidawait_suspend(std::coroutine_handle<>h){// 这里可以使用系统 API 实现延迟，例如使用 std::this_thread::sleep_for// 为了简单起见，这里只是模拟std::cout<<"Suspending for "<<ms<<" ms..."<<std::endl;}voidawait_resume(){}};

coroutine_handle

coroutine_handle 是用于操作协程的句柄，它可以用来恢复协程的执行、销毁协程等。通过 coroutine_handle，我们可以在适当的时候恢复被挂起的协程，继续执行剩余的代码。

协程的使用示例

下面我们通过一个简单的生成器示例来展示 C++20 协程的使用。生成器是一种可以按需生成值的协程，它可以用于生成一系列的数据，而不需要一次性将所有数据都生成出来。

#include<iostream>#include<coroutine>structGenerator{structpromise_type{intcurrent_value;std::suspend_alwaysinitial_suspend(){return{};}std::suspend_alwaysfinal_suspend()noexcept{return{};}voidunhandled_exception(){}Generatorget_return_object(){returnGenerator{std::coroutine_handle<promise_type>::from_promise(*this)};}std::suspend_alwaysyield_value(intvalue){current_value=value;return{};}};std::coroutine_handle<promise_type>handle;Generator(std::coroutine_handle<promise_type>h):handle(h){}~Generator(){if(handle)handle.destroy();}intnext(){handle.resume();returnhandle.promise().current_value;}};GeneratorgenerateNumbers(){for(inti=0;i<5;++i){co_yieldi;}}intmain(){Generator gen=generateNumbers();for(inti=0;i<5;++i){std::cout<<gen.next()<<" ";}std::cout<<std::endl;return0;}