将此快速排序实现的比较器从<=更改为<会导致无限递归。为什么?

在分区方法中,有两个“left<=right”谓词(在其第一个while语句和最后一个if语句中)。当left==right时,在这些索引处交换元素与不交换相同,因此我认为删除比较的“==”部分不会有任何影响。然而,当我这样做并使用“left<right”运行代码时,程序无限递归(在某些输入上),并导致堆栈溢出。为什么?

澄清:在(1)first while语句和(2)final if语句中,我正在将分区方法中的“left<=right”谓词更新为“left<right”。

P、 由于“left”在最后一个if语句中递增,我也尝试返回left+1,但这仍然会导致无限递归。

public static void quickSort(int[] arr, int left, int right) {
    int index = partition(arr, left, right);
    if (left < index - 1) { // Sort left half
        quickSort(arr, left, index - 1);
    }
    if (index < right) { // Sort right half
        quickSort(arr, index, right);
    }
}

public static int partition(int[] arr, int left, int right) {
    int pivot = arr[(left + right) / 2]; // Pick a pivot point. Can be an element        
    while (left <= right) {
        // Find element on left that should be on right
        while (arr[left] < pivot) { 
            left++;
        }

        // Find element on right that should be on left
        while (arr[right] > pivot) {
            right--;
        }

        // Swap elements, and move left and right indices
        if (left <= right) {
            swap(arr, left, right);
            left++;
            right--;
        }
    }
    return left; 
}

public static void swap(int[] array, int i, int j) {
    int tmp = array[i];
    array[i] = array[j];
    array[j] = tmp;
}