文章：https://mp.weixin.qq.com/s/fCf5QbPDtE6SSlZ1yh_q8Q

要点提取：

1. 对于二分法需要清楚它其中的不变量，如区间的开闭

2.对于循环条件：[]就表示low 可以等于 High， 所以是low <= high

[)就表示low不能为high，所以对右边进行更新时，右边是不能取的，即所查找值在middle左边，middle作为新的右区间

3.防止溢出:middle = low + (high - low) / 2