exponenta event banner

Правило AUTOSAR C++ 14 M7-3-1

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

Описание

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

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

Объяснение

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

Внедрение Polyspace

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

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

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

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

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

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