二分查找，使用条件：用于有序数组

1.二分查找 leetcode704

二分查找使用条件 1.数组是有序数组 2.数组中没有重复元素。 因为如果有重复元素的话二分查找返回的元素不唯一

循环不变量（Loop Invariant）是编程中一个重要的概念，尤其在循环算法设计中。它指的是在循环开始之前、循环过程中以及循环结束时都保持成立的条件或属性。在二分查找算法中，循环不变量通常指的是查找区间的定义，这个定义在整个查找过程中是不变的。也就是边界的定义是二分查找中的不变量

不变性：循环不变量的关键是，无论循环体如何执行，只要循环继续，left 和 right 所定义的区间内一定包含 target（如果它存在于数组中）。这个属性在整个循环过程中保持不变。也就是说只要在循环，target一定在这之中

左闭右闭，循环条件是while(left <= right)是因为当left和right相等时，它们指向同一个元素，这个元素仍然需要被检查是否为目标值，不取等号会造成露检，也就是left == right 也需要进行检查，不能不进行检查，所以要用left <= right来进行判定.

目前学习了解到的使用二分法的情况是只要数组是有序的就可以，不必严格要求没有重复元素

中值小了就移左，中值大了就移右 简短的一个口诀方便快速写代码"大右小左" 谐音：蛮大哟，小左左 解释：nums[mid] > target 那么更新的就是右边界， 则 right = mid - 1 如果 nums[mid] < target 那么更新的是左边界 , left = mid + 1

leetcode34在排序数组中查找元素的第一个和最后一个位置

题目经验：方法一、二分查找while循环还是一直采用while(left<= right) if 判断的时候，可以根据条件灵活调整来利用条件，可以分两段判断，也可以三段 > >= < <= = 都可以作为利用的条件。