为什么执行 let x = 1； x = x++；后，x=1?

最新推荐文章于 2023-02-11 16:21:47 发布

十甫寸木南

最新推荐文章于 2023-02-11 16:21:47 发布

阅读量677

点赞数

分类专栏： JavaScript Java 文章标签： js java

本文链接：https://blog.csdn.net/qq_37164975/article/details/115618227

版权

Java 同时被 2 个专栏收录

12 篇文章 0 订阅

订阅专栏

JavaScript

6 篇文章 0 订阅

订阅专栏

起因

最近在学习 JavaScript，偶然发现近期 JavaScript 中似乎多了一部分新的操作符，比如 ??=、??、?. 等。想着学习一下，顺便温习下以往“显而易见”的一些操作符，于是就看到了逗号操作符。【说实话，这个我还真没注意过，居然还有逗号操作符😂】

学习的细节就不多说了，重要的是我看到了一段代码：

let x = 1;
x = (x++, x);
console.log(x);

// expected output: 2

然后嘞，我就给它改了改，改成了这样：👇

let x = 1;
x = x++;
console.log(x);

// my expected output: 2

一脸自信地点下了运行按钮，然而，现实给了我狠狠的一巴掌，结果居然是 1 ?

Why?

不应该先走 x = x，结果 x 为 1；然后再走 x++，结果 x 为 2 吗？怎么会是 1 呢？

x++ 与 ++x 的区别

不信邪的我赶紧去查了下 x++ 与 ++x 的区别：

x++：先计算 x 的值，再将 x 的值自增 1
++x：x 的值先自增 1，再计算 x 的值

没错啊，计算 x = x++ 时我也是按照先计算 x 的值，再对其进行自增的呀，怎么就错了呢？

反编译 x = x++

眉头皱紧的我想到了一个办法：将 x = x++ 这句转换成一个更简单、更原生的代码片段，比如这样👇：

x = x;
x++;

如果能简化成这样的话，岂不是就能验证我的思路是没错的？然而，我没有找到这样的工具😭。

怎么能轻易放弃呢？💪

我又想到，要是能看一下 x = x++ 这句在内存中到底是怎么运作的，那岂不是更方便？✌️

然而，对于 JavaScript，我还是没有找到工具😭😭。

简直了！

最终，经过一番苦逼的查找与实验，我突然一拍脑门，傻逼啊，我可以用 Java 啊！

然后嘞，我就测试了一下这段代码在 Java 中的情况：

public class Test {
  public static void main(String []args) {
    int x = 1;
    x = x++;
    System.out.println(x); // 1
  }
}

果然，这个问题在 Java 中也存在！甚至，我还试了下，在 C 中、C# 中，都是存在这样的问题的！

这就好办了嘛！我大 Java，永远滴神！✌️✌️✌️

javap -c Test > _Test，成功将代码段反编译👇：

Compiled from "Test.java"
public class Test {
  public Test();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: iconst_1
       1: istore_1
       2: iload_1
       3: iinc          1, 1
       6: istore_1
       7: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
      10: iload_1
      11: invokevirtual #3                  // Method java/io/PrintStream.println:(I)V
      14: return
}

有点难懂😂

字节码探索

先简单学习了需要用到的字节码指令：

程序在运行时的有两个区域，一个叫做局部变量表(Local Variable)，一个叫做操作数栈(Operand Stack)，前者的结构类似数组，用来存储局部变量，后者的数据结构是栈，用来辅助执行指令。

指令	指令解释	局部变量表1号位置	操作数栈顶(左侧代表栈顶)	操作数栈2号位置
iconst_1	将1放入操作数栈顶	空	1	空
istore_1	栈顶元素出栈并存入局部变量表1号位置	1	空	空
iload_1	将局部变量表1号位置元素放入栈顶	1	1	空
iinc 1, 1	将局部变量表1(前)号位置元素加1(后)	2	1	空
iadd	将栈顶两个元素弹出相加再放入栈顶	—	—	—
getstatic #2	调用System.out.println()方法，并将局部变量表1号位置的值作为参数	—	—	—
iload_1		—	—	—
invokevirtual #3		—	—	—
return	返回	—	—	—

对 x = x++ 进行探索

为了彻底搞清楚这个问题，同时有一个对比，我写了 6 个代码片段，其核心代码如下👇：

int x= 1; x++; System.out.println(x); // 片段1
int x= 1; ++x; System.out.println(x); // 片段2
int x= 1; int y = x++; System.out.println(y); System.out.println(x); // 片段3
int x= 1; int y = ++x; System.out.println(y); System.out.println(x); // 片段4
int x= 1; x = x++; System.out.println(x); // 片段5
int x= 1; x = ++x; System.out.println(x); // 片段6