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

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

Объяснение

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

Внедрение Polyspace

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

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

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

Поиск неисправностей

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