Управляйте определением

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

Объяснение

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

namespace std {
  ...
}

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

Реализация Polyspace

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

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

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

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.