前提条件区间定义两种区间定义套路 前提条件 有序数组无重复元素 区间定义循环不变量 两种区间定义 左闭右闭[left, right]左闭右开[Left, right) 套路while left < right: middle = (left + right) // 2 if …… left++ else if …… right++ else return middle