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