一、描述
關於 Java 連等賦值,例如a=b=c;我們知道它是從右往左依次賦值的,其結果大致可以拆分爲b=c;a=b;,但是當棧中沒有持有變量的引用時,則會出現問題,例如:
public class Node {
int i;
Node n;
Node(int i) {
this.i = i;
}
Node(Node n, int i) {
this.i = i;
this.n = n;
}
@Override
public String toString() {
return i + " ";
}
public static void main(String[] args) {
Node nn = new Node(0);
Node n1 = new Node(nn, 1);
Node n2 = n1;
n1.n = n1 = new Node(nn, 3);
System.out.println(n1.toString() + n1.n.toString());
System.out.println(n2.toString() + n2.n.toString());
}
}
// 打印:
// n1:3 0
// n2:1 3
如果將以上n1.n = n1 = new Node(nn, 3);拆分後:
n1 = new Node(nn, 3);
n1.n = n1;
// 打印:
// n1:3 3
// n2:1 0
二、分析
1. 初始情況
2. 拆分的賦值
首先n1指向node3;
然後n1.n指向node3自身,形成閉環
所以結果打印n1:3 3 ;n2:1 0,這裏很容易理解
3. 連等賦值
在開始賦值的時候因爲 stack 裏面並沒有持有n1.n的引用,所以會現在 stack 中創建一個臨時變量指向n1.n,如圖:
所以在連等賦值之後變爲:
所以最終n1.n = n1 = new Node(nn, 3);會打印n1:3 0;n2:1 3;
因爲在執行完n1 = new Node(nn, 3);之後,stack 中的n1.n仍然指向原n1中的node;
在執行n1.n = n1的時候,兩個n1所指示的對象已經不再相同,所以會等到以上結果;
三、總結
對於以上問題之所以會出乎意料,就是因爲原本以爲是原子性的步驟,實際上是分佈完成的;
類似的問題其實在 Virtual Machine Specifications 中一定是能找到更爲準確的答案的,如果你有興趣可以自行查閱;