Exponenta Banner
exponenta event banner

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

cvalue выражение не должно быть неявно преобразовано в различный базовый тип

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

Описание

Примечание

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

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

cvalue выражение не должно быть неявно преобразовано в различный базовый тип.

Объяснение

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

Реализация Polyspace

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

Базовый тип данных cvalue выражения является самым широким из типов данных операнда в выражении. Например, если вы добавляете две переменные, один из типа int8_t (typedef для char) и другой из типа int32_t (typedef для int), сложение имеет базовый тип int32_t. Если вы присваиваете сумму переменной типа int8_t, правило нарушено.

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

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

Примеры

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

#include<cstdint>

void func ( )
  {
    int32_t s32;
    int8_t s8;
    s32 = s8 + s8; //Noncompliant
    s32 = s32 + s8; //Compliant
  }

В этом примере правило нарушено когда две переменные типа int8_t добавляются и результат присвоен переменной типа int32_t. Базовый тип сложения не учитывает целочисленное включенное продвижение и является просто самым широким из типов данных операнда, в этом случае, int8_t.

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

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

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

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

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

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

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

Темы

Введенный в R2013b

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

Поддержка