Exponenta Banner
exponenta event banner

MISRA C++: 2008 Правило 5-0-8

Явное преобразование интеграла или с плавающей запятой не должно увеличивать размер базового типа выражения значения

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

Описание

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

Явное интегральное преобразование или преобразование с плавающей запятой не должно увеличивать размер базового типа выражения cvalue.

Объяснение

Выражения, отмеченные этой проверкой, соответствуют подробным спецификациям выражений значений из документации MISRA ® C++ .

Если вычислить выражение и позже привести результат к другому типу, приведение не повлияет на базовый тип вычисления (самый широкий из типов данных операнда в выражении). Например, в этом примере сумма двух short операнды приведены к более широкому типу int.

short op1;
short op2;
int res;
res= static_cast<int> (op1 + op2);
Однако разработчик или рецензент кода может ожидать, что оценка использует тип данных, к которому результат приводится позже. Например, можно ожидать сумму с базовым типом int из-за более позднего актёрского состава.

Дополнительное сообщение в отчете

Явное интегральное преобразование или преобразование с плавающей запятой не должно увеличивать размер базового типа выражения cvalue.

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

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

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

Примеры

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

void func() {
     short op1;
     short op2;
     int res;

     res = static_cast<int> (op1 + op2); //Noncompliant
     res = static_cast<int> (op1) + op2; //Compliant

}

В этом примере первый отлив на сумму нарушает правило, а второй отлив - нет.

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

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

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

Группа: Выражения
Категория: Обязательно

См. также

Темы

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

Документация по программе проверки кода Polyspace

Поддержка