详解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. 拆分的赋值

1. 首先n1指向node3；
2. 然后n1.n指向node3自身，形成闭环
3. 所以结果打印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；

1. 因为在执行完n1 = new Node(nn, 3);之后，stack 中的n1.n仍然指向原n1中的node；
2. 在执行n1.n = n1的时候，两个n1所指示的对象已经不再相同，所以会等到以上结果；
   

三、总结

对于以上问题之所以会出乎意料，就是因为原本以为是原子性的步骤，实际上是分布完成的；

类似的问题其实在Virtual Machine Specifications 中一定是能找到更为准确的答案的，如果你有兴趣可以自行查阅；