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