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