Определение правила

Не должно быть неявных плавающих-интегральных преобразований.

Объяснение

При преобразовании из плавающей точки в целочисленный тип информация теряется. Если явно не преобразовать плавающую точку в целочисленный тип, не ясно, предназначена ли потеря информации. Кроме того, если значение с плавающей запятой не может быть представлено в целочисленном типе, поведение не определено.

Преобразование из целого в тип с плавающей запятой может привести к неточному представлению значения. Ошибка преобразования может накапливаться в более поздних операциях и приводить к неожиданным результатам.

Внедрение Polyspace

Средство проверки помечает неявные преобразования между типами с плавающей запятой (float и double) и целочисленные типы (short, intи т.д.).

Это правило имеет приоритет над 5-0-4 и 5-0-6, если они применяются одновременно.

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

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