R.8.2.1 Указатели.

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

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

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

тип описываемого идентификатора есть "... список-спецификаций-cv указатель на T". Конструкция список-спецификаций-cv относится к указателю, а не к указуемому объекту.

Например, в описаниях

           const ci = 10, *pc = &ci, *const cpc = pc;
           int i *p, *const cp = &i;

определяются: ci как константа целое; pc как указатель на константу целое; cpc как константа указатель на константу целое; i как целое; p как указатель на целое; и cp как константа указатель на целое. После инициализации значения ci, cpc и cp не могут быть изменены. Значение pc можно изменять так же, как и значение объекта, на который указывает cp. Приведем примеры допустимых операций:

           i = ci;
           *cp = ci;
           pc++;
           pc = cpc;
           pc = p;

Недопустимы следующие операции:

           ci = 1;    // ошибка
           ci++;      // ошибка
           *pc = 2;   // ошибка
           cp = &ci;  // ошибка
           cpc++;     // ошибка
           p = pc;    // ошибка

Каждая из этих операций недопустима или потому, что она изменяет значение объекта, описанного со спецификацией const, или потому, что делает такое изменение возможным позднее с помощью указателя, настроенного на объект без спецификации const.

Аналогична ситуация со спецификацией volatile.

Обратитесь к $$R.5.17 и $$R.8.4.

Нельзя описывать указатели на ссылки ($$R.8.2.2) или указатели на битовые поля ($$R.9.6).