MISRA C++:2008 Rule 16-2-6

#include директива должна сопровождаться или <имя файла> или последовательность "имени файла"

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

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

#include директива должна сопровождаться или <имя файла> или последовательность "имени файла".

Объяснение

Это правило применяется только после макро-замены.

Поведение кода не определено если #include директива не использует одну из следующих форм:

#include <filename>
#include "filename"

Используя другие формы #include директивы не разрешены ISO/IEC 14882:2003. Чтобы избежать неожиданного поведения, избегайте использования уродливого #include операторы.

Реализация Polyspace

Polyspace^® повышает нарушение этого правила если #include директива не сопровождается ни одним <filename> или "Filename".

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

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

Примеры

развернуть все

Избегайте уродливого `#include` Директивы

#include"incguard.h" //Compliant
#include<incguard.h> //Compliant

#define MH "myheader.h"
#define STR <string>
#include MH //Compliant
#include STR //Compliant

#include myfile.h //Noncompliant

В этом примере Polyspace отмечает директиву, которая пытается включать myfile.h потому что это не следует ни за одной из допустимых форм. Другие директивы следуют за допустимыми формами после применимых макро-замен.

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

Группа: предварительная обработка директив

Категория: необходимый

Вопросы совместимости

развернуть все

Используя Code Prover, чтобы проверять на кодирование нарушений правила не рекомендуется

Не рекомендуемый запуск в R2021b

Проверка кодирование нарушений правила и вычислительных метрик кода при помощи Code Prover не рекомендуется. Этот рабочий процесс будет удален в будущем релизе. Чтобы проверять на кодирование нарушений правила и вычислить метрики кода, используйте Bug Finder. Смотрите Перемещают Рабочие процессы Code Prover для Проверки Стандартов Кодирования и Метрик Кода к Bug Finder. Чтобы видеть, как Bug Finder проверяет это правило, смотрите MISRA C++:2008 Rule 16-2-6.

Смотрите также

Check MISRA C++:2008 (-misra-cpp)

Темы

Проверяйте на кодирование стандартных нарушений

Введенный в R2013b

Документация Polyspace Code Prover

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.

Документация