Неправильная форма:

int &z = 12;

Правильная форма:

int y;
int &r = y;

Вопрос :
Почему первый код неправильный? В чем " смысл " ошибки в названии?

В C ++ 03 3.10 / 1 сказано: «Каждое выражение является либо lvalue, либо rvalue». Важно помнить, что ценность по сравнению с ценностью - это свойство выражений, а не объектов.

Lvalues ​​именуют объекты, которые сохраняются за пределами одного выражения. Так , например, obj, *ptr, ptr[index]и ++xвсе lvalues.

Rvalue - это временные значения, которые испаряются в конце полного выражения, в котором они живут («точка с запятой»). Так , например, 1729, x + y, std::string("meow")и x++все rvalues.

Оператор адреса требует, чтобы его «операнд был lvalue». если бы мы могли взять адрес одного выражения, это выражение было бы lvalue, иначе это rvalue.

 &obj; //  valid
 &12;  //invalid

int &z = 12;

С правой стороны временный объект типа intсоздается из интегрального литерала 12, но временный объект не может быть привязан к неконстантной ссылке. Отсюда и ошибка. Это то же самое, что:

int &z = int(12); //still same error

Почему создается временное? Поскольку ссылка должна ссылаться на объект в памяти, и для того, чтобы объект существовал, он должен быть сначала создан. Поскольку объект не имеет имени, это временный объект. У него нет названия. Из этого объяснения стало довольно ясно, почему второй случай хорош.

Временный объект может быть привязан к ссылке const, что означает, что вы можете сделать это:

const int &z = 12; //ok

Справочник по C ++ 11 и Rvalue:

Для полноты картины я хотел бы добавить, что в C ++ 11 введена ссылка на rvalue, которая может связываться с временным объектом. Итак, в C ++ 11 вы можете написать это:

int && z = 12; //C+11 only 

Обратите внимание, что есть &&intead of &. Также обратите внимание, что constэто больше не нужно, даже если объект, с которым zсвязывается, является временным объектом, созданным из интегрального литерала 12.

Поскольку в C ++ 11 введена ссылка на rvalue , int&отныне она называется lvalue-reference .

12- это константа времени компиляции, которую нельзя изменить в отличие от данных, на которые ссылается int&. Что вы можете сделать, это

const int& z = 12;

Привязка неконстантных и константных ссылок подчиняется разным правилам

Это правила языка C ++:

• выражение, состоящее из буквального числа ( 12), является "rvalue"
• не разрешено создавать неконстантную ссылку с rvalue: неправильно int &ri = 12;сформировано
• разрешено создавать константную ссылку с rvalue: в этом случае неименованный объект создается компилятором; этот объект будет существовать, пока существует сама ссылка.

Вы должны понимать, что это правила C ++. Они просто есть.

Легко изобрести другой язык, скажем C ++ ', с немного другими правилами. В C ++ 'было бы разрешено создать неконстантную ссылку с rvalue. Здесь нет ничего непоследовательного или невозможного.

Но это позволило бы получить некоторый рискованный код, в котором программист мог бы не получить то, что он задумал, и разработчики C ++ справедливо решили избежать этого риска.

Ссылки - это «скрытые указатели» (ненулевые) на вещи, которые могут изменяться (lvalues). Вы не можете определить их как константу. Это должна быть «переменная» вещь.

РЕДАКТИРОВАТЬ::

Я думаю о

int &x = y;

как почти эквивалент

int* __px = &y;
#define x (*__px)

где __px- новое имя, и #define xработает только внутри блока, содержащего объявление xссылки.