Exponenta Banner

MISRA C++:2008 Rule 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

Поддержка