AUTOSAR C++ 14 правил A3-1-1

Должно быть возможно включать любой заголовочный файл в несколько модулей перевода, не нарушая Одно Правило Определения.

Описание

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

Должно быть возможно включать любой заголовочный файл в несколько модулей перевода, не нарушая Одно Правило Определения.

Объяснение

Если заголовочный файл с переменными или функциональными определениями появляется в нескольких путях к включению, заголовочный файл нарушает Одно Правило Определения, возможно ведущее к непредсказуемому поведению. Например, исходный файл включает заголовочный файл include.h и другой заголовочный файл, который также включает include.h.

Реализация Polyspace

Средство проверки правила отмечает переменные и функциональные определения в заголовочных файлах.

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

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

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

Группа: фундаментальные понятия

Введенный в R2019a