Передача int && в f (int &&)

Question

Что здесь происходит? Почему это ошибка?

void f(int &&); 

int && i = 5; 

f(i); 

Разве это не противоречит интуиции?

Я бы ожидал, что i будет ссылкой на rvalue и поэтому сможет передать его f(). Но я получаю сообщение об ошибке;

не известно преобразование из int в int &&

Так что я не думаю, i не является ссылкой Rvalue после объявления?

Answer 1

Здесь существует основное различие между является и связывает. Например:

void f(int &&); 

объявляет функцию приема параметра, который может быть инициализирован только с RValue ссылкой на (типа, конвертируемых в) int.

int && i = 5; 

объявляет именующее выражение, которое может быть инициализирован только с RValue ссылкой на (типа, конвертируемых в) int. Таким образом, в простых терминах,

f(i); 

пытается передать Lvalue ссылку на int в функцию принимающую только RValue ссылки на int. Поэтому он не компилируется.

Чтобы сообщить компилятору, чтобы бросить именующее выражение к RValue, тем самым используя перемещение Конструкторы, где это применимо (хотя и не в случае int), вы можете использовать std::move().

f(std::move(i)); 

Answer 2

У него есть название?
Подходит ли он?

Если ответ на оба вопроса - «да», это значение L.

В этом фрагменте: i имеет имя, i имеет адрес (вы можете написать &i), поэтому это значение l.

f(&&) получает значение r-value в качестве параметра, поэтому вам нужно повернуть значение l в значение r-value, которое может быть выполнено с помощью std::move.

f(std::move(i)); 

Answer 3

Я понимаю, почему вы в замешательстве. Следует помнить, что всякий раз, когда у вас есть имя переменной, у вас есть l-value.

Так что, когда вы говорите:

int i = 0; // lvalue (has a name i) 

А также

int&& i = 0; // lvalue (has a name i) 

Так в чем разница?

int&& может связывать только к г-значение так:

int n = 0; 
int i = n; // legal 

НО

int n = 0; 
int&& i = n; // BAD!! n is not an r-value 

Однако

int&& i = 5; // GOOD!! 5 is an r-value 

Так при переходе i к f() в этом примере вы пропускании л-значение, а не г-значение:

void f(int &&); 

int&& i = 5; // i is an l-value 

f(i); // won't accept l-value 

Ситуация на самом деле немного сложнее, чем я представил здесь. Если вас интересует более полное объяснение, то эта ссылка достаточно полная: http://en.cppreference.com/w/cpp/language/value_category