Exponenta Banner
exponenta event banner

AUTOSAR C++14 Rule M5-0-8

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

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

Описание

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

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

Объяснение

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

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

Поиск и устранение проблем

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

Примеры

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

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.

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

Группа: Выражения
Категория: Необходимый, Автоматизированный

См. также

Темы

Введенный в R2019a

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

Поддержка