對Java的傳值和不變性的困惑

Question

為了准備SCJP（或現在已知的OCPJP）考試，我被一些關於傳遞（參考）價值和不變性的模擬問題所困擾。

我的理解是，當您將變量傳遞給方法時，您傳遞的是表示如何獲取該變量的位的副本，而不是實際的對象本身。

您發送的副本指向同一個對象，因此您可以修改該對象（如果它是可變的），例如附加到StringBuilder。 但是，如果對不可變對象執行某些操作（例如遞增整數），則本地引用變量現在指向新對象，並且原始引用變量仍然無視此對象。

考慮我的例子：

public class PassByValueExperiment
{

    public static void main(String[] args)
    {
        StringBuilder sb = new StringBuilder();
        sb.append("hello");
        doSomething(sb);
        System.out.println(sb);


        Integer i = 0;
        System.out.println("i before method call : " + i);
        doSomethingAgain(i);
        System.out.println("i after method call: " + i);
    }

    private static void doSomethingAgain(Integer localI)
    {
        // Integer is immutable, so by incrementing it, localI refers to newly created object, not the existing one
        localI++;
    }

    private static void doSomething(StringBuilder localSb)
    {
        // localSb is a different reference variable, but points to the same object on heap
        localSb.append(" world");
    }
}

問題 ：只有不可變對象以這種方式運行，並且可變對象可以通過值傳遞引用進行修改嗎？ 我的理解是正確的還是在這種行為中有其他好處？

Answer 1

在語言級別上，可變對象和可變對象之間沒有區別 - 不變性純粹是類API的屬性。

這個事實只是被自動裝箱所困擾，它允許++在包裝器類型上使用，使它看起來像對象的操作 - 但它並不是真的，因為你已經注意到了自己。 相反，它是用於將值轉換為基元的語法糖，將其遞增，將結果轉換回包裝類型並將該引用分配給變量。

因此區別在於++運算符在基元和包裝器上使用時的作用之間的區別，它與參數傳遞沒有任何關系。

Answer 2

Java本身不知道對象是否是不可變的。 在每種情況下，都傳遞參數的值 ，該值是引用值或原始值。 更改參數的值永遠不會產生任何影響。

現在，為了澄清，此代碼不會更改參數的值：

localSb.append(" world");

這會更改參數值引用的對象內的數據，這是非常不同的。 請注意，您沒有為localSb分配新值。

從根本上說，你需要了解：

• 表達式（變量，參數，參數等）的值始終是引用值或原始值。 它永遠不是一個對象。
• Java 總是使用按值傳遞語義。 參數的值成為參數的初始值。

一旦仔細思考這些事情，並在腦海中分離出“變量”，“價值”和“對象”的概念，事情就會變得更加清晰。