求解释二分查找算法中峰值判断if条件的工作逻辑

先看核心的判断代码：

if ((mid == 0 || arr[mid - 1] <= arr[mid]) &&
    (mid == n - 1 || arr[mid + 1] <= arr[mid]))
    break;

这个条件的作用是判断当前mid索引位置的元素是否是数组的峰值，它由两个子条件通过逻辑与（&&）连接，必须同时满足才会认定mid是峰值：

• 第一个子条件：mid == 0 || arr[mid - 1] <= arr[mid]
  这是处理左邻居的判断：如果mid是数组的第一个元素（索引为0），没有左邻居，直接满足左方的峰值要求；如果不是第一个元素，就检查左邻居的值是否小于等于当前mid位置的元素值。

• 第二个子条件：mid == n - 1 || arr[mid + 1] <= arr[mid]
  这是处理右邻居的判断：如果mid是数组的最后一个元素（索引为n-1），没有右邻居，直接满足右方的峰值要求；如果不是最后一个元素，就检查右邻居的值是否小于等于当前mid位置的元素值。

结合整个findPeakUtil函数的逻辑来看：当检测到mid是峰值时，循环会终止，最终返回这个mid索引。如果mid不是峰值，函数会根据左右邻居的大小调整二分查找的边界——左邻居更大就往左半部分查找，否则往右半部分查找，利用二分查找的特性快速缩小范围找到峰值。

这里的峰值定义允许平峰（即相邻元素相等的情况），如果需要严格大于的峰值，只需把条件中的<=改成<即可。

内容的提问来源于stack exchange，提问作者Sazzad ur Rahman