为什么我们需要在这个递归函数中返回

Question

我正在尝试学习递归，所以我决定实现一些使用递归的算法，如二分搜索，但我有一些问题无法理解为什么我们需要在这样的情况下返回：

int binarysearch(int *arr, int x, int left, int right){
    if(right <= left){
        return -1;
    }
    int mid = (left + right) / 2;
    if(arr[mid] == x){
        return mid;
    }
    if(x < arr[mid])
        return binarysearch(arr, x, left, mid - 1);
    else 
        return binarysearch(arr, x, mid + 1, right);
}

就像我们没有需要返回的值一样，我们需要的唯一值是在参数中，但是当我删除 return 语句时，我得到了一些未定义的行为。有人可以向我解释为什么我在删除时得到了未定义的返回语句。

编辑：

• 此返回声明：return binarysearch(arr, x, left, mid - 1);
• 还有这个：return binarysearch(arr, x, mid + 1, right);

Answer 1

这是因为返回值必须通过每个被调用函数的返回值传播到原始调用者。

我会用[i] 来注释每个调用，只是为了区分对同一函数的不同调用。

假设您有数组{ 1, 2 }，然后您调用 printf("%d", binarysearch[1](array, 2, 0, 1));

然后

• mid = 0（因为除以两个整数时会向下取整）
• 2 < arr[0] ~ 2 < 1 = 0（0 表示 C 中的 false）

因此binarysearch[2](array, 2, 1, 1); 在binarysearch[1] 内部被调用。在这个新函数中mid = 1 和arr[1] == 2，所以函数binarysearch[2] 返回1。

但是binarysearch[2] 在binarysearch[1] 内部被调用，所以1 的值现在在binarysearch[1] 内部，为了将值传递给printf，我们必须再次返回它。

如果您删除返回（令我惊讶的是编译器甚至允许您这样做），那么从binarysearch[2] 返回的值将被丢弃并且binarysearch[1] 结束而不会将值返回给printf，但是@ 987654342@ 期望该值存在，因此它只取当时内存中的任何内容，这会导致未定义的行为。

我希望它有点可以理解。

Answer 2

我从你的问题中了解到，为什么我们需要返回函数中已经存在的语句。

所以首先递归的概念是函数不断地调用自己。

接下来二分查找的概念是通过将列表中的元素一分为二来查找它。

它找出中间并将其与搜索元素进行比较，如果它大于搜索值，则在搜索的其他部分以相同的方式执行搜索。

你提到的return语句是再次调用函数以重复搜索功能。即，在列表的第一部分或第二部分执行搜索。

它重复执行此功能，直到找到要搜索的元素。

简单来说，return 语句将控制权收回到函数的开头。你不能忽略 return，因为函数被声明为 int 并且它必须有一个 return 语句