Exponenta Banner
exponenta event banner

Правило AUTOSAR C++ 14 A7-1-2

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

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

Описание

Определение правила

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

Объяснение

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

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

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

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

Внедрение Polyspace

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

  • Константа времени компиляции, например, литеральное значение.

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

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

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

Поиск неисправностей

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

Примеры

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

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

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

void initialize(void) {
    double eVal = 2.718; //Noncompliant
    double eValSquare = squareIfPositive(2.718); //Noncompliant
    const double eValCubed = 2.718 * 2.718 * 2.718; //Noncompliant
    
    constexpr double eValSquareAnother = square(2.718); //Compliant
}

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

Проверить информацию

Группа: Объявление
Категория: Обязательно, Автоматизировано

См. также

Темы

Представлен в R2020b

Документация для поиска ошибок Polyspace

Поддержка