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

Литеральные значения не должны использоваться кроме инициализации типа, в противном случае символьные имена должны использоваться вместо этого.

Объяснение

Часто неясно от использования литеральных констант, что представляет константа. Используя именованные константы улучшает удобочитаемость и поддерживаемость кода.

Реализация Polyspace

Средство проверки правила отмечает использование литеральных значений кроме тех с типом данных char в выражениях, non-const инициализации и case пункты switch оператор.

Polyspace^® отмечает использование литеральных значений в сочетании с логгированием механизмов.

Polyspace не отмечает использование литеральных значений '0' и '1' в выражениях, когда они часто - часть логики кода. Например, '0' представляет Нулевого указателя.

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

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