C++ Coroutine简单学习教程

在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 <typename TRet, typename … TArgs>
TRet func(TArgs args…)
{
 body; // body里至少包含了co_await、co_yield、co_return三者之一。
}

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

// 它会被编译期展开成如下形式
template <typename TRet, typename ... TArgs>
TRet func(TArgs args...)
{
 using promise_t = typename coroutine_traits<TRet, TArgs...>::promise_type;

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

 co_await promise.initial_suspend();

 try
 {   // co_return expr; => promise.return_value(expr); goto final_suspend;
  body; // co_return;  => promise.return_void(); goto final_suspend;
 }   // co_yield expr; => co_await promise.yield_value(expr);
 catch (...)
 {
  promise.set_exception(std::current_exception());
 }

final_suspend:
 co_await promise.final_suspend();
}

以上是一个coroutine的基本形式。事实上看完之后会发现，一个coroutine的关键主要还是和其关联的promise。
和coroutine promise关联的另外一个概念，叫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、该类型相关代码无法修改时，需要实现：

bool await_ready(T &);
void await_suspend(T &, coroutine_handle<promise_type>);
auto await_resume(T &);  auto视具体情况而定

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

bool await_ready();
void await_suspend(coroutine_handle<promise_type> ch);
auto await_resume();

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

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

赞 (0)

