MISRA C ++:2008 правил 6-4-6

Итоговый пункт оператора switch должен быть пунктом по умолчанию

Описание

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

Итоговый пункт оператора switch должен быть пунктом по умолчанию.

Реализация Polyspace

Средство проверки обнаруживает операторы switch, которые не имеют итогового пункта default.

Средство проверки не повышает нарушение, если переменной switch является enum с конечным числом значений, и у вас есть пункт case для каждого значения. Например:

enum Colours { RED, BLUE, GREEN } colour;

switch ( colour ) {
      case RED:
        break;
      case BLUE:
        break;
      case GREEN:
        break;
}

Обменивайтесь сообщениями в отчете

Итоговый пункт оператора switch должен быть пунктом по умолчанию.

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

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

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

Введенный в R2013b