Exponenta Banner

Правило 8.5 MISRA C:2012

Внешний объект или функция должны быть объявлены однажды в одном и только одном файле

расширьте все на странице

Описание

Управляйте определением

Внешний объект или функция должны быть объявлены однажды в одном и только одном файле.

Объяснение

Если вы объявляете идентификатор в заголовочном файле, можно включать заголовочный файл в любой модуль перевода, где идентификатор задается или используется. Таким образом вы гарантируете непротиворечивость между:

  • Объявление и определение.

  • Объявления в различных модулях перевода.

Правило осуществляет практику объявления внешних объектов или функций в заголовочных файлах.

Реализация Polyspace

Средство проверки правила проверяет только явные объявления extern (предварительные определения проигнорированы). Средство проверки отмечает переменные, или функции объявили extern в незаголовочном файле.

Polyspace® Bug Finder™ и Polyspace Code Prover™ проверяют это правило кодирования по-другому. Исследования могут привести к различным результатам.

Обменивайтесь сообщениями в отчете

  • Объектный object_name имеет внешние объявления в нескольких файлах.

  • Функциональный function_name имеет внешние объявления в нескольких файлах.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

Примеры

развернуть все

Заголовочный файл:

/* file.h */
extern int var;
extern void func1(void);   /* Compliant */

Исходный файл:

/* file.c */
#include "file.h"

extern void func2(void);   /* Non compliant */

/* Definitions */
int var = 0;
void func1(void) {}
В этом примере объявление внешнего функционального func2 несовместимо, потому что это происходит в незаголовочном файле. Другой внешний объект и объявления функции происходят в заголовочном файле и выполняют это правило.

Проверяйте информацию

Группа: объявления и определения
Категория: необходимый
Категория AGC: консультация
Язык: C90, C99

Смотрите также

Темы

Введенный в R2014b

Документация Polyspace Code Prover
Поддержка