C/C++ 条件返回语句 [重复]

Question

我正在研究嵌入式程序，在某些情况下，如果某个条件并不意味着，我想尽快从函数中返回。如果我有以下代码并且我正在做嵌入式编程：

foo() {
   if (a < b) {
       return 0;  // bail, since condition is met
   } else {
       // lots of calculations in this block
   }
   return 1;
}

我的问题是，有多个返回语句是不是很糟糕？这是不好的做法吗？有没有更好的方法？ MISRA 对此有什么说法吗？

注意：这个问题是嵌入式系统特有的，与 MISRA 有关，而不仅仅是 C/C++

谢谢...

Answer 1

MISRA 需要一个返回语句：

（MISRA，规则 14.7：必需）“函数应在函数末尾有一个退出点”

现在，我个人认为这不是一个好规则。尽量减少 return 语句的数量，但在增强代码的可读性时使用 return 语句。

例如guard clauses 可以使您的代码更简洁、更具可读性。

我建议你阅读这篇关于duffing的文章（从上到下编写代码）：

Answer 2

我会这样写，因为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;
}

我只是更喜欢第一种方式，但这并不意味着任何一种方式都比另一种更好。

这真的归结为您必须遵循的任何标准和个人喜好。

Answer 3

有些人认为这是不好的做法，我个人认为它可以使代码看起来更干净。你也可以这样做：

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;
}

Answer 4

多个 return 语句在 C/C++ 中完全有效。但请确保始终执行至少一个返回语句。以下函数不正确，

int foo(int x)
{
  if(x>0)
  {
    return 1;
  }
  else if(x==0)
  {
    return 0;
  }
  else
  {
    // No return in this block
  }
}

在 C/C++ 中应该避免这种情况。

Answer 5

在一个函数中有多个返回语句是完全可以接受的。事实上，在上面列出的函数中包含多个 return 语句可以提高性能和可读性。例如，您不需要上述函数中的else 块，因为如果满足条件，您将从函数中返回。

只要确保如果你的函数没有void 的返回类型，那么你最后有一个return 语句，并且所有的return 语句都返回该类型。例如，如果你的函数是这样声明的：

int foo ();

那么你所有的 return 语句都必须返回整数，并且无论如何你都应该在最后返回一个整数。但是如果你的函数的返回类型是 void，像这样：

void foo ();

那么如果你到达函数的末尾并且没有return关键字，函数会自动返回。