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