Цикл для должен содержать один счетчик цикла, который не должен иметь тип с плавающей запятой
Цикл для должен содержать один счетчик цикла, который не должен иметь тип с плавающей запятой.
Средство проверки помечает следующие ситуации:
for индекс цикла имеет тип с плавающей запятой.
Более одного счетчика цикла увеличивается в for оператор приращения цикла.
Например:
for(i=0, j=0; i<10 && j < 10;i++, j++) {} for отсутствует оператор приращения цикла.
Например:
for(i=0; i<10;) {}Даже если увеличить счетчик цикла в теле цикла, средство проверки все равно поднимет нарушение. Правило основано на правиле MISRA ® C++ 6-5-1. Согласно спецификациям MISRA C++, счетчик цикла является счетчиком, который инициализируется в или перед выражением цикла, действует как операнд для реляционного оператора в выражении цикла и изменяется в выражении цикла. Если инструкция increment в выражении цикла отсутствует, средство проверки не может найти изменение счетчика цикла и считает, что счетчик цикла отсутствует.
Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.
| Группа: выписки |
| Категория: Обязательно, Автоматизировано |