为什么在使用递归调用时要使用return语句？

Question

在下面的整数类型的二分查找函数返回值中，当递归调用时，为什么要在else if语句中都使用返回值呢？如果我，代码将不起作用 直接使用递归调用而不是使用它作为回报。

int binarysearch(int l,int h,int key)
{
  int mid;
  mid=(l+h)/2;
  if(l<=h)                             
  {
    if(key==a[mid])
      return mid;
    else if(key>a[mid])
      return(binarysearch(mid+1,h,key));
    else if(key<a[mid])
      return(binarysearch(l,mid-1,key));
  }
  else
    return -1;
}

Answer 1

虽然它的返回值是int 类型，但该函数必须返回一个值。它返回的每个地方都必须返回一个值。当当前函数调用的递归调用返回时，它会给你答案；您必须将该答案返回给调用上下文——递归链的下一级或原始调用者。

如果您不返回值，则调用undefined behaviour，这是一个坏事！™

Answer 2

如果你的函数原型定义了它的返回类型是一个非空数据，那么在该函数的主体中必须返回一个原型中指定的类型的值。 请注意，在您的函数原型中明确表示必须返回“int”类型的值：

int binarysearch(int l, int h, int key);

在它的函数体内有一些条件。这些条件导致不同的执行指令。您需要验证，在每条语句的最后，函数返回的相同类型的值实际上会被返回。

如果你不想使用return，你的函数应该有如下原型：

void binarysearch(int l, int h, int key, int *mid);

在这种情况下，您将使用指针从该函数的内部上下文中检索“mid”的值。

Answer 3

不清楚你在问什么。我认为你想要一个返回语句，这可以通过你的函数的这个编辑来完成：

extern int a[];
int binarysearch(int l,int h,int key)
{
  int mid;
  mid=(l+h)/2;
  if(l<=h) {
    if(key>a[mid]) {
      mid = binarysearch(mid+1,h,key);
    } else if(key<a[mid]) {
      mid = binarysearch(l,mid-1,key);
    }
  } else {
    mid = -1;
  }
  return mid;
}

您的原始函数对我造成了编译器诊断：

bb.c:17:1: 警告：控制可能到达非空函数的末尾 [-Wreturn-type] }

这似乎是一个虚假的编译器警告，因为它看到了以下构造：

if (a == b) {
    return ...;
} else if (a < b) {
    return ...;
} else if (a > b) {
    return ...;
}

还有其他的可能。我补充说：

return -42;

这似乎满足了它。