AUTOSAR C++14 Rule M7-1-2

Указатель или параметр ссылки в функции должны быть объявлены как указатель на const или ссылка на const, если соответствующий объект не будет изменен.

Описание

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

Указатель или параметр ссылки в функции должны быть объявлены как указатель на const или ссылка на const, если соответствующий объект не будет изменен.

Реализация Polyspace

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

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

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

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

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

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