C ++ 20协程,std返回类型和状态持久性

问题描述

这个问题实际上是两个问题。我会立即询问他们,因为它们可能有关联。

我刚看过C ++ 20协程。如果看过各种示例,那么大多数示例都非常基础。如下所示:

generator<int> ints(int x)
{
   for (int i = 0; i < x; ++i)
   {
      co_yield i;
   }
}

所有示例均使用特殊的返回类型,该类型显然包含计算结果以及协程上下文。但是,没有示例使用标准返回类型。他们要么偷偷地忽略了该类型,要么定义了一个难以理解的自定义嵌套类(目前对我而言)。

1。这是否意味着C ++ 20标准库未提供可立即使用的协程返回类型,例如发电机?

我能找到的最好的是std::coroutine_handle,它被提到的自定义类在内部使用。

在文档中,协程是实现需要逐段数据处理的算法的好工具,通常需要将其拆分为多个片段,例如使用(可能非常复杂)状态引擎。我也明白这一点。我什至还记得某个项目对于协程来说是一个很好的用例,即使用流接口加载大型,复杂的XML文件

还是有很大的区别:实现状态引擎时,由于所有状态数据都可以作为标准变量使用(因此只需进行一些错误检查和文件处理就足够了),将状态存储到磁盘或从磁盘加载状态非常容易。 )。我想到了一些类似用户界面的操作来取消/恢复长时间运行的计算。

2。是否有一种(简便的)方法来将协程上下文存储到永久存储中或从中存储? C ++ 20标准中有什么可以帮助实现这一目标吗?

解决方法

在C ++ 20中,除了实现级别的句柄和特征以外,没有库协程函数或类型。您需要一个协程库,您可以构建该库或从cppcoro等现有资源中使用它。

不支持将协程上下文保存到永久存储。您必须自己构建。它可能会有一个相当复杂的实现。

,
  1. 这是否意味着C ++ 20标准库未提供可立即使用的协程返回类型,例如发电机?

不是。尽管Technical Specification提出了 how 的所有基本要点,但是您可能使类型成为协程兼容的类型,但是revisions都没有提出任何标准的协程兼容类型。 / p>

did 提供了至少一个玩具生成器实现,只需稍加调整即可使用。

p2168正式建议在协程中使用std::generator类型。您也可以查看Lewis Baker的cppcoro库。

  1. 是否还有一种(简便)的方法来将协程上下文存储到永久存储中或从中存储?

简短的回答是“否”。

C ++ 20标准中是否有任何有助于做到这一点的东西?

简短的回答也是“否”。

创建协程时,编译器将在堆上为协程上下文分配一些空间,其中包括局部变量以及对参数的复制/引用。完全不像函数调用的堆栈框架那样。但是,我们不序列化堆栈帧吗?这没有任何意义。

以这种方式考虑,如果您想序列化一个常规函数,则可以将其变成一个对象。像Command模式一样。结果不完全像一个堆栈框架,但是您仍然可以调用满足您需要的东西。

协程没有什么不同。如果您需要对状态进行序列化/反序列化,则可以使用可调用对象。您可以在协程内部使用此对象,但它并不完全相同。