给定一个 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

提示：

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

原题链接：https://leetcode.cn/problems/binary-search/

思路：升序无重复元素数组，可以考虑下使用二分查找法，二分查找常见公式：

注意：golang 没有while 循环

有了这个常见公式，但是不知道细节怎么写？right 初始化的时候是多少，循环条件 right >= left 还是 right > left。right 的值是等于mid-1, 还是等于mid。

主要是因为对区间的定义没有想清楚，区间的定义就是不变量，既然这样定义了这个规则，就贯彻到底，这样在二分查找的过程中方得始终。

常见二分查找有两个思路，左闭右闭区间即[left, right], 或者左闭右开区间即[left, right)

题解一：定义 target 是在一个在左闭右闭的区间里查找，也就是[left, right]，right位置可达，所以最大值为数组长度-1

题解二：定义 target 是在一个在左闭右开的区间里查找，也就是[left, right)，right位置不可达

1总结

二分法为什么一看就会，一写就废？主要就是在定义完区间后，在循环体内，没有坚持查找区间的定义来做边界处理。始终如一，不忘初心，答应我不要做一个花心的渣男好吗？

img