对于c++20协程,我试图了解是否需要在堆中分配协程中的局部变量。我有一个 runnable code in godbolt ,以预期输出运行。下面列出了部分代码供我们讨论。

generator<int> my_coroutine()
{

  // Does vec needs to allocated in heap?
  // auto vec = std::make_shared<std::vector<int>>(std::initializer_list<int>{ 1, 2, 3, 4, 5 });
  auto vec = std::vector<int>{ 1, 2, 3, 4, 5 };
  for (auto&& i : vec)
  {
    co_yield i;
  }
}

int main()
{
  for (auto i : my_coroutine())
  {
    std::cout << i << " ";
  }
  std::cout << std::endl;
  return 0;
}

我的问题

1. 是矢量的寿命跨度为当前的悬挂点。“跨越当前暂停点”的真正含义是什么
2. 我应该使用在堆中分配vec吗 std::make_shared ?
3. 从…起 cppreference ,我在中看到以下内容 处决 部分这是否意味着协同状态将复制 vec 堆里?(不管是否 vec 是 vector<int> 或 shared_ptr<vector<int>> )

协程状态,它是一个内部堆分配的(除非优化了分配)对象,包含

1. promise对象
2. 参数(全部按值复制)
3. 当前挂起点的一些表示,这样简历知道在哪里继续,销毁知道范围内的局部变量
4. 局部变量和临时变量,它们的寿命跨越当前暂停点。