Java从字节码分析条件语句的执行

原创已于 2024-10-31 16:50:41 修改 · 231 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#java #开发语言

于 2020-01-07 11:10:43 首次发布

Java 专栏收录该内容

15 篇文章

订阅专栏

本文深入探讨了一段看似简单的Java循环代码在执行时出现的非直观数值结果，通过字节码级的详细分析揭示了其背后的运行机制。文章指出，循环中的x=x++;操作导致了x值在每次迭代后被重置为0，从而解释了为何循环结束后x的值仍为0。此现象对于理解Java字节码执行流程及局部变量赋值机制具有重要启示。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

请从字节码角度分析，下列代码运行的结果：

public class Demo3_6_1 {
public static void main(String[] args) {
int i = 0;
int x = 0;
while (i < 10) {
x = x++;
i++;
} 
System.out.println(x); // 结果是 0
}
}

看到这个结果，很是大跌眼镜，下面就来从字节码的角度来分析一下这个结果是如何来的吧。

进行压栈操作将0压入到操作数栈
执行istore指令，将0弹出操作数栈赋值给局部变量表中的X变量
执行iload指令，将局部变量中X的值加载到操作数栈（此时X=0)
执行iinc指令，对局部变量表中的x变量进行自增运算。（此时局部变量表中的x=1)
执行istore指令,将操作数栈中的值（0）弹出栈，重新赋值给局部变量表中的x变量，所以此时的x值又变为0 了

注：可以参考上篇文章的介绍https://blog.youkuaiyun.com/Hi_alan/article/details/103869107