1.1 二分查找（LC704）

Karl老师：

大家写二分法经常写乱，主要是因为对区间的定义没有想清楚，区间的定义就是不变量。要在二分查找的过程中，保持不变量，就是在while寻找中每一次边界的处理都要坚持根据区间的定义来操作，这就是循环不变量规则。

我这里假设区间为左闭右开，写代码的时候一直基于这个原则去写。

第一次手撕：

middle是一个下标，而target是数组的内容，所以报错：

修改后：

依然报错：因为三层if-else应该是同级的，都在while下面的同一级。而我嵌套着写，说明elif是if的下一级，而else是elif的下一级；另外，每个if-else后面都应该有冒号！

以下为正确代码：

class Solution:
    def search(self, nums: List[int], target: int) -> int:
        left=0
        right=len(nums)#左闭右开,[left,right)
        while left<right:
            middle=left+(right-left)//2
            if target<nums[middle]:
                right=middle
            elif target>nums[middle]:
                left=middle+1
            else:
                return middle
        return -1

在 Python 中，如果执行了 `return middle`，则函数会立即中断，返回 `middle` 的值，并且不会执行循环的剩余部分。

这是因为 `return` 语句用于终止函数的执行并返回一个值。

如果 `return middle` 没有执行，循环会继续执行，根据目标值与 `nums[middle]` 的大小关系更新 `left` 和 `right` 的值，直到找到目标值或搜索范围缩小为空，循环才会结束。在循环结束时，如果仍未找到目标值，则会执行 `return -1`，将 -1 作为结果返回。

存疑：

• 时间复杂度：O(log n)
• 空间复杂度：O(1)

这两个复杂度还搞不懂