力扣题库 704.二分查找

题目：
给定一个 n 个元素有序的（升序）整型数组 nums 和一个目标值 target ，写一个函数搜索 nums 中的 target，如果目标值存在返回下标，否则返回 -1。
示例 1:
输入: nums = [-1,0,3,5,9,12], target = 9
输出: 4
解释: 9 出现在 nums 中并且下标为 4
示例 2:
输入: nums = [-1,0,3,5,9,12], target = 2
输出: -1
解释: 2 不存在 nums 中因此返回 -1

提示：
1.你可以假设 nums 中的所有元素是不重复的。
2.n 将在 [1, 10000]之间。
3.nums 的每个元素都将在 [-9999, 9999]之间。

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/binary-search
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题思路：
根据题干和提示条件可知该数组是有序且无重复元素的，所以我们可以直接使用二分法查找目标元素。
二分法的关键在于target所在的区间是左闭右闭还是左闭右开？从中间切断后的分隔点在哪？

我们先说区间是左闭右闭的情况：
若 target 在 [left, right] 中，当 left = right 时是有意义的，所以是 while (left <= right)；
定义 left = 0，right = nums.size() - 1；
当 nums[middle] > target 时，更新 right 为 middle - 1 。

然后是区间是左闭右开的情况：
若 target 在 [left, right) 中，当 left = right 时是没有意义的，所以是 while (left < right)；
定义 left = 0，right = nums.size() ；
当 nums[middle] > target 时，更新 right 为 middle 即可，因为在下一个区间不会再和 nums[middle] 进行比较了。

题解代码(左闭右闭)：

class Solution {
public:
    int search(vector<int>& nums, int target) {
        int left = 0;
        int right = nums.size() - 1;
        while (left <= right) {
            int middle = left + ((right - left) / 2);
            if (nums[middle] < target) {
                left = middle + 1;
            } else if (nums[middle] > target) {
                right = middle - 1;
            } else {
                return middle;
            }
        }
        return -1;
    }
};