Я работаю над встроенной программой, и в некоторых случаях, если условие не предназначено, я хотел бы как можно быстрее вернуться из функции. если у меня есть следующий код, и я выполняю встроенное программирование:
foo() {
if (a < b) {
return 0; // bail, since condition is met
} else {
// lots of calculations in this block
}
return 1;
}
Мой вопрос: плохо ли иметь несколько операторов возврата? Это плохая практика? Есть ли лучшие методы? Означает ли MISRA что-нибудь об этом?
ПРИМЕЧАНИЕ. Этот вопрос относится к Embedded Systems, имеет отношение к MISRA не только C/С++
Спасибо...
Для MISRA требуется один оператор возврата:
(MISRA, правило 14.7: требуется) "Функция должна иметь одну точку выхода в конце функции"
Теперь, лично я не думаю, что это хорошее правило. Минимизируйте количество операторов return, но используйте оператор return, когда он улучшает читаемость вашего кода.
Например оговорки охраны могут сделать ваш код более понятным и понятным.
Я предлагаю вам прочитать эту статью о duffing (написание кода сверху вниз):
Я бы написал так, потому что else избыточен:
if (a < b) {
return 0; // bail, since condition is met
}
// lots of calculations in this block
return 1;
Я не думаю, что существует правило, но если функция действительно длинная, и у вас есть несколько точек возврата, ее может быть сложно поддерживать и понимать.
Однако в рекурсивной функции, например, очень удобно помещать ваши "базовые случаи" в качестве операторов возврата в начале функции.
Например, рассмотрим факториал:
int fact(int x) {
// base cases
if (x == 0 || x == 1)
return 1;
// recursive call
return x * fact(x-1);
}
Вы также можете записать его так:
int fact(int x) {
int ret = 0;
if (x == 0 || x == 1)
ret = 1;
else
ret = x * fact(x-1);
return ret;
}
Мне просто нравится первый способ лучше, но это не значит, что любой из них лучше, чем другой.
Это действительно сводится к любым стандартам, которым вы должны следовать и к личным предпочтениям.
Некоторые считают, что это плохая практика, я лично в порядке, поскольку это может быть более чистый код. Вы также можете сделать это следующим образом:
foo() {
int results = 0; // good practice to initialize
if (a < b) {
results = 0; // redundant, likely optimized out
} else {
// lots of calculations in this block
results = 1;
}
return results;
}
Несколько операторов return корректно действуют в C/С++. Но убедитесь, что хотя бы одно из операторов return всегда выполняется. Следующая функция неверна,
int foo(int x)
{
if(x>0)
{
return 1;
}
else if(x==0)
{
return 0;
}
else
{
// No return in this block
}
}
таких ситуаций следует избегать в C/С++.
Наличие нескольких операторов возврата в функции вполне приемлемо. Фактически, наличие нескольких операторов возврата в функции, подобной приведенной выше, может обеспечить улучшение производительности и удобочитаемости. Например, вам не нужен блок else в приведенной выше функции, потому что вы возвращаетесь из функции, если условие выполнено.
Просто убедитесь, что если ваша функция не имеет типа возврата void, то у вас есть оператор return в конце и что все возвращаемые операторы возвращают этот тип. Например, если ваша функция объявлена следующим образом:
int foo ();
Затем все ваши операторы return должны возвращать целые числа, и вы должны возвращать целое число в конце, независимо от того, что. Но если ваша функция имеет тип возврата типа void, например:
void foo ();
Затем, если вы достигнете конца функции и не имеете ключевого слова return, функция автоматически вернется.