Поименованные константы

Добавив к описанию объекта служебное слово const, можно превратить этот объект из переменной в константу, например:

const int model = 90;

const int v[] = { 1, 2, 3, 4 };

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

model = 200; // ошибка

model++; // ошибка

Отметим, что спецификация const скорее ограничивает возможности использования объекта, чем указывает, где следует размещать объект. Может быть вполне разумным и даже полезным описание функции с типом возвращаемого значения const:

const char* peek(int i) // вернуть указатель на строку-константу

{

return hidden[i];

}

Приведенную функцию можно было бы использовать для передачи строки, защищенной от записи, в другую программу, где она будет читаться. Вообще говоря, транслятор может воспользоваться тем фактом, что объект является const, для различных целей (конечно, это зависит от "разумности" транслятора). Самое очевидное - это то, что для константы не нужно отводить память, поскольку ее значение известно транслятору. Далее, инициализатор для константы, как правило (но не всегда) является постоянным выражением, которое можно вычислить на этапе трансляции. Однако, для массива констант обычно приходится отводить память, поскольку в общем случае транслятор не знает, какой элемент массива используется в выражении. Но и в этом случае на многих машинах возможна оптимизация, если поместить такой массив в защищенную от записи память.

Задавая указатель, мы имеем дело с двумя объектами: с самим указателем и с указуемым объектом. Если в описании указателя есть "префикс" const, то константой объявляется сам объект, но не указатель на него, например:

const char* pc = "asdf"; // указатель на константу

pc[3] = 'a'; // ошибка

pc = "ghjk"; // нормально

Чтобы описать как константу сам указатель, а не указуемый объект, нужно использовать операцию * перед const. Например:

char *const cp = "asdf"; // указатель-константа

cp[3] = 'a'; // нормально

cp = "ghjk"; // ошибка

Чтобы сделать константами и указатель, и объект, надо оба объявить const, например:

const char *const cpc = "asdf"; // указатель-константа на const

cpc[3] = 'a'; // ошибка

cpc = "ghjk"; // ошибка

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

char* strcpy(char* p, const char* q); // не может изменять *q

Указателю на константу можно присвоить адрес переменной, т.к. это не принесет вреда. Однако, адрес константы нельзя присваивать указателю без спецификации const, иначе станет возможным менять ее значение, например:

int a = 1;

const int c = 2;

const int* p1 = &c; // нормально

const int* p2 = &a; // нормально

int* p3 = &c; // ошибка

*p3 = 7; // меняет значение c