exponenta event banner

MISRA C:2012 Dir 4.6

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

Описание

Определение директивы

typedefs вместо базовых числовых типов следует использовать показатели размера и заметности.

Объяснение

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

Внедрение Polyspace

Средство проверки правил помечает использование основных типов данных в объявлениях и определениях переменных или функций. Правило принудительно использует typedefs вместо этого.

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

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

Примеры

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

typedef unsigned int uint32_t;

int x = 0;       /* Non compliant */
uint32_t y = 0;  /* Compliant */

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

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

Группа: Дизайн кода
Категория: Консультационные услуги
СМЖЛ Категория: Консультативные услуги
Представлен в R2014b