Тип, объект или функция, которая используется в нескольких модулях перевода, должны быть объявлены в одном и только одном файле
Это средство проверки деактивировано в Polyspace® по умолчанию как Вы Анализ кода. Смотрите Средства проверки, Деактивированные в Polyspace, когда Вы Кодируете Анализ По умолчанию (Polyspace Bug Finder Access).
Тип, объект или функция, которая используется в нескольких модулях перевода, должны быть объявлены в одном и только одном файле.
Если вы объявляете идентификатор в заголовочном файле, можно включать заголовочный файл в любой модуль перевода, где идентификатор задается или используется. Таким образом вы гарантируете непротиворечивость между:
Объявление и определение.
Объявления в различных модулях перевода.
Правило осуществляет практику объявления внешних объектов или функций в заголовочных файлах.
Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.
| Группа: фундаментальные понятия |
| Категория: необходимый, автоматизированный |
