（重新）调用协程和等待它有什么区别？

Question

我进入协同程序已经很晚了；但是现在 C++20 有了它们，可以这么说。具体来说，我观看了 Timur Doumler 在this CppCon20 talk 中关于协程的片段。

Timur 首先解释了协程与函数和协程（或者更确切地说，协程和相关的生成器）的使用：

my_generator<int> f() {
 int i = 0;
 while (true)
   co_yield i++;
}

void foo() {
  auto g = f();
  std::cout << g() << '\n';
  std::cout << g() << '\n';
  std::cout << g() << '\n';
}

在后面的片段中，他介绍了co_await，并举了这个例子：

async_generator<T> f1() { 
  // code
  auto u = co_await f2();
  // more code
  co_return u;
}

async_generator<U> f2() {
  // code
  co_yield u;
}

现在，我不明白的是，第二个示例与第一个示例中仅调用协程有何不同，例如：

async_generator<T> f1() {
  auto g2 = f2();
  // code
  auto u = g2();
  // more code
  co_return u;
}

async_generator<U> f2() {
  // code
  co_yield u;
}

我尝试寻找co_await on cppreference，它确实存在，但是 - 它链接到一般的coroutines page - 老实说，我无法从树上看到森林。我宁愿不知道所有的细节——现在。我只是想了解高层次的概念差异。

Answer 1

co_yield 语句仅在存在 暂停上下文 时才有意义。生成器的暂停上下文的一个示例是在循环中使用 co_yield（为某些条件产生一个值）。

在这个例子中：

async_generator<T> f1() { 
  // code
  auto u = co_await f2();
  // more code
  co_return u;
}

async_generator<U> f2() {
  // code
  co_yield u;
}

co_yeild 不与任何暂停上下文相关联，因此它可以作为典型函数工作（即，co_yield 被解释为正常的返回语句）。 auto u 会等到 f2 到达函数的末尾，从而使执行工作作为典型的函数调用语义。

在这个例子中：

async_generator<T> f1() {
  auto g2 = f2();
  // code
  auto u = g2();
  // more code
  co_return u;
}

async_generator<U> f2() {
  // code
  co_yield u;
}

同样，由于缺少对 promise 对象的创建和操作，因此缺少暂停上下文。因此，代码的工作方式与前面的示例完全相同。

但是，如果示例因暂停上下文而异，那么 co_yield 的工作方式可能会有所不同。

协同例程和promise-objects（使用co_await和co_yield）交互的权威解释见here。