Итоговый пункт оператора switch должен быть пунктом по умолчанию
Примечание
Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.
Итоговый пункт оператора switch должен быть пунктом по умолчанию.
Средство проверки обнаруживает switch операторы, которые не имеют итогового default пункт.
Средство проверки не повышает нарушение если switch переменной является enum с конечным числом значений и у вас есть case пункт для каждого значения. Например:
enum Colours { RED, BLUE, GREEN } colour;
switch ( colour ) {
case RED:
break;
case BLUE:
break;
case GREEN:
break;
}Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.
| Группа: операторы |
| Категория: необходимый |