Wyjaśnienie odniesień w C++

Question

Próbuję więc poznać C++ i natknąłem się na coś, co mnie zastanawia. Mam kod,

int x = 0; 
int &y = x; 
cout << &x<< " " << x << " " << &y << " " <<y<< endl; 

To kompiluje i wyniki w:

0 003AFA08 0 003AFA08 

Co mam kłopoty ze zrozumieniem, dlaczego konwersja x, int, aby & y, punkt odniesienia, nie powoduje błąd. Najpierw myślałem, że to była jakaś konwersja jednak wyniknie błąd.

Czy ktoś może wyjaśnić, dlaczego to działa w ten sposób? Z góry dziękuję.

Answer 1

int& to nie jest adres. Jest to odniesienie.

int& y = x; deklaruje y jako odniesienie do x. Oznacza to, że y staje się inną nazwą dla x. Za każdym razem, gdy używasz y, jest tak, jakbyś powiedział: x.

Do przechowywania adresów używane są wskaźniki (bez odnośników). int& y = &x; nie jest ważny, ponieważ &x to adres x (jest to int*). y jest odniesieniem do int, a nie odniesieniem do int*.

Answer 2

To nie jest konwersja. Gdy masz typ zmiennej T &, gdzie T jest typem losowym, mówisz "deklaruję nazwę, która jest aliasem dla innej nazwy lub ewentualnie wartości anonimowej.". Jest bardziej podobny do wskaźnika niż typedef.

Referencje często są zaimplementowane jako adresy, ale to nie jest dobry model do myślenia o tym, czym są.

W swoim przykładzie, że jesteś zaskoczony:

int * const &y = &x; 

będzie działać dobrze. Wtedy y staje się aliasem dla tymczasowego wyniku przyjęcia adresu x. Zauważ, że jest to odniesienie do wskaźnika. Musi to być odniesienie do stałego wskaźnika, ponieważ jest odniesieniem do wartości tymczasowej.

Answer 3

Twój problem polega na tym, że &y to nie tylko adres, ale referencja. Oznacza to, że zachowuje się jak kopia x. Nie konwertuje się i staje się inną nazwą dla x.

Answer 4

&y to nie tylko adres, to referencja. Oznacza to, że

int &y = x; 

sprawia klon x o imieniu y.