Exponenta Banner

MISRA C++:2008 Rule 5-0-7

Не должно быть никаких явных интегральных плаванием преобразований cvalue выражения

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

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Управляйте определением

Не должно быть никаких явных интегральных плаванием преобразований cvalue выражения.

Объяснение

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

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

short num;
short den;
float res;
res= static_cast<float> (num/den);
Однако разработчик или рецензент кода могут ожидать, что оценка использует тип данных, к которому результат брошен позже. Например, можно ожидать деление с плавающей точкой из-за более позднего броска.

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

Не должно быть никаких явных интегральных плаванием преобразований cvalue выражения.

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

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

void func() {
     short num;
     short den;
     short res_short;
     float res_float;
     
     res_float = static_cast<float> (num/den); //Noncompliant
     
     res_short = num/den;
     res_float = static_cast<float> (res_short); //Compliant

}

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

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

  • Второй бросок проясняет, что выражение выполнено с базовым типом short. Результат затем брошен к типу float.

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

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

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

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

Темы

Введенный в R2013b

Документация Polyspace Code Prover

Поддержка