JAVA 连等赋值问题

雨点打透心脏的1/2处 2022-02-12 16:49 231阅读 0赞

## 一、描述 ##

关于 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. 初始情况 ###

![初始化][1119937-20190116170607491-956316846.png]

### 2. 拆分的赋值 ###

![分步赋值][1119937-20190116170635488-1759307439.png]

*  首先`n1`指向`node3`；
 *  然后`n1.n`指向`node3`自身，形成闭环
 *  所以结果打印`n1：3 3 ；n2：1 0`，这里很容易理解

### 3. 连等赋值 ###

在开始赋值的时候因为 stack 里面并没有持有`n1.n`的引用，所以会现**在 stack 中创建一个临时变量指向`n1.n`**，如图：

![连等赋值1][1]

所以在连等赋值之后变为：

![连等赋值2][2]

所以最终`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][] 中一定是能找到更为准确的答案的，如果你有兴趣可以自行查阅。

[1119937-20190116170607491-956316846.png]: /images/20220212/3ce3383181754613b0ac04cadb6ea14f.png
[1119937-20190116170635488-1759307439.png]: /images/20220212/bdbd8ea7f9fc4c78b9c0bd3d99f4af1a.png
[1]: /images/20220212/f904e55736994af3becf9a15e46bc965.png
[2]: /images/20220212/6dcbfaa41d474d38a88e8fa966a959d2.png
[Virtual Machine Specifications]: https://docs.oracle.com/javase/specs/index.html