文章：https://mp.weixin.qq.com/s/fCf5QbPDtE6SSlZ1yh_q8Q
要点提取：
1. 对于二分法需要清楚它其中的不变量，如区间的开闭
2.对于循环条件：[]就表示low 可以等于 High， 所以是low <= high
[)就表示low不能为high，所以对右边进行更新时，右边是不能取的，即所查找值在middle左边，middle作为新的右区间
3.防止溢出:middle = low + (high - low) / 2
原文：https://www.cnblogs.com/TherLF/p/14078624.html