请考虑以下定义invoker类的代码--一个协同关系的最小返回类型。 我们显式删除invoker类的复制和移动构造函数。

#include <coroutine>
#include <cstdlib>
class invoker {
public:
    class invoker_promise {
    public:
        invoker get_return_object() { return invoker{}; }
        auto initial_suspend() { return std::suspend_never{}; }
        auto final_suspend() { return std::suspend_never{}; }
        void return_void() {}
        void unhandled_exception() { std::abort(); }
    };
    using promise_type = invoker_promise;
    invoker() {}
    invoker(const invoker&) = delete;
    invoker& operator=(const invoker&) = delete;
    invoker(invoker&&) = delete;
    invoker& operator=(invoker&&) = delete;
};

invoker f() {
    co_return;
}

这段代码没有在最新的GCC(10.1)上编译，后者应该完全支持C++20协同。

相反，我们会得到一个错误，该错误指示move构造函数是必需的:

<source>: In function 'invoker f()':
<source>:23:1: error: use of deleted function 'invoker::invoker(invoker&&)'
   23 | }
      | ^
<source>:17:5: note: declared here
   17 |     invoker(invoker&&) = delete;
      |     ^~~~~~~

为什么会这样呢？

invoker对象是通过调用invoker_promise的get_return_object()来构造的，除非从f()的调用方访问它。 在C++17保证复制删除的情况下，get_return_object()返回的invoker是一个prvalue，因此在从f()返回它之前不应该物化。

由于返回的对象不能从协同关系中访问，所以我看不到在返回对象之前需要物化该对象的任何情况。 我是不是漏掉了什么？

注意:我知道这个问题，但它:

• 两年前被问到，
• 是关于coroutines的TS版本，
• 是关于VC++的实现，
• 未应答，并且
• 的注释主要涉及保证复制删除。