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

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

Объяснение

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

Реализация Polyspace

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

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

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

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

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