C++   ::   Хилл Мюррей

Они могут также быть полезны вкачестве параметров функции. Запись x amp; означает ссылка на x. Например:

int i = 1; int amp; r = i; // r и i теперь ссылаются на один int int x = r // x = 1 r = 2; // i = 2;

Ссылка должна быть инициализирована (должно быть что-то, для чего она является именем). Заметьте, что инициализация ссылки есть нечто совершенно отличное от присваивания ей.

Вопреки ожиданиям, ни одна операция на ссылку не действует. Например:

int ii = 0; int amp; rr = ii; rr++; // ii увеличивается на 1

допустимо, но rr++ не увеличивает ссылку; вместо этого + + применяется к int, которым оказывается ii. Следовательно, после инициализации значение ссылки не может быть изменено; она всегда ссылается на объект, который ей было дано обозначать (денотировать) при инициализации. Чтобы получить указатель на объект, денотируемый ссылкой rr, можно написать amp;rr.

Очевидным способом реализации ссылки является константный указатель, который разыменовывается при каждом использовании. Это делает инициализацию ссылки тривиальной, когда инициализатор является lvalue (объектом, адрес которого вы можете взять, см. #с.5). Однако инициализатор для amp;T не обязательно должен быть lvalue, и даже не должен быть типа T. В таких случаях:

1. Во-первых, если необходимо, применяется преобразование типа (#с.6.6-8, #с.8.5.6),

2. Затем полученное значение помещается во временную переменную и

3. Наконец, ее адрес используется в качестве значения инициализатора.