R.8.2.2 Ссылки.

• R.8 Описатели
  • R.8.2 Смысл описателей
    • R.8.2.2 Ссылки

В описании T D, в котором D имеет вид

           & список-спецификаций-cv opt D1

тип описываемого идентификатора есть "...список-спецификаций-cv ссылка на T". Тип void& недопустим.

Например, во фрагменте

           void f(double& a) { a += 3.14; }
           // ...
              double d = 0;
              f(d);

a описывается как параметр, являющийся ссылкой, поэтому вызов f(d) приведет к увеличению d на 3.14. Во фрагменте

           int v[20];
           // ...
           int& g(int i) { return v[i]; }
           // ...
           g(3) = 7;

описывается: функция g() возвращает ссылку на целое; поэтому оператор g() = 7; присвоит 7 четвертому элементу массива v. Рассмотрим следующий программный фрагмент:

           struct link {
              link* next;
           };
           link* first;

           void h(link*& p)  // `p' ссылка на указатель
           {
             p->next = first;
             first = p;
             p = 0;
           }

           void k()
           {
             link* q = new link;
             h(q);
           }

Здесь p описано как ссылка на указатель на link, поэтому вызов h(q) не изменит значение q, равное 0, см. также $$R.8.4.3.

Недопустимы ссылки на ссылки, ссылки на битовые поля ($$R.9.6), массивы ссылок и указатели на ссылки. Описание ссылки должно содержать инициализатор ($$R.8.4.3), за исключением тех случаев, когда описание содержит явную спецификацию extern ($$R.7.1.1), или является описанием члена класса ($$R.9.2) при описании самого класса, или является описанием параметра или возвращаемого типа ($$R.8.2.5), см. также $$R.3.1.