Стенли Липпман - Язык программирования C++. Пятое издание

Теперь рассмотрим, что могло бы произойти, будь инициализация позволена, но ссылка riне была бы константной. В этом случае мы могли бы присвоить значение по ссылке ri. Это изменило бы объект, с которым связана ссылка ri. Этот временный объект имеет тип не dval. Программист, заставивший ссылку riссылаться на переменную dval, вероятно, ожидал, что присвоение по ссылке riизменит переменную dval. В конце концов, почему произошло присвоение по ссылке ri, если не было намерения изменять объект, с которым она связана? Поскольку связь ссылки с временным объектом осуществляет уж конечно не то, что подразумевал программист, язык считает это некорректным.

Важно понимать, что ссылка на константу ограничивает только то, что при помощи этой ссылки можно делать. Привязка ссылки к константному объекту ничего не говорит о том, является ли сам основной объект константой. Поскольку основной объект может оказаться неконстантным, он может быть изменен другими способами:

int i = 42;

int &r1 = i; // r1 связана с i

const int &r2 = i; // r2 тоже связана с i;

// но она не может использоваться для изменения i

r1 = 0; // r1 - неконстантна; i теперь 0

r2 = 0; // ошибка: r2 - ссылка на константу

Привязка ссылки r2к неконстантной переменной iтипа intвполне допустима. Но ссылку r2нельзя использовать для изменения значения переменной i. Несмотря на это, значение переменной iвполне можно изменить другим способом, Например, можно присвоить ей значение непосредственно или при помощи другой связанной с ней ссылки, такой как r1.

Подобно ссылкам, вполне возможно определять указатели, которые указывают на объект константного или неконстантного типа. Как и ссылку на константу (см. раздел 2.4.1), указатель на константу (pointer to const) невозможно использовать для изменения объекта, на который он указывает. Адрес константного объекта можно хранить только в указателе на константу:

const double pi = 3.14; // pi - константа; ее значение неизменно

double *ptr = π // ошибка: ptr - простой указатель

const double *cptr = π // ok: cptr может указывать на тип

// const double

*cptr = 42; // ошибка: нельзя присвоить *cptr

В разделе 2.3.2 упоминалось о наличии двух исключений из правила, согласно которому типы указателя и объекта, на который он указывает, должны совпадать. Первое исключение — это возможность использования указателя на константу для указания на неконстантный объект:

double dval = 3.14; // dval типа double; ее значение неизменно

cptr = &dval; // ok: но изменить dval при помощи cptr нельзя

Подобно ссылке на константу, указатель на константу ничего не говорит о том, является ли объект, на который он указывает, константой. Определение указателя как указателя на константу влияет только на то, что с его помощью можно сделать. Не забывайте, что нет никакой гарантии того, что объект, на который указывает указатель на константу, не будет изменяться.

Возможно, указатели и ссылки на константы следует рассматривать как указатели или ссылки, "которые полагают , что они указывают или ссылаются на константы".

В отличие от ссылок, указатели — это объекты. Следовательно, подобно любым другим объектам, вполне может быть указатель, сам являющийся константой. Как и любой другой константный объект, константный указатель следует инициализировать, после чего изменить его значение (т.е. адрес, который он содержит) больше нельзя. Константный указатель объявляют, расположив ключевое слово constпосле символа *. Это означает, что данный указатель является константой, а не обычным указателем на константу.

int errNumb = 0;

int *const curErr = &errNumb; // curErr всегда будет указывать на errNumb

const double pi = 3.14159;

const double *const pip = π // pip константный указатель на

// константный объект

Как уже упоминалось в разделе 2.3.3, проще всего понять эти объявления, читая их справа налево. В данном случае ближе всего к имени curErrрасположен спецификатор const, означая, что сам объект curErrбудет константным. Тип этого объекта формирует остальная часть оператора объявления. Следующий символ оператора объявления, *, означает, что curErr— это константный указатель. И наконец, объявление завершает базовый тип, означая, что curErr— это константный указатель на объект типа int. Аналогично pip— это константный указатель на объект типа const double.