字节码层面理解java中i++和++i的区别

还是让我们从一道面试题说起吧，代码如下，你知道方法执行最后会输出什么吗？

public static void main(String[] args) {
    int i = 0;
    for (int j = 0; j < 50; j++) {
        i = i++;
    }
    System.out.println(i);
}

不卖关子，最后输出结果是0，而不是50，不知道跟你的认知是否一致。

---

直接上字节码，让我们从字节码层面看看i++背后的逻辑。

public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=1
         0: iconst_0
         1: istore_1
         2: iconst_0
         3: istore_2
         4: iload_2
         5: bipush        50
         7: if_icmpge     21
        10: iload_1
        11: iinc          1, 1
        14: istore_1
        15: iinc          2, 1
        18: goto          4
        21: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
        24: iload_1
        25: invokevirtual #3                  // Method java/io/PrintStream.println:(I)V
        28: return

先抛出这个方法局部变量表

0	1	2
args	i	j

pc 0~1两个指令，为下标为1的局部变量赋值为0，也就是局部变量i

pc 2~3两个指令，为下表为2的局部变量赋值为0，也就是局部变量j

pc 4~7三个指令，取局部变量j的值与50比较，如果j>=50，跳转到pc=21的指令处，如果不满足则顺序往下执行

pc 10~14三个指令，是i=i++这行代码编译后的指令。在jvm中，局部变量表和操作数栈是两个不同的存储数据的内存区域。iload_1表示将局部变量表中下标为1的变量，也就是变量i的值复制一份，加载到操作数栈顶，innc 1,1 指令则将局部变量表中变量i的值加1再写回局部变量表中变量i的位置，istore_1则将栈顶的数据覆盖局部变量表中变量i的位置，所以执行完这3个命令后，变量i的值并没有发生变化。用伪代码来表示这三个指令的逻辑就是这样

int stack_top = local_variable[1];//把下标为1的局部变量加载到栈顶
local_variable[1] = local_variable[1] + 1;//下标为1的局部变量自增1
local_variable[1] = stack_top;//用栈顶的值覆盖下标为1的局部变量

pc 15指令iinc 2,1 将变量j自增1

pc 18指令goto 4，程序重新从pc=4的地方开始执行

pc 21~25三个指令，就是打印下标为1的局部变量，也就是打印变量i

所以，从pc10~14三个指令，可以看出变量i=i++这行代码不会改变变量i的值，因此最后打印结果是0。

---

如果将 i=i++ 改成 i=++i，结果会是怎样呢？

public static void main(String[] args) {
    int i = 0;
    for (int j = 0; j < 50; j++) {
        i = ++i;
    }
    System.out.println(i);
}

输出结果是50，还是直接看字节码

public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=1
         0: iconst_0
         1: istore_1
         2: iconst_0
         3: istore_2
         4: iload_2
         5: bipush        50
         7: if_icmpge     21
        10: iinc          1, 1
        13: iload_1
        14: istore_1
        15: iinc          2, 1
        18: goto          4
        21: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
        24: iload_1
        25: invokevirtual #3                  // Method java/io/PrintStream.println:(I)V
        28: return

除了指令10~14，对应的代码就是 i=++i，其他部分跟上面的字节码指令一样，所以我们只看不一样的部分。

pc 10 innc 1,1 这里先执行自增指令，将下标为1的局部变量i的值自增1

pc 13 iload_1 将下标为1的局部变量i的值加载到操作数栈顶

pc 14istore_1 将操作数栈顶的值覆盖下标为1的局部变量i的值

用伪代码来表示这段逻辑就是这样

local_variable[1] = local_variable[1] + 1;//下标为1的局部变量自增1
int stack_top = local_variable[1];//把下标为1的局部变量加载到栈顶
local_variable[1] = stack_top;//用栈顶的值覆盖下标为1的局部变量

所以，从pc10~14三个指令，可以看出变量 i=++i 这行代码会使i的值增加1，因此最后打印结果是50。

---

与i++对应的指令不同的地方是，++i会先执行innc 1,1指令，这条指令会是i的值增加1，然后再参与计算。而i++会先将i的值保存到另外一个地方，然后再对i自增1，但是i=i++的赋值(也就是=)会用已保存的i的旧值覆盖i的新值，所以i=i++，i的值并不会变。

 

总结：讲解了i=i++和i=++i的字节码底层原理。

---

不知道朋友你理解了没有，试试这道题输出结果是什么

int i = 0;
int result = i++ + ++i + i++;
System.out.println(result);