AUTOSAR C++14 Rule M9-3-3

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

Описание

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

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

Реализация Polyspace

Средство проверки выполняет эти регистрации этого порядка:

  1. Средство проверки сначала проверяет, получает ли функция члена класса доступ к элементу данных класса. Функции, которые не получают доступ к элементам данных, могут быть объявлены статические.

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

Нарушение на функции членства const означает, что функция даже не получает доступ к элементу данных класса и может быть объявлена статическая.

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

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

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

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