Значение выражения не должно относиться к неподходящему существенному типу
Значение выражения не должно относиться к неподходящему существенному типу.
Преобразование между типами переменных
| От | |||||||
| Булев | характер | enum | подписанный | неподписанный | плавание | ||
| Кому | Булев | Избежать | Избежать | Избежать | Избежать | Избежать | |
| характер | Избежать | Избежать | |||||
| enum | Избежать | Избежать | Избежать | Избежать | Избежать | Избежать | |
| подписанный | Избежать | ||||||
| неподписанный | Избежать | ||||||
| плавание | Избежать | Избежать | |||||
Некоторые неуместные явные слепки:
В C99, результат подбора _Bool всегда равно 0 или 1. Этот результат не обязательно имеет место при отливке в другой тип, который определяется как по существу логический.
Приведение к существенному типу перечисления может привести к значению, которое не лежит в наборе констант перечисления для этого типа.
Отливка от основного логического к любому другому типу вряд ли будет значимой.
Преобразование между плавающим и символьным типами не имеет смысла, поскольку между двумя представлениями нет точного сопоставления.
Некоторые приемлемые явные слепки:
Изменение типа, в котором выполняется последующая арифметическая операция.
Намеренно усекать значение.
Сделать преобразование типа явным в интересах ясности.
Дополнительные сведения об основных типах см. в разделе MISRA C:2012 Rule 10.1.
Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.
| Группа: Модель основного типа |
| Категория: Консультационные услуги |
| СМЖЛ Категория: Консультативные услуги |