AUTOSAR C++14 Rule M7-1-2

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

Описание

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

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

Реализация Polyspace

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

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

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

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

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

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