Exponenta Banner

Missing constexpr specifier

constexpr спецификатор может использоваться на переменной или функции для оценки времени компиляции

расширьте все на странице

Описание

Этот дефект идентифицирует потенциальный constexpr переменные и функции. Например, дефект происходит если:

  • Вы не используете constexpr спецификатор, когда переменная инициализируется при помощи выражения, которое может быть выполнено во время компиляции.

    Дефектное средство проверки отмечает определение локальной переменной без constexpr спецификатор, если переменная инициализируется одним из следующих и не изменяется впоследствии в коде:

    • Выражение, включающее константы времени компиляции только.

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

    • Вызов конструктора с постоянным временем компиляции, обеспечил, всеми функциями членства класса включая конструктора является самостоятельно constexpr.

    Средство проверки не отмечает локальные, статические переменные.

  • Вы не используете constexpr спецификатор от функций с одним return оператор, который мог потенциально быть оценен во время компиляции (данный константы времени компиляции как аргументы).

Риск

Если значение переменных вычисляется из выражения, которое включает константы времени компиляции только, с помощью constexpr перед определением переменной, как это:

constexpr double eValSquared = 2.718*2.718;
гарантирует, что выражение выполнено во время компиляции. Оценка времени компиляции экономит на издержках во время выполнения. Иногда, увеличение производительности во время выполнения может быть значительным.

Если выражение не может быть выполнено во время компиляции, constexpr ключевое слово гарантирует, что вы получаете ошибку компиляции. Можно затем устранить базовую проблему, если это возможно.

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

Исправление

Добавьте constexpr спецификатор к переменному или функциональному определению.

Повышения производительности могут варьироваться на основе компилятора, реализации библиотеки и среды, которую вы используете.

Примеры

развернуть все

double squareIfPositive(double val) {
    return val > 0? (val * val): 0;
}

void initialize(void) {
    double eVal = 2.718;
    double eValSquare = squareIfPositive(2.718);
}

В этом примере средство проверки отмечает определение squareIfPositive потому что функция содержит один return оператор, включающий только его параметр val. Поэтому, если val постоянное время компиляции, функция может быть выполнена во время компиляции и может быть constexpr функция.

Средство проверки также отмечает определение eValSquare потому что это инициализируется потенциально constexpr функция, которая занимает время компиляции, постоянное в качестве аргумента.

Коррекция – добавляет constexpr Спецификатор

Добавьте constexpr спецификаторы к переменным и функциональным определениям.

constexpr double squareIfPositive(double val) {
    return val > 0? (val * val): 0;
}

void initialize(void) {
    constexpr double eVal = 2.718;
    constexpr double eValSquare = squareIfPositive(2.718);
}

Информация о результате

Группа: Производительность
Язык: C++
Значение по умолчанию: Off
Синтаксис командной строки: MISSING_CONSTEXPR
Удар: Средняя

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

Темы

Введенный в R2020b

Документация Polyspace Bug Finder

Поддержка