Семантика возвращаемого типа ссылки на r-значение?

Как всегда, при возврате ссылок вы должны вернуть ссылку на что-то, что еще живо после возврата функции. Как вы это сделаете, зависит от вас. Пример:

T global_thing;

T && get() { return std::move(global_thing); }

struct Foo { Foo(T &&); /* ... */ };

int main()
{
    global_thing.reset();
    Foo a(get());
    global_thing.reset();
    Foo b(get());
}

Тем не менее, более типичным примером возврата ссылки rvalue является сам std::move, который возвращает ссылку на то, что вы в него передаете (и, таким образом, ответственность за предоставление допустимых входных данных лежит на вызывающем объекте).

Если возвращаемый тип функции является ссылкой на значение r, то результатом вызова функции является значение x; если возвращаемый тип не является ссылкой, то результатом вызова функции является prvalue.

И xvalue, и prvalue являются значениями r, между ними есть некоторые незначительные различия, больше похожие на различия между ссылкой и не ссылкой. Например, xvalue может иметь неполный тип, тогда как prvalue обычно должен иметь полный тип или тип void. Когда typeid применяется к xvalue, тип которого является типом полиморфного класса, результат относится к динамическому типу; а для prvalue результат относится к статическому типу.

Для вашего оператора объявления T instance = grabStuff<T>();, если T является типом класса, я думаю, что в этом контексте нет разницы между xvalue и prvalue.

Инициализатор является значением r, поэтому компилятор предпочитает конструктор перемещения. Но если не объявлен конструктор перемещения, а объявлен конструктор копирования с константным ссылочным параметром, то будет выбран этот конструктор копирования, и ошибки не будет. Я не знаю, почему вы хотите, чтобы это было ошибкой. Если это ошибка, любой старый код будет неверным при копировании-инициализации какого-либо объекта из rvalue.

Это может иметь смысл в зависимости от того, что вы хотите с ним делать и как вы реализовали функцию.

На самом деле возвращаемый тип std::move — это T&& (ссылка на rvalue), что имеет смысл, поскольку определяет саму цель существования std::move в библиотеке C++11:

• std::move