Функция C++, возвращающая значение, может возвращать ссылку на rvalue? ⇐ C++

[Anonymous]

Я читал о значениях rvalue и столкнулся с чем-то, пытаясь просмотреть фрагмент кода в обозревателе компилятора. Вот надуманный пример:

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

class A
{
public:

A&& func(A& rhs)
{
//return rhs;
return std::move(rhs); //returning A&&
}
};

по сравнению с

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

class A
{
public:

A func(A& rhs)
{
//return rhs;
return std::move(rhs); //returning A&&
}
};

Я ожидал, что этот второй фрагмент не скомпилируется из-за несоответствия типа возвращаемого значения. Тип возвращаемого значения Func здесь — A, тогда как на самом деле он возвращает A&& благодаря std::move(). Я пробовал последние версии gcc, clang и msvc. У всех такое же поведение. Может кто-нибудь объяснить, что здесь происходит?

Подробнее здесь: https://stackoverflow.com/questions/791 ... -reference