Функция должна иметь одну точку выхода в конце функции
Примечание
Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.
Функция должна иметь одну точку выхода в конце функции.
Это правило требует что return оператор должен произойти как последний оператор в теле функции. В противном случае следующие проблемы могут произойти:
Код после return оператор может быть непреднамеренно не использован.
Если функция, которая изменяет некоторые ее аргументы, имеет ранний return операторы, при чтении кода, это не сразу понятно, какие модификации на самом деле происходят.
Средство проверки отмечает эти ситуации:
Функция имеет больше чем один return оператор.
non-void функция имеет один return оператор только, но return оператор не является последним оператором в функции.
void функционируйте не должен иметь return оператор. Если return оператор существует, это не должен быть последний оператор в функции.
Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.
| Группа: операторы |
| Категория: необходимый |