Ссылка на RVALUE как параметр в Coroutine return_value (foo &&) ⇐ C++

[Anonymous]

Я изучаю coroutines и есть что-то, что я не понимаю с помощью void return_value (foo &&) , используемое orded_type .
вот код.

Код: Выделить всё

int main()
{
auto coro = []->Function {
std::println("coroutine body");
Foo foo{};
co_return foo;
};

Function fun = coro();

Foo res = fun.get();
}
< /code>
Function

- это тип возврата Coroutine.
в классе rape_type я определил только это следующее return _ * Метод

Код: Выделить всё

void return_value(Foo &&foo)
{
std::println("return_value");
res_ = std::move(foo);
}
< /code>
What I don't understand is why it compiles ? For me, foo

в coroutine не является RValue, так почему Co_return foo , что эквивалентно обещанию.return_value (foo) принимает это?
Оптимизация? 15.1.1

Подробнее здесь: https://stackoverflow.com/questions/796 ... n-valuefoo