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

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

Реализация Polyspace

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

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

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

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

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

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