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