exponenta event banner

MISRA C++: 2008 Правило 6-6-5

Функция должна иметь единственную точку выхода в конце функции

Описание

Определение правила

Функция должна иметь единственную точку выхода в конце функции.

Объяснение

Это правило требует, чтобы return оператор должен быть последним оператором в теле функции. В противном случае могут возникнуть следующие проблемы:

  • Код, следующий за return оператор может быть непреднамеренно опущен.

  • Если функция, изменяющая некоторые из ее аргументов, имеет ранний return утверждения, при чтении кода не сразу ясно, какие изменения на самом деле происходят.

Внедрение Polyspace

Средство проверки помечает следующие ситуации:

  • Функция имеет более одной return заявление.

  • Не -void функция имеет одну return только заявление, но return оператор не является последним оператором в функции.

A void функция не обязательно должна иметь return заявление. Если return оператор существует, он не обязательно должен быть последним оператором в функции.

Поиск неисправностей

Если вы ожидаете нарушения правила, но не видите его, обратитесь к разделу Нарушения стандартов кодирования не отображаются.

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

Группа: выписки
Категория: Обязательно
Представлен в R2013b