C语言二分查找实现为何传递地址而非数组？

先看你提供的二分查找代码：

#include <stdio.h>

typedef int element_t;

int less(a, b) {
  if (a < b)
    return 1;
  return 0;
}

element_t *binary_search(element_t x, element_t *a , int n) {
  if (n > 0) {
    int mid = n / 2;
    if (less(a[mid], x))
      return binary_search(x, a+mid+1 , n-mid-1);
    if (less(x, a[mid]))
      return binary_search(x, a, mid);
    return a+mid;
    }
  return NULL;
}

int main(){

  int a[5] = {1,2,3,4,5};
  printf("%d %d", &a[2], binary_search(3, a, 5));
  return 0;
}

为什么用a+mid+1而不是传递整个数组？ #

• C语言数组的本质：数组名在作为函数参数传递时，会自动退化为指向数组首元素的指针。函数里的element_t *a接收的本来就是地址，不是整个数组——你以为“本该传递数组”，但C语言根本不支持直接传递整个数组，传递数组名其实就是传递首元素地址。
• 二分查找的范围缩小逻辑：当less(a[mid], x)为真，说明要找的x比中间元素a[mid]大，所以只需要在中间元素右侧的子数组继续查找。a+mid是中间元素的地址，a+mid+1就是右侧子数组的第一个元素的地址，把这个地址传给递归函数，相当于告诉函数“从这里开始，处理后续的元素”。
• 配合长度参数的意义：同时传递的n-mid-1是右侧子数组的元素个数，这样递归调用的binary_search只需要处理从a+mid+1开始的n-mid-1个元素，完美缩小了查找范围，符合二分查找“每次排除一半元素”的核心逻辑。
• 代码简洁性：直接传递子数组的起始地址，函数内部可以直接用a[0]访问子数组的第一个元素，不需要额外计算偏移量，逻辑更简洁高效。

内容的提问来源于stack exchange，提问作者Kim