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

int &z = 12;

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

int y;
int &r = y;

Питання :
чому перший код помилковий? Яке " значення " помилки в назві?

C ++ 03 3.10 / 1 говорить: "Кожен вираз є або значенням l, або значенням r." Важливо пам’ятати, що lvalueness проти rvalueness - це властивість виразів, а не об’єктів.

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

Rvalues ​​- це тимчасові періоди, які випаровуються в кінці повного виразу, в якому вони живуть ("з крапкою з комою"). Так , наприклад, 1729, x + y, std::string("meow")і x++все rvalues.

Адреса оператора вимагає, щоб його "операнд був значенням". якщо ми могли б взяти адресу одного виразу, вираз є значенням, інакше це значенням r.

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

int &z = 12;

Праворуч тимчасовий об'єкт типу intстворюється із цілісного літералу 12, але тимчасовий не може бути прив'язаний до посилання, що не є const. Звідси і помилка. Це те саме, що:

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

Чому створюється тимчасовий? Оскільки посилання має посилатися на об'єкт у пам'яті, а для того, щоб об'єкт існував, його потрібно створити спочатку. Оскільки об'єкт не називається, це тимчасовий об'єкт. Він не має назви. З цього пояснення стало майже ясно, чому другий випадок добре.

Тимчасовий об'єкт може бути прив'язаний до посилання const, а це означає, що ви можете зробити це:

const int &z = 12; //ok

Посилання на C ++ 11 та Rvalue:

Для повноти я хотів би додати, що в C ++ 11 введено rvalue-reference, яке може прив'язуватися до тимчасового об'єкта. Отже, в C ++ 11 ви можете написати це:

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

Зверніть увагу, що існує &&ціла кількість &. Також зауважте, що constце більше не потрібно, навіть якщо об’єкт, який zприв’язується, є тимчасовим об’єктом, створеним із цілісного літералу 12.

Оскільки C ++ 11 ввів rvalue-reference , int&відтепер він називається lvalue-reference .

12- константа часу компіляції, яку неможливо змінити на відміну від даних, на які посилається int&. Що ви можете зробити, це

const int& z = 12;

Прив'язка посилань, що не є const та const, відповідає різним правилам

Ось правила мови С ++:

• вираз, що складається з буквального числа ( 12), є "значенням"
• не дозволяється створювати посилання non-const зі значенням r: int &ri = 12;неправильно сформовано
• дозволяється створювати посилання на const зі значенням r: у цьому випадку компілятор створює безіменний об’єкт; цей об'єкт зберігатиметься доти, доки існує сама посилання.

Ви повинні розуміти, що це правила на C ++. Вони просто є.

Легко винайти іншу мову, скажімо C ++ ', з дещо іншими правилами. У C ++ 'дозволено створювати посилання, що не є const, зі значенням r. Тут немає нічого непослідовного чи неможливого.

Але це дозволило б зробити деякий ризикований код, коли програміст міг би не отримати те, що він задумав, і дизайнери С ++ справедливо вирішили уникнути цього ризику.

Посилання - це "приховані вказівники" (не нульові) на речі, які можуть змінюватися (lvalues). Ви не можете визначити їх як константу. Це має бути річ "змінної".

РЕДАГУВАТИ ::

Я думаю

int &x = y;

як майже еквівалент

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

де __px- свіже ім'я, і #define xпрацює лише всередині блоку, що містить декларацію про xпосилання.