c中的二进制搜索算法

Question

我正在尝试创建一个函数int find_pos(int item, int a[], int len) ，其工作方式如下：

返回作为k的successor的键t数组中的索引（如果存在），否则返回KEY_NOT_FOUND 。

键t是k的后继 ，如果t是存储在sda->buffer的最小键，则t >= k 。

const int KEY_NOT_FOUND = -1;

int find_pos(int item, int a[], int len) {
 int low = 0;
 int high = len-1;
 if (a[0] >= item && len == 1) {
 return 0;
 }
 if(a[0] < item && len == 1) {
 return KEY_NOT_FOUND;
 }
 while (low <= high) {
 int mid = low + (high - low) / 2;
 if (a[mid] == item) {
  return mid;
 } else if (a[mid] < item) {
   low = mid + 1;
 } else {
   high = mid - 1;
 }
 if(a[high] < item) {// invalid size read of 4
  return high + 1;
 }
 }
 return KEY_NOT_FOUND;
}

但是，它可能导致读取4的无效读取大小

if(a[high] < item)

可以解释（或给出一个例子）为什么这一行导致无效的读取大小读取为4？ 提前致谢。

Answer 1

假设low == high == 0 while循环的开始。

所以， mid == 0

然后代码high = mid - 1; 因此，现在high ，现在是负面的，而a[high]是非法访问。