还是让我们从一道面试题说起吧,代码如下,你知道方法执行最后会输出什么吗?
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
先抛出这个方法局部变量表
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的局部变量自增1local_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的局部变量自增1int 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);
作者:没有格子衬衫的程序员
链接:https://blog.csdn.net/jiandabang/article/details/103650040
来源:CSDN