请实现一个算法，在旋转有序数组中查找目标值，并返回其下标；若不存在则返回 -1。

回答思路

1. 识别使用二分搜索而非线性扫描
2. 正确处理数组旋转点两侧的单调区间判断
3. 覆盖目标值位于旋转边界、重复元素等边界情况
4. 分析时间复杂度为 O(log n)、空间复杂度为 O(1)