为什么不能 co_await return 一个字符串？

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 return 字符串？

Answer 1

这是 GCC 协程实现中的一个编译器错误，因为目前的标准草案中没有任何内容禁止 await_resume 的 custom/composite 类型（从替换字符串时可以看出与任何用户定义的类型）。例如 compiles 与最新版本的 MSVC 使用 /std:c++latest 标志的完全相同的代码（这并不奇怪，因为在草稿中突出发展的 Gor Nishanov 使用 Visual Studio 来实现一个原型，在撰写本答案时可能是最受测试的实现）。

为什么不能 co_await return 一个字符串？

Why can't co_await return a string?

c++

gcc

compiler-errors

coroutine

c++20