MISRA C ++:2008 правил 14-8-1

Шаблоны перегруженной функции не должны быть явным образом специализированы

Описание

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

Шаблоны перегруженной функции не должны быть явным образом специализированы.

Реализация Polyspace

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

Обменивайтесь сообщениями в отчете

Шаблоны перегруженной функции не должны быть явным образом специализированы.

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

Если вы ожидаете нарушение правила, но не видите его, обратитесь к Кодированию Стандартных Нарушений, Не Отображенных.

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

Группа: шаблоны
Категория: необходимый

Введенный в R2013b