exponenta event banner

MISRA C++: 2008 Правило 3-1-1

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

Описание

Определение правила

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

Объяснение

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

Внедрение Polyspace

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

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

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

Группа: Основные понятия
Категория: Обязательно
Представлен в R2013b