Exponenta Banner

MISRA C ++:2008 правил 3-9-2

определения типов, которые указывают на размер и со знаком, должны использоваться вместо основных числовых типов

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

Описание

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

определения типов, которые указывают на размер и со знаком, должны использоваться вместо основных числовых типов.

Объяснение

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

Реализация Polyspace

Средство проверки правила не повышает нарушения в шаблонах, которые не инстанцируют.

Обменивайтесь сообщениями в отчете

определения типов, которые указывают на размер и со знаком, должны использоваться вместо основных числовых типов.

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

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

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

typedef unsigned int uint32_t;

unsigned int x = 0;       //Noncompliant
uint32_t y = 0;  //Compliant

В этом примере объявление x несовместимо, потому что это использует основной тип int непосредственно.

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

Группа: фундаментальные понятия
Категория: консультация

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

Темы

Введенный в R2013b

Документация Polyspace Code Prover
Поддержка