Переменная, описанная как T&, т.е. "ссылка на тип T" ($$R.8.2.2),должна инициализироваться объектом типа T или объектом, которыйможно преобразовать к типу T, например, void f() { int i; int& r = i; // `r' ссылается на `i' r = 1; // `i' принимает значение 1 int* p = &r; // `p' указывает на `i' int& rr = r; // `rr' ссылается на то, на что ссылалось `r', // т.е. на `i' }; Ссылку после инициализации нельзя изменять так, чтобы онаобозначала другой объект. Отметим, что инициализация ссылкитрактуется совсем не так, как присваивание ссылке. Передачапараметра ($$R.5.2.2) и операция возврата значения функции ($$R.6.6.3)считаются инициализацией. Инициализатор для ссылки можно опускать только в описаниипараметра ($$R.8.2.5), в описании возвращаемого функцией типа,в описании члена класса при описании самого класса ($$R.9.2) и там,где явно использована спецификация extern, например, int& r1; // ошибка: нет инициализации extern int& r2; // нормально Если инициализатор для ссылки на тип T является адресом типа Tили типом, производным от T ($$R.10), для которого T служитдоступным базовым типом ($$R.4.6), ссылка будет обозначать значение,заданное инициализатором. Иначе, в том и только том случае, когдассылка обозначает объект со спецификацией const, будет создан объекттипа T и проинициализирован значением, заданным инициализатором.Теперь ссылка играет роль имени этого объекта, например, double d = 1.0; double& rd = d; // rd ссылается на `d' const double& rcd = d; // rcd ссылается на `d' double& rd2 = 1; // ошибка: несоответствие типа const double& rcd2 = 1;// rcd2 ссылается на временный объект // со значением `1' Ссылку на volatile T можно инициализировать объектом типаvolatile T или просто T, но не const T. Ссылку на const T можноинициализировать const T, просто T или чем-то, что можно преобразоватьв тип T, но не volatile T. Ссылку на тип T (без const или volatile)можно инициализировать только объектом типа T. Время жизни временного объекта, созданного при описаннойинициализации, определяется текущей областью видимости, в которойон был создан ($$R.3.5). Отметим, что ссылку на класс B можноинициализировать объектом класса D при условии, что В являетсяоднозначно определенным и доступным базовым классом для D (тогдаговорят, что "D есть B"), см. $$R.4.7.
