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

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

Объяснение

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

namespace std {
  ...
}

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

Внедрение Polyspace

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

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

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

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