Ссылка на 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();

}

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

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

void return_value(Foo &&foo)
{
std::println("return_value");
res_ = std::move(foo);
}
< /code>
Я не понимаю, почему он компилирует? Для меня foo 

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

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