二分查找的越界和死循环问题

个人看来，二分查找有两个易错点，那就是“越界”和“死循环”。这里拿左闭右闭和左闭右开来说，

（1）左闭右开：

int BinarySearch(SeqList* s, DataType x)

{
int left = 0, right = s->size ;   //
while (left <right)                     //左闭右开，加上“=”不越界
{
int mid = left + (right - left) / 2;
if (s->array[mid] < x)
{
left = mid + 1;             //不加1容易死循环
}
else if (s->array[mid]>x)
{
right = mid - 1;
}
else
{
return mid;
}

}

}

这里int left = 0, right = s->size ;   while (left < right)  这俩句可以看出是左闭右开"[ ）"的情况，如果 if (s->array[mid]>x)满足，那么x在[left,mid）中，right此时应该设置为mid，如果按照上面代码中的right = mid - 1;就有可能丢失mid对应的那个值，也就是array[mid]=x，这个值被忽略了，就有可能一直找不到x了。

（2）左闭右闭：

int BinarySearch(SeqList* s, DataType x)

{
int left = 0, right = s->size-1 ;   //
while (left <=right)                     //左闭右闭，加上“=”不越界
{
int mid = left + (right - left) / 2;//防溢出
if (s->array[mid] < x)
{
left = mid+1;             //不加1容易死循环
}
else if (s->array[mid]>x)
{
right = mid-1;
}
else
{
return mid;
}

}

}

这个就是对的。

（3）死循环：

int BinarySearch(SeqList* s, DataType x)

{
int left = 0, right = s->size-1 ;   //
while (left <=right)                     //左闭右闭，加上“=”不越界
{
int mid = left + (right - left) / 2;//防溢出
if (s->array[mid] < x)
{
left = mid ;             //不加1容易死循环
}
else if (s->array[mid]>x)
{
right = mid;
}
else
{
return mid;
}

}

}

左闭右闭如果像上面一样满足 if (s->array[mid]>x)，那么x在[left,mid-1]中，right此时应该设置为mid-1，如果这里mid不减1，就有可能在错误的区间死循环，一直找不到不能终止程序。