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

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

Реализация Polyspace

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

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

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

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

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

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