R.8.4.3 Ссылки.

• R.8 Описатели
  • R.8.4 Инициализаторы
    • R.8.4.3 Ссылки

Переменная, описанная как 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.