手撕代码：一个有序数组查找是否存在某个值，存在则返回下标，不存在则返回应该在哪个下标后面。

回答思路

1. 正确实现二分查找并处理相等与不等两种情况
2. 准确描述不存在时插入位置的语义（第一个大于目标值的位置）
3. 正确处理边界条件（空数组、目标值小于所有元素、目标值大于所有元素）
4. 分析时间复杂度与空间复杂度
5. 能解释插入位置下标的含义并处理重复元素场景