JAVA 連等賦值問題

一、描述

關於 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 中一定是能找到更為准確的答案的，如果你有興趣可以自行查閱；