MISRA C ++:2008 правил 7-1-1

Переменная, которая не изменяется, должна быть квалифицированным const

Описание

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

Переменная, которая не изменяется, должна быть квалифицированным const.

Реализация Polyspace

Средство проверки отмечает параметры функции или локальные переменные, которые не квалифицированы к const, но никогда не изменяются в теле функции. Параметры функции целого числа, плавания, перечислимые и булевы типы не отмечаются.

Если переменная передается другой функции ссылкой или указателями, средство проверки принимает, что переменная может быть изменена. Эти переменные не отмечаются.

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

Переменная, которая не изменяется, должна быть квалифицированным const.

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

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

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

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

Введенный в R2018a