Exponenta Banner
exponenta event banner

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

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

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

Описание

Примечание

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

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

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

Объяснение

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

Реализация Polyspace

Средство проверки отмечает неявные преобразования от со знаком до типа данных беззнаковых целых чисел или наоборот.

Средство проверки принимает тот ptrdiff_t целое число со знаком.

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

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

Неявное преобразование одного из двоичного файла + операнды, базовыми типами которых является typename_1 и typename_2.

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

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

Примеры

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

typedef char int8_t;
typedef unsigned char uint8_t;

void func()
  {
    int8_t s8;
    uint8_t u8;

    s8 = u8; //Noncompliant
    u8 = s8 + u8; //Noncompliant
    u8 = static_cast< uint8_t > ( s8 ) + u8; //Compliant
}

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

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

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

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

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

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

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

Темы

Введенный в R2013b

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

Поддержка