exponenta event banner

Правило AUTOSAR C++ 14 M6-4-6

Последним пунктом заявления о переключении является пункт по умолчанию.

Описание

Определение правила

Заключительным пунктом инструкции по переключению является пункт по умолчанию.

Внедрение Polyspace

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

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

enum Colours { RED, BLUE, GREEN } colour;

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

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

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

Группа: выписки
Категория: Обязательно, Автоматизировано
Представлен в R2019a