c++ - 为什么 co_await 不能返回字符串？

Question

#include <coroutine>
#include <string>

template<typename T>
struct Awaiter final {
    bool await_ready() const { return false; }    
    void await_suspend(std::coroutine_handle<>) const {}    
    T await_resume() const { return T{}; }
};

struct ReturnObject {
  struct promise_type {
    ReturnObject get_return_object() { return {}; }
    std::suspend_never initial_suspend() 
        noexcept { return {}; }
    std::suspend_never final_suspend() 
        noexcept { return {}; }
    void return_void() {}
    void unhandled_exception() {}
  };
};

ReturnObject f()
{
    auto a1 = Awaiter<int>{};
    [[maybe_unused]] auto v1 = co_await a1; // ok    
    auto a2 = Awaiter<std::string>{};
    [[maybe_unused]] auto v2 = co_await a2; // error
}

int main() { f(); }

见: online demo
错误信息:

error: no suspend point info for ''co_await' not supported 
       by dump_decl<declaration error>'
   37 |     [[maybe_unused]] auto v2 = co_await a2; // error
      |                                ^~~~~~~~

为什么 co_await 不能返回字符串？

Answer 1

这是 GCC 中协程实现中的一个编译器错误，因为当前的标准草案中没有任何内容禁止 await_resume 的自定义/复合类型。 (用任何用户定义的类型替换字符串时可以看到)。
完全相同的代码，例如 compiles使用最新版本的 MSVC，使用 /std:c++latest标志(这并不奇怪，因为在草案中突出开发的 Gor Nishanov 使用 Visual Studio 实现了一个原型(prototype)，这可能是在撰写本答案时经过最多测试的实现)。