在变量外部修改本地变量？

Question

我正在尝试理解下面的QuickSort实现在Java中是如何工作的。我已经了解了大部分，但我很困惑它是如何做任何事情的。当您将变量传递给函数并对其进行修改时，它通常不会修改传入的原始变量。那么为什么这种没有返回类型的快速排序实现会修改传入的数组呢？

public static void quickSort(int[] arr, int low, int high) {
    if (arr == null || arr.length == 0)
        return;

    if (low >= high)
        return;

    int middle = low + (high - low) / 2;
    int pivot = arr[middle];

    // make left < pivot and right > pivot
    int i = low, j = high;
    while (i <= j) {
        while (arr[i] <pivot) {
            i++;
        }

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

        if (i <= j) {
            int temp = arr[i];
            arr[i] = arr[j];
            arr[j] = temp;
            i++;
            j--;
        }
    }

    if (low < j)
        quickSort(arr, low, j);

    if (high > i)
        quickSort(arr, i, high);
}

Answer 1

Java中的所有内容都是通过值传递的。如果我们讨论的是非原语-对象变量以及数组，那么变量的值就是指向对象的链接。我们不能重新分配链接，但我们可以更改对象的内部结构。

问题是，当我们传递原语时，它们被保存在函数堆栈中，它们的更改不会影响方法调用中变量的值。但对象在堆中，它们是共享的。因此，我们可以从调用堆栈的任何位置更改它的内部结构。

Answer 2

您的int[]arr是对数组的引用。此引用是传递给它的引用的副本，无法更改该引用。但是，它引用的数组不会被复制，当您修改它时，调用方可以看到这些更改。

Answer 3

因为数组被视为对象，在这种情况下，它们将引用的值传递给方法，这导致此实现在传递给此方法的数组上工作。

这就像你会做的一样

public void test(ObjectA obj) {
    obj.setVal(1);
}

在这种情况下，您将处理传递的ObjectA，并在此实例上调用方法setVal。在这种情况下，在方法test中调用的方法也会反映在这个特定对象的已传递实例中的更改中（因为它是同一个实例）。

阵列也是如此

public static void main(String args[]) {
   int[] arr = {1,2,3};
   test(arr);
   System.out.println(arr[0]); // This would print 13 now.
}

public static void test(int[] arr) {
   arr[0] = 13;
}

为了进一步的参考，你可以通过这个问题