Błędny formularz:

int &z = 12;

Poprawna forma:

int y;
int &r = y;

Pytanie :
Dlaczego pierwszy kod jest nieprawidłowy? Jakie jest „ znaczenie ” błędu w tytule?

C ++ 03 3.10 / 1 mówi: „Każde wyrażenie jest albo lwartością, albo rwartością”. Należy pamiętać, że wartość kontra wartość jest właściwością wyrażeń, a nie przedmiotów.

Lvalues ​​nazywają obiekty, które pozostają poza jednym wyrażeniem. Na przykład obj, *ptr, ptr[index], i ++xsą lwartościami.

Wartości R to wartości tymczasowe, które wyparowują na końcu pełnego wyrażenia, w którym żyją („w średniku”). Na przykład 1729, x + y, std::string("meow"), i x++są rvalues.

Operator address-of wymaga, aby jego „operand był l-wartością”. gdybyśmy mogli wziąć adres jednego wyrażenia, wyrażenie jest lwartością, w przeciwnym razie jest to rwartość.

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

int &z = 12;

Po prawej stronie tymczasowy obiekt typu intjest tworzony z integralnego literału 12, ale tymczasowy nie może być powiązany z odwołaniem innym niż const. Stąd błąd. To jest to samo, co:

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

Dlaczego tworzy się tymczasowy? Ponieważ odniesienie musi odnosić się do obiektu w pamięci, a aby obiekt istniał, musi zostać najpierw utworzony. Ponieważ obiekt nie ma nazwy, jest to obiekt tymczasowy . Nie ma imienia. Z tego wyjaśnienia stało się dość jasne, dlaczego drugi przypadek jest w porządku.

Obiekt tymczasowy można powiązać z odniesieniem do const, co oznacza, że ​​możesz to zrobić:

const int &z = 12; //ok

C ++ 11 i Rvalue Reference:

Ze względu na kompletność chciałbym dodać, że C ++ 11 wprowadził rvalue-reference, które można powiązać z tymczasowym obiektem. Więc w C ++ 11 możesz napisać to:

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

Zauważ, że jest &&intead of &. Zauważ również, że constnie jest już potrzebne, mimo że obiekt, z którym się złączy, jest tymczasowym obiektem utworzonym z całki-literału 12.

Ponieważ C ++ 11 wprowadził odwołanie do wartości r , int&odtąd nazywane jest odniesieniem do wartości .

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

const int& z = 12;

Wiązanie odniesienia inne niż stałe i stałe podlega innym regułom

Oto zasady języka C ++:

• wyrażenie składające się z literału liczby ( 12) jest „wartością r”
• nie jest dozwolone tworzenie referencji innych niż const z rvalue: int &ri = 12;jest źle sformułowana
• dozwolone jest tworzenie odwołania do const z wartością r: w tym przypadku nienazwany obiekt jest tworzony przez kompilator; ten obiekt będzie istniał tak długo, jak długo istnieje odwołanie.

Musisz zrozumieć, że to są reguły C ++. Po prostu są.

Łatwo jest wymyślić inny język, na przykład C ++, z nieco innymi zasadami. W C ++ byłoby dozwolone utworzenie referencji niebędącej stałą z wartością r. Nie ma tu nic niespójnego ani niemożliwego.

Ale pozwoliłoby to na pewien ryzykowny kod, w którym programista mógłby nie uzyskać tego, co zamierzał, a projektanci C ++ słusznie postanowili uniknąć tego ryzyka.

Odniesienia to „ukryte wskaźniki” (niezerowe) do rzeczy, które mogą się zmieniać (lvalues). Nie możesz ich zdefiniować jako stałe. Powinna to być rzecz „zmienna”.

EDYTOWAĆ::

Myślę o

int &x = y;

jako prawie odpowiednik

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

gdzie __pxjest nową nazwą, a #define xdziała tylko wewnątrz bloku zawierającego deklarację xodniesienia.