int mid = l + (r - l) / 2 这样写为什么就不会整型溢出了呢？

如果l和r都在整型范畴里，mid在l，r之间，首先，这个结果是不会溢出的。

对于l + (r - l) / 2，计算过程中，r- l 使用减法，不会超出最大的整型范畴，同时， l + (r - l) / 2 中的这个加法，由于上面所说，结果不会整形溢出，这个加法也是安全的。

但是对于(l  + r) / 2，l + r是一个临时的计算结果，这个结果即使对于l和r都在整型范畴里，也可能溢出

自己使用极端值，试一试，体会一下

有几个朋友给二分求中点mid = (l + r) / 2提出了一些疑问和改进。自己最近也对这个问题有过一些思考，因此在这里系统详细地聊聊自己的看法，看看程序中求区间终点到底应该怎么写才是完美的。

先公布程序中求区间中点的完美写法：mid = l + (r - l) / 2。

在数学上，mid = l + (r - l) / 2和mid = (l + r) / 2是等价的，这个自己通分一下就行了。但是在程序中，往往需要求一个数组区间的中点，这也就意味着区间必须是一个整数，如果中点是x.5这种情况，你是向下取整还是向上取整。这在编程中是一个很大的坑。

mid = (l + r) / 2的劣势
首先看看mid = (l + r) / 2这种求中点有什么劣势。

1:溢出
2:求上下界会不统一

溢出
溢出比较好理解，l + r可能会溢出int的最大范围，而l + (r - l) / 2不会，这里用减法替代了加法，这种思想很多地方都有用到，比如求最小一个数，这个数的平方大于或等于给定的一个值n，直观代码的写法如下：

int x;
for (x = 0; x * x < n; ++x) {}

循环跳出，x就是答案，但是如果n = (1 << 31) - 1呢？这个循环永远不会结束，可以试试看，原因就是x * x会大过int的最大值，从而导致溢出出现负数。正确的写法如下：

int x;
for (x = 0; x < n * 1.0 / x; ++x) {}

这就是利用除法代替乘法，规避了溢出的分险，从数学的角度来看，这两者等价，但是在编程的领域中差别很大。下面分享一个题，你就更能体会这种思想了。