Constant expressions

Несколько видов выражений известны как constant expressions .

Препроцессорное константное выражение

Выражение, следующее за #if или #elif должно раскрываться в

• операторы кроме присваивания , инкремента, декремента , вызова функции , или запятой , аргументы которых являются препроцессорными константными выражениями
• целочисленные константы
• символьные константы
• специальный препроцессорный оператор defined .

Символьные константы, когда вычисляются в #if -выражениях, могут интерпретироваться в исходной символьной кодировке, исполнительной символьной кодировке или в некоторой другой определяемой реализацией символьной кодировке.

Целочисленное константное выражение

Целочисленное константное выражение — это выражение, которое состоит только из

• операторы , кроме присваивания , инкремента, декремента , вызова функции , или запятой , за исключением того, что операторы приведения могут приводить арифметические типы только к целочисленным типам, если они не являются частью операнда для sizeof , _Alignof (начиная с C11) (до C23) , alignas (начиная с C23) или typeof/typeof_unqual (начиная с C23) .
• целочисленные константы
• константы перечисления
• символьные константы
• вещественные константы , но только если они непосредственно используются как операнды приведений к целочисленному типу
• sizeof операторы , операнды которых не являются VLA (начиная с C99)

Целочисленные константные выражения вычисляются во время компиляции. Следующие контексты требуют выражений, известных как целочисленные константные выражения :

• Размер битового поля .
• Значение перечислимой константы
• Метка case оператора switch
• Размер массива не-VLA (начиная с C99)
• Неявное преобразование целого числа в указатель.

Статический инициализатор

Выражения, которые используются в инициализаторах объектов со статической и thread_local продолжительностью хранения или объявленных с описателем класса хранения constexpr (since C23) должны быть либо строковыми литералами, либо выражениями, которые могут быть одним из следующих

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

static int i = 2 || 1 / 0; // инициализирует i значением 1

Значение статического инициализатора с плавающей точкой никогда не бывает менее точным, чем значение того же выражения, выполняемого во время выполнения, но может быть более точным.

Выражения с плавающей точкой констант

Арифметические константные выражения типов с плавающей точкой, которые не используются в статических инициализаторах, всегда вычисляются как-будто во время выполнения и подвержены влиянию текущего округления (если FENV_ACCESS включен) и сообщают об ошибках в соответствии с math_errhandling .

void f(void)
{
#pragma STDC FENV_ACCESS ON
    static float x = 0.0 / 0.0; // статический инициализатор: не вызывает исключение
    float w[] = { 0.0 / 0.0 };  // вызывает исключение
    float y = 0.0 / 0.0;        // вызывает исключение
    double z = 0.0 / 0.0;       // вызывает исключение
}

Примечания

Если выражение вычисляется в значение, которое не может быть представлено его типом, оно не может использоваться как константное выражение.

Реализации могут принимать другие формы константных выражений. Однако эти константные выражения не считаются целочисленными константными выражениями, арифметическими константными выражениями или адресными константными выражениями и, следовательно, не могут использоваться в контекстах, требующих этих видов константных выражений. Например, int arr [ ( int ) + 1.0 ] ; объявляет VLA.

Ссылки

Смотрите также