Exponenta Banner

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

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

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

Описание

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

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

Объяснение

Выражения, отмеченные этим средством проверки, следуют подробным спецификациям для 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 Bug Finder

Поддержка