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

У указателя p3есть спецификатор constнижнего и верхнего уровня. При копировании указателя p3можно проигнорировать его спецификатор constверхнего уровня, но не тот факт, что он указывает на константный тип. Следовательно, нельзя использовать указатель p3для инициализации указателя p, который указывает на простой (неконстантный) тип int. С другой стороны, вполне можно присвоить указатель p3указателю p2. У обоих указателей тот же тип (спецификатор constнижнего уровня). Тот факт, что p3— константный указатель (т.е. у него есть спецификатор constверхнего уровня), не имеет значения.

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

const int v2 = 0;

int v1 = v2;

int *p1 = &v1, &r1 = v1;

const int *p2 = &v2, *const p3 = &i, &r2 = v2;

Упражнение 2.31. С учетом объявлений в предыдущем упражнении укажите, допустимы ли следующие присвоения. Объясните, как спецификатор constверхнего или нижнего уровня применяется в каждом случае.

r1 = v2;

p1 = p2; р2 = p1;

p1 = p3; p2 = p3;

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

Является ли данный объект (или выражение) константным выражением, зависит от типов и инициализаторов. Например:

const int max_files = 20; // max_files - константное выражение

const int limit = max_files + 1; // limit - константное выражение

int staff_size = 27; // staff_size - неконстантное выражение

const int sz = get_size(); // sz - неконстантное выражение

Хотя переменная staff_sizeинициализируется литералом, это неконстантное выражение, поскольку он имеет обычный тип int, а не const int. С другой стороны, хоть переменная szи константа, значение ее инициализатора неизвестно до времени выполнения. Следовательно, это неконстантное выражение.

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

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

constexpr int mf = 20; // 20 - константное выражение

constexpr int limit = mf + 1; // mf + 1 - константное выражение

constexpr int sz = size(); // допустимо, только если size() является

// функцией constexpr

Хоть и нельзя использовать обычную функцию как инициализатор для переменной constexpr, как будет описано в разделе 6.5.2, новый стандарт позволяет определять функции как constexpr. Такие функции должны быть достаточно просты, чтобы компилятор мог выполнить их во время компиляции. Функции constexprможно использовать в инициализаторе переменной constexpr.

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

Поскольку константное выражение обрабатывается во время компиляции, есть пределы для типов, которые можно использовать в объявлении constexpr. Типы, которые можно использовать в объявлении constexpr, известны как литеральные типы (literal type), поскольку они достаточно просты для литеральных значений.