求平均数(a+b)/2与(b-a)/2 + a的区别？可能有意向不到的错误！

首先想问一句：二分查找算法你真的会了吗？

在编程中，我们经常需要求平均数，比如在常见的二分查找算法中，需要选择一个分段点，将一段数据分成两半。于是需要求解收尾两个数的平均数。
求平均数，我们很容易想到下面的算式：
mid = (low + high) /2
用代码写出来类似如下：

// int low = 1;
// int high = 20000;
int mid = (low + high) / 2;

如果仅仅是从数学的角度看，求平均数没有比mid = (low + high) /2 更简洁的表达式了，但是与程序来说，形式看起来越简单的东西未必是最好的。比如上面的算式，有一个很重要的bug，那就是可能会导致数据溢出！！！比如：
数据low和high都没有超出int范围，最终的结果mid也不会超出int范围，但是计算中间结果low + high时会超过int范围，导致数溢出！！！

int low = INT_MAX;
int high = INT_MAX;
int mid = (low + high) / 2;

由于上面的写法可能导致数据溢出，于是出现了下面的写法：
mid = (high - low) / 2 + low

int low = INT_MAX;
int high = INT_MAX;
int mid = (high - low) / 2 + low;

从数学的角度看，mid = (high - low) / 2 + low化简之后，就是mid = (low + high) / 2，这么写似乎显得多此一举，但是这种写法，由于中间结果是(high - low) / 2，即使low和high都取很大的值，也不会导致数据溢出。
但是mid = (high - low) / 2 + low这种写法真的不会导致数据溢出吗？实际也不是，比如low取很大的负数，high取整数时，(high - low) 就会出现数据溢出。此时反而是mid = (low + high) / 2这种写法不容易导出数据溢出。
但是由于编程中，进行二分查找时，low和high往往时数据的下标，是非负数，因此mid = (high - low) / 2 + low这种写法可以保证数据不溢出。据说二分查找算法之前有一个隐藏了几十年的bug，就是mid = (low + high) / 2 这种写法会导出数据溢出。这也是我们编程时需要特别注意的地方。

除了上面提到的数据溢出之外，还有其他区别吗？
当然有呀！当int数据进行除法计算时，会舍去小数部分，因此，计算结果与真实结果有差异，可能比真实结果略大，也可能略小。上面这两种写法是有差异的。举例如下：

对于算式：mid = (low + high) / 2
(3 + 8) / 2 = 5; // 小于真实值5.5
(-10 + 5) / 2 = -2; // 大于真实值-2.5

对于算式：(high - low) / 2 + low
(8 - 3) / 2 + 3 = 5; // 小于真实值5.5
(5 - (-10)) / 2 + -10 = -3; // 小于真实值-2.5

从上面的计算结果可以发现，当真实值为小数时，式子mid = (low + high) / 2计算结果可能小于真实值也可能大于真实值，但是**(high - low) / 2 + low，计算结果总是小于真实值**。
这一点差异对我们编程有啥影响吗？
假设我们知道数据不大，mid = (low + high) / 2这种写法不会导致数据溢出。但是这种写法就完事大吉了吗？ NO！
我们可能会写出如下的二分查找算法：

while (low <= high) {
	int mid = (low + high) / 2;
	if (某个条件成立) {
		high = mid;
	}
	else {
		low = mid - 1;
	}
}

上面去这种写法，bug很明显，那就是当low = high时，即有mid = low = high，会导致死循环。
于是改进一下：

while (low < high) {  // 这里不能有等号
	int mid = (low + high) / 2;  // low和high为负数可能导致死循环
	if (某个条件成立) {
		high = mid;
	}
	else {
		low = mid - 1;
	}
}

上面这种写法，咋一看没毛病，但是，若low = -2, high = -1, 此时mid = -1, 如果条件成立，执行if分支，卧槽，又死循环了！！！但是换成下面 mid = (high - low) / 2 + low这种写法就可以避免：
因为这种写法mid总是会小于high：

while (low < high) {  // 这里不能有等号
	int mid = (high - low) / 2 + low;   
	if (某个条件成立) {
		high = mid;
	}
	else {
		low = mid - 1;
	}
}

看完这些，是不是觉得二分查找算法里面有好多坑呀？
是不是觉得一个简单的求平均数公式(a+b)/2与(b-a)/2 + a还是很讲究的！