【森罗万象C++】折半查找中的序号加减

当然此种折半查找的先决条件是数值已然按大小顺序排放在数组中。
[例] 用折半查找寻找2，5，7，8，9，11，23，26，32，37种是否存在23。
关键部分简略代码如下：
mid=(low+high)/2;
while(array[mid]!=a && low<=high)
{
if(a>array[mid])
low=mid+1;
else
high=mid-1;
mid=(low+high)/2;
}
If (array[mid]==a)
cout<<“找到,且下标是"<<mid+1<<endl;
else
cout<<“没有找到！”<<endl;

初次理解过程中我产生了一个疑问，为什么每次循环中将mid的值赋给high或low时都要+1或-1？
对代码进行顺推之后不难发现原因：如果数组中并没有希望查找的值，最终mid=(low+high)/2运算过后的值必定与high或low其中一个变量的值相等，此时若不进行1的加减，循环条件将永远不会被打破，循环将变成死循环。
问题由此得解。