MISRA C:2012 Rule 8.12

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

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Управляйте определением

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

Объяснение

Неявно заданное постоянное перечисление имеет значение одно большее, чем его предшественник. Если первое постоянное перечисление неявно задано, то его значение 0. Явным образом заданное постоянное перечисление имеет заданное значение.

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

Реализация Polyspace

Средство проверки правила отмечает перечисление, если оно имеет неявно заданное перечисление, постоянное с тем же значением как другое постоянное перечисление.

Дополнительное сообщение в отчете

Постоянный constant1 имеет то же значение как постоянный constant2.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

развернуть все

Репликация значения в неявно заданных перечислимых константах

enum color1 {red_1, blue_1, green_1};   /* Compliant */
enum color2 {red_2 = 1, blue_2 = 2, green_2 = 3};       /* Compliant */
enum color3 {red_3 = 1, blue_3, green_3};     /* Compliant */
enum color4 {red_4, blue_4, green_4 = 1};     /* Non Compliant */
enum color5 {red_5 = 2, blue_5, green_5 = 2};     /* Compliant */
enum color6 {red_6 = 2, blue_6, green_6 = 2, yellow_6};     /* Non Compliant */

Совместимые ситуации:

color1: Все константы неявно заданы.
color2: Все константы явным образом заданы.
color3: Хотя существует соединение неявной и явной спецификации, все константы имеют уникальные значения.
color5: Неявно заданные константы имеют уникальные значения.

Несовместимые ситуации:

color4: Неявно заданный постоянный blue_4 имеет то же значение как green_4.
color6: Неявно заданный постоянный blue_6 имеет то же значение как yellow_6.

Проверяйте информацию

Группа: объявления и определения

Категория: необходимый

Категория AGC: необходимый

Вопросы совместимости

развернуть все

Используя Code Prover, чтобы проверять на кодирование нарушений правила не рекомендуется

Не рекомендуемый запуск в R2021b

Проверка кодирование нарушений правила и вычислительных метрик кода при помощи Code Prover не рекомендуется. Этот рабочий процесс будет удален в будущем релизе. Чтобы проверять на кодирование нарушений правила и вычислить метрики кода, используйте Bug Finder. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder. Чтобы видеть, как Bug Finder проверяет это правило, смотрите MISRA C:2012 Rule 8.12.

Смотрите также

Check MISRA C:2012 (-misra3)

Темы

Введенный в R2014b

Документация