int &z = 12;

Po prawej stronie, tymczasowy obiekt typu int jest tworzony z całki literalnej 12, ale tymczasowy nie może być związany z referencją non-const. Stąd ten błąd. Jest to to samo co:

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

Dlaczego powstaje tymczasowy? Ponieważ odniesienie musi odnosić się do obiektu w pamięci, a aby obiekt istniał, musi być najpierw utworzone. Ponieważ obiekt jest nienazwany, jest to obiekt tymczasowy. Nie ma nazwy. Z tego wyjaśnienia, stało się to prawie jasne, dlaczego druga sprawa jest w porządku.

Obiekt tymczasowy może być powiązany z referencją const, co oznacza, że możesz to zrobić:

const int &z = 12; //ok

C++11 i rvalue Reference:

Dla kompletności chciałbym dodać, że C++11 wprowadził rvalue-reference, które może wiązać się z obiektem tymczasowym. Więc w C++11 możesz napisać to:

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

Zauważ, że istnieje && intad &. Zauważ również, że const nie jest już potrzebny, mimo że obiekt, który z wiąże się z tymczasowym obiektem utworzonym z całki-literalnej 12.

Ponieważ C++11 wprowadził rvalue-reference, int& obecnie nazywa się lvalue-reference.

12 jest stałą czasu kompilacji, której nie można zmienić w przeciwieństwie do danych, do których odwołuje się int&. Co tymożesz zrobić to

const int& z = 12;

Wiązania odniesienia Non-const i const są zgodne z różnymi zasadami

Oto zasady języka C++:

• wyrażenie składające się z liczby literalnej (12) jest "rvalue"
• nie jest dozwolone tworzenie odniesienia non-const z wartością R: int &ri = 12; is ill-formed
• dozwolone jest tworzenie referencji const z wartością R: w tym przypadku kompilator tworzy nienazwany obiekt; obiekt ten będzie trwał tak długo, jak samo odniesienie istnieć.

Musisz zrozumieć, że są to Zasady C++. Po prostu są.

Łatwo jest wymyślić inny język, powiedzmy C++, z nieco innymi zasadami. W C++', dozwolone byłoby tworzenie odniesienia non-const z wartością r. Nie ma tu nic niespójnego lub niemożliwego.

Ale pozwoli to na ryzykowny kod, w którym programista może nie dostać tego, co zamierzał, a projektanci C++ słusznie zdecydowali się uniknąć tego ryzyka.

Odniesienia to "Ukryte wskaźniki" (inne niż null) Do Rzeczy, które mogą się zmieniać (lvalues). Nie można zdefiniować ich jako stałych. To powinno być coś "zmiennego".

EDIT::

Myślę o

int &x = y;

Jako prawie odpowiednik

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

Gdzie __px jest nową nazwą, a #define x działa tylko wewnątrz bloku zawierającego deklarację odniesienia x.