函数什么时候应该返回什么？

Question

我对函数的返回类型有点困惑，特别是什么时候返回什么。如果我们有任意函数，比如说 min(x,y)，它应该根据 if 语句返回，我应该在它们的范围之外返回什么，这是函数声明所要求的。我了解到使用“return 0”或“return 1”很常见，但我不明白为什么会这样，以及为什么它不能只返回 if 的任何一个 return 语句。

// compute difference largest - smallest
int   diff(x, y)
{
   if (x > y)
    return x - y;
   if (y > x)
    return y - x;
   if (x == y)
    return 0;
   return 1;
}

Answer 1

• 如果X 大于Y，则返回X-Y （很明显）
• 如果Y 大于X，则返回Y-X （也很明显）
• 如果X 和Y 相等，您认为应该返回什么？
  如果它们相等，X-Y 和Y-X 是 0，所以这并不重要，不是吗？

你的最后一个子句可以写成：

return x-y;
return y-x;
return 0; 

因为它们两个值相等，所以它们都将评估为0。

重要的部分是确保函数的契约得到维护。
根据 cmets，该函数声称它将返回两个值之间的差值。所以它应该返回差异在所有情况下，无论较大的值是 X、Y 还是它们相等。

您的函数名称极具误导性。因为它被命名为min，这意味着它将返回 minimum 值，而不是差值。为了清楚起见，您应该将函数名称更改为 diff 或 delta。

---

最终，编写函数的更简单方法是：

// compute largest - smallest
int diff(int x, int y)
{
   if (x > y)
    return x - y;   // Handles X is bigger than Y
   else
    return y - x;   // Handles Y bigger than X, *or* X and Y are the same.
}

最后，我会考虑一些非常短的版本。

int diff(int x, int y) { return x>y? x-y:y-x; }
int diff(int x, int y) { return abs(x-y);     }

Answer 2

编译器需要确保你返回一些东西。如果你在 if 语句中有返回值，比如你有，编译器如何判断你是否覆盖了所有情况？

即使您执行以下代码，编译器如何知道您在所有情况下都会返回？因此，此代码将引发错误：

int min(int x, int y)
{
    if (x > y)
        return x - y;
    if (y > x)
        return y - x;
    if (x==y)
        return 1;
}

你怎么能解决这个问题？你可以在函数的末尾写另一个返回，就像你一样。现在编译器知道无论发生什么你都会返回一个值。

但是，有更好的方法可以确保您始终返回一个值。例如，您可以使用 else 语句作为包罗万象：

int min(int x, int y)
{
    if (x > y)
        return x - y;
    if (y > x)
        return y - x;
    else
        return 1;
}

因为 else 保证捕获所有情况，编译器对此很满意，并且不会抛出任何错误。

Answer 3

对于计算两个值之间的差值的函数，如果这两个值之间的差值为 1，则仅返回 1，如果它们相等，则返回 0。

有一门编程学派说，最好在函数末尾有一个返回，而不是分散在各处的多个返回。不是在每个分支中返回差异，而是计算并存储该差异，并在函数末尾返回它：

int diff( int x, int y );
{
  int delta = 0;

  if ( x >= y )
    delta = x - y;
  else 
    delta = y - x;

  return delta;
}

像大多数编程规则一样，也有例外。如果不满足某个条件，有时您想要立即退出。知道什么时候哪种方法更好是一个经验问题。

Answer 4

函数的返回类型在定义中指定，int 在您的情况下。 实际上，您需要指定输入参数的类型（x, y），然后输出的类型通常是从​​它们的类型派生的——比如函数中的 2/3 情况，最后一个是整数（0）。

备注： 您还需要为函数选择更好的名称。