相关推荐

  • c++支持coroutine的简单示例

    平台:linux依赖:g++ supports c++0x 复制代码 代码如下: void func1(){    coroutine.yield();} void func2(Coro_t co1){    coroutine.resume(co1);        coroutine.yield();} void func(){    Coro_t co1 = coroutine.create(std::bind(&func1));        coroutine.resume(co1);

  • C++ Coroutine简单学习教程

    在C++里,一个函数如果其函数体实现中包含co_await.co_yield.co_return中任何一个关键字,那么这个函数就是一个coroutine.其中: co_await:挂起当前的coroutine co_return:从当前coroutine返回一个结果 co_yield:返回一个结果并且挂起当前的coroutine 一个coroutine要能被编译期识别并通过编译,在某些情况下要自己去特化coroutine_traits.下面就一个简单的coroutine来说一说C++编译器是如何

  • MySQL中的唯一索引的简单学习教程

    mysql 唯一索引UNIQUE一般用于不重复数据字段了我们经常会在数据表中的id设置为唯一索引UNIQUE,下面我来介绍如何在mysql中使用唯一索引UNIQUE吧. 创建唯一索引的目的不是为了提高访问速度,而只是为了避免数据出现重复.唯一索引可以有多个但索引列的值必须唯一,索引列的值允许有空值.如果能确定某个数据列将只包含彼此各不相同的值,在为这个数据列创建索引的时候就应该使用关键字UNIQUE. 把它定义为一个唯一索引. 创建表时直接设置: DROP TABLE IF EXISTS `st

  • 关于MySQL外键的简单学习教程

    在MySQL中,InnoDB引擎类型的表支持了外键约束. 外键的使用条件: 1.两个表必须是InnoDB表,MyISAM表暂时不支持外键(据说以后的版本有可能支持,但至少目前不支持): 2.外键列必须建立了索引,MySQL 4.1.2以后的版本在建立外键时会自动创建索引,但如果在较早的版本则需要显示建立: 3.外键关系的两个表的列必须是数据类型相似,也就是可以相互转换类型的列,比如int和tinyint可以,而int和char则不可以: 外键的好处:可以使得两张表关联,保证数据的一致性和实现一些

  • 简单的计算机组成原理及层次结构学习教程

    目录 从软硬件角度划分计算机 从物理构成角度理解计算机(9层) 计算机系统的层次结构 现代计算机硬件框图 冯诺依曼体系机构六大特点  计算机硬件的主要技术指标 CPU的结构及功能 1)控制器 2)运算器 计算机存储设备的理解 1)存储金字塔 2)缓存 3)主存(内存) 1)ROM 2)RAM 3)ROM.RAM和硬盘比较 4)辅存 (外存) 5)速度比较 4)总结 从软硬件角度划分计算机 从物理构成角度理解计算机(9层) 第1层:Physics(物理层) 第2层:Devices(器件层) 第3层

  • 简单学习vue指令directive

    本文为大家分享了vue指令directive的使用方法,供大家参考,具体内容如下 1.指令的注册 指令跟组件一样需要注册才能使用,同样有两种方式,一种是全局注册: Vue.directive('dirName',function(){ //定义指令 }); 另外一种是局部注册: new Vue({ directives:{ dirName:{ //定义指令 } } }); 2.指令的定义 指令定义,官方提供了五个钩子函数来供我们使用,分别代表了一个组件的各个生命周期 bind: 只调用一次,指令

  • 值得分享和收藏的Bootstrap学习教程

    首先先感谢朋友们对小编的支持,关注小编的文章,和小编一起学习进步,一直的陪伴,小编也一定会再接再厉,为大家分享更多精彩的文章. 在分享的过程中遇到了一些问题,这也给了我很大的启发,大家在搜索相关文章时都没有针对此类问题进行的系统整理文章,这也是小编需要在今后进行改进的. 所以本文就吸取这个经验,针对Bootstrap教程进行系统整理,希望对大家的学习有所帮助,便于大家学习. 小编的水平能力都很有限,还望大牛多给一些建议和看法,帮助小编进行改正和提高,如果文中确有不妥之处,还请谅解.希望能和大家共

  • Java正则表达式学习教程

    Java正则表达式学习教程

    本教程旨在帮助你驾驭Java正则表达式,同时也帮助我复习正则表达式. 什么是正则表达式? 正则表达式定义了字符串的模式.正则表达式可以用来搜索.编辑或处理文本.正则表达式并不仅限于某一种语言,但是在每种语言中有细微的差别.Java正则表达式和Perl的是最为相似的. Java正则表达式的类在 java.util.regex 包中,包括三个类:Pattern,Matcher 和 PatternSyntaxException. Pattern对象是正则表达式的已编译版本.他没有任何公共构造器,我们通

  • MyBatis学习教程(二)—如何使用MyBatis对users表执行CRUD操作

    上一篇文章MyBatis入门学习教程(一)-MyBatis快速入门中我们讲了如何使用Mybatis查询users表中的数据,算是对MyBatis有一个初步的入门了,今天讲解一下如何使用MyBatis对users表执行CRUD操作.在没奔主题之前,先给大家补充点有关mybatis和crud的基本知识. 什么是 MyBatis? MyBatis 是支持普通 SQL 查询,存储过程和高级映射的优秀持久层框架. MyBatis 消除了几乎所有的 JDBC 代码和参数的手工设置以及对结果集的检索.MyBa

  • mybatis框架入门学习教程

    mybatis框架入门学习教程

    MyBatis是一个支持普通SQL查询,存储过程和高级映射的优秀持久层框架.MyBatis消除了几乎所有的JDBC代码和参数的手工设置以及对结果集的检索封装.MyBatis可以使用简单的XML或注解用于配置和原始映射,将接口和Java的POJO(Plain Old Java Objects,普通的Java对象)映射成数据库中的记录. 1.创建工程,导入jar包 创建一个java工程或者web工程都可以,然后导入mybatis的jar包和依赖包还有数据库的jar包,本人使用Oracle10g数据库

  • laravel学习教程之关联模型

    Eloquent: 关联模型 简介 数据库中的表经常性的关联其它的表.比如,一个博客文章可以有很多的评论,或者一个订单会关联一个用户.Eloquent 使管理和协作这些关系变的非常的容易,并且支持多种不同类型的关联:     一对一     一对多     多对多     远程一对多     多态关联     多态多对多关联 定义关联 Eloquent 关联可以像定义方法一样在 Eloquent 模型类中进行定义.同时,它就像 Eloquent 模型自身一样也提供了强大的查询生成器.这允许关联模

随机推荐