exponenta event banner

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

Глобальное пространство имен должно содержать только основные, объявления пространства имен и внешние объявления «C»

Описание

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

Глобальное пространство имен должно содержать только основные, объявления пространства имен и внешние объявления «C».

Объяснение

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

Внедрение Polyspace

Кроме main функция, средство проверки помечает все имена, используемые в глобальной области, которые не являются частью пространства имен.

Средство проверки не помечает имена в глобальной области, если они объявлены в extern "C" блоки (код C, включенный в код C++). Однако при использовании этой опции Ignore link errors (-no-extern-c), эти имена также помечены.

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

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

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

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