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

Нестандартные сущности не должны добавляться в стандартные пространства имен.

Объяснение

Добавление объявлений или определений к пространству имен std или его подпространств: или к posix или его подпространств, приводит к неопределенному поведению. Для образца любое сложение внутри скобок здесь приводит к неопределенному поведению:

namespace std {
  ...
}

Точно так же явная специализация представителя функции или представителя класса стандартной библиотеки приводит к неопределенному поведению.

Реализация Polyspace

Флажки Checker добавляются к пространствам имен std, posix, или их подпространств, или специализаций шаблонов классов или функций из этих пространств имен.

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

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

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