就地交换逻辑在快速排序中不起作用，但使用临时变量进行交换有效。为什么？

Question

在下面实现的快速排序中，我将数组的第一个元素作为主元。当我使用临时变量交换元素时，排序算法工作得很好，但当我就地交换它们时它不起作用（添加 0 作为排序数组中的元素）。请解释一下这段代码中的问题。

    public static void quickSort(int[] arr, int start, int end)
    {
        if(start < end)
        {
            int partition = partition(arr, start, end);

            quickSort(arr, start, partition-1);
            quickSort(arr, partition+1, end);
        }
    }

    public static Integer partition(int[] arr, int start, int end)
    {

        int pivot = start, i = start, j = end;

        while(i<j)
        {
            while(i<end && arr[i]<=arr[pivot])
            {
                i++;
            }

            while(arr[j]>arr[pivot])
            {
                j--;
            }

            if(i<j)
            {
                arr[i] = arr[i] + arr[j];
                arr[j] = arr[i] - arr[j];
                arr[i] = arr[i] - arr[j];   //It doesn't work

               /*int temp = arr[i];
                arr[i] = arr[j];
                arr[j] = temp;     
                */                          //It works


            }
        }
        arr[pivot] = arr[pivot] + arr[j];
        arr[j] = arr[pivot] - arr[j];
        arr[pivot] = arr[pivot] - arr[j];   //It doesn't work

        /*int temp = arr[pivot];
        arr[pivot] = arr[j];
        arr[j] = temp;     
        */                          //It works
        return j;
    }

Answer 1

这个"in-place swap"算法和"out-of-place swap"算法的区别在于，后者在pivot和j是同一个索引的时候起作用，而前者不行.

如果我们假设这两个索引相同，这就是您的代码的样子：

        arr[j] = arr[j] + arr[j];
        arr[j] = arr[j] - arr[j];
        arr[j] = arr[j] - arr[j];

第二行始终将 arr[j] 设置为 0，而不管其原始值如何，第三行将其保留为 0。如果您绝对必须不使用额外的局部变量，那么您将需要 guard与 if(j != pivot) { ... } 的交换。但由于额外的比较、条件跳转和 branch prediction 未命中的可能性，这可能会使它变慢。

就地交换逻辑在快速排序中不起作用，但使用临时变量进行交换有效。为什么？

Inplace swap logic doesn't work in Quick sort but swapping using temp variable works. Why?

java

swap

quicksort