Типы

Правило 13 (Р)

Правило 14 (О)

Правила данного раздела относятся к объявлению типов данных.

Базовые типы char, int, short, long, float и double не должны использоваться. Вместо них для определенного компилятора

директивами typedef должны быть определены и использованы имена типов эквивалентной длины.

Как проверяется правило

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

Пример нарушения правила

int x;

Пример корректного кода

typedef int SI_16 SI_16 x;

Тип char всегда должен объявляться как unsigned char или signed char.

Как проверяется правило

Компилятор выдает ошибку, если базовый тип char объявляется без явного указания знаковости signed или беззнаковости unsigned.

Правило 15 (Р)

Правило 16 (О)

Правило 17 (О)

Реализация плавающих типов должна соответствовать определенному стандарту формата с плавающей точкой.

Как проверяется правило

Стандарт плавающих чисел, используемый компилятором IAR C/C++ Compiler, описан в руководстве IAR C/EC++ Compiler Reference Guide.

Внутреннее битовое представление плавающих чисел никогда не должно использоваться программистом.

Как проверяется правило

Компилятор и компоновщик не проверяют нарушение этого правила. Это правило требует ручной проверки.

Имена типов, определенные директивой typedef не должны использоваться в определениях повторно.

Как проверяется правило

Компилятор выдает ошибку в следующих случаях:

∙использование в объявлении или определении любого имени, ранее использованного в директиве typedef;

∙использование в директиве typedef любого имени, ранее использованного в объявлении или определении.