好资源导航 » 文章资讯 » C++ Coroutine简单学习教程

C++ Coroutine简单学习教程

2023-09-26 02:41:40 85

在C++里，一个函数如果其函数体实现中包含co_await、co_yield、co_return中任何一个关键字，那么这个函数就是一个coroutine。其中：

co_await：挂起当前的coroutine
co_return：从当前coroutine返回一个结果
co_yield：返回一个结果并且挂起当前的coroutine

一个coroutine要能被编译期识别并通过编译，在某些情况下要自己去特化coroutine_traits。下面就一个简单的coroutine来说一说C++编译器是如何修改这个coroutine的。

//我们假定这个模板函数是一个coroutine
template
TRetfunc(TArgsargs…)
{
body;//body里至少包含了co_await、co_yield、co_return三者之一。
}

那么这个函数会被编译器改成如下形式：

//它会被编译期展开成如下形式
template
TRetfunc(TArgsargs...)
{
usingpromise_t=typenamecoroutine_traits::promise_type;

promise_tpromise;
auto__return__=promise.get_return_object();//这个__return__会被编译器特殊处理

co_awaitpromise.initial_suspend();

try
{//co_returnexpr;=>promise.return_value(expr);gotofinal_suspend;
body;//co_return;=>promise.return_void();gotofinal_suspend;
}//co_yieldexpr;=>co_awaitpromise.yield_value(expr);
catch(...)
{
promise.set_exception(std::current_exception());
}

final_suspend:
co_awaitpromise.final_suspend();
}

以上是一个coroutine的基本形式。事实上看完之后会发现，一个coroutine的关键主要还是和其关联的promise。
和coroutinepromise关联的另外一个概念，叫awaitable。Awaitable可以称为一个可等待对象。一个awaitable对象需要实现3个相关函数：

1、await_ready：awaitable实例是否已经ready

2、await_suspend：挂起awaitable。该函数会传入一个coroutine_handle类型的参数。这是一个由编译器生成的变量。suspend过程可以指定该coroutine何时何地以何种方式被resume。比方说实现suspend函数时，将coroutine_handle放到threadpool中。那么当前的coroutine接下来就运行在线程池指派的后台线程中运行了。

3、await_resume：当coroutine重新运行时，会调用该函数。

所以要让一个类型能够awaitable，有三种手段：

1、该类型相关代码无法修改时，需要实现：

boolawait_ready(T&);
voidawait_suspend(T&,coroutine_handle);
autoawait_resume(T&); auto视具体情况而定

2、该类型相关代码可以修改时，需要增加3个成员函数：

boolawait_ready();
voidawait_suspend(coroutine_handlech);
autoawait_resume();

3、实现operatorco_await操作符，返回一个可等待的代理类型，并且实现了上述三个函数。

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持毛票票。

返回顶部
514930285
czq8825@qq.com

C++ Coroutine简单学习教程

热门推荐

随机推荐