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

力扣链接

题目：

给你一个按照非递减顺序排列的整数数组 nums，和一个目标值 target。请你找出给定目标值在数组中的开始位置和结束位置。

如果数组中不存在目标值 target，返回 [-1, -1]。

你必须设计并实现时间复杂度为 O(log n) 的算法解决此问题。

示例 1：

输入：nums = [5,7,7,8,8,10], target = 8
输出：[3,4]
示例 2：

输入：nums = [5,7,7,8,8,10], target = 6
输出：[-1,-1]
示例 3：

输入：nums = [], target = 0
输出：[-1,-1]

提示：

0 <= nums.length <= 105
-109 <= nums[i] <= 109
nums 是一个非递减数组
-109 <= target <= 109

2.思路：

由数组的有序性及算法时间复杂度的要求可以知道，这道题目要使用二分法。

3.代码：

自己的代码，degug几次后成功AC了

class Solution {
public:
    vector<int> searchRange(vector<int>& nums, int target) {
        int l = 0;  // 定义左指针
        int r = nums.size();  // 定义右指针
        int start = -1, end = -1;  // 定义起始和结束位置，初始值为-1
        while (l < r) {  // 二分查找
            int mid = l + (r - l) / 2;  // 计算中间位置
            if (nums[mid] < target) {  // 当中间值小于目标值时，将左指针移到中间位置的右边
                l = mid + 1;
            } else if (nums[mid] > target) {  // 当中间值大于目标值时，将右指针移到中间位置的左边
                r = mid ;
            } else {  // 当中间值等于目标值时
                if (start == -1) {  // 如果起始位置还未被赋值，那么将起始位置和结束位置都赋值为mid
                    start = mid;
                    end = mid;
                } else {  // 如果起始位置已经被赋值，那么将结束位置更新为mid
                    end = mid;
                }
                l = mid + 1;  // 将左指针移到中间位置的右边，继续查找
            }
        }
        
        while(1) {  // 处理起始位置
            if(start>0&&nums[start] == nums[start - 1]) start--;  // 如果起始位置不为0且前一个位置的值等于起始位置的值，那么将起始位置向左移动一位
            else break;  // 否则跳出循环
        }
        return {start, end};  // 返回起始位置和结束位置
    }
};

4.总结：

（1）防止整数越界：

int mid = l + （r - l）/ 2;

功能上等价于

int mid = （ l + r ）/  2；

但前者可以防止出现整数溢出(整数越界)。我们都知道整型的最大值是 2147483647，举一个例子
如果l = 2147483640，r = 2147483644，使用前者不会出现整数越界，但如果使用后者，在（l + r）时就已经超出了整型数据的最大值了。
（2）防止数组越界：
在这个题目中，我们二分查找出来的start并不一定是target出现的早的位置的下标，

3 3 3 3 3
我们二分查找后，找到的start是2，而实际上应该是-1

因此我们要向前扩展，找到最小的位置。我开始没有主要到这点，在这里出现了几次bug

        while(1) {
            if(start>0&&nums[start] == nums[start - 1]) start--;
            else break;
        }

但向前扩展可能会出现数组越界的情况（数组越界是指访问数组时，使用的下标超出了数组的合法范围），因此在条件判断语句中要写“start>0”,并且根据短路原则，要放到语句的最前面。