exponenta event banner

Правило AUTOSAR C++ 14 M7-1-2

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

Описание

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

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

Внедрение Polyspace

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

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

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

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

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

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