AUTOSAR C++14 Rule 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