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