AUTOSAR C++ 14 правил M6-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;
}

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

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

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

Группа: операторы

Введенный в R2019a