兼容的Java编译器能否优化此代码？
今天，我在教授一门编程入门课程，并且正在浏览一些涉及Java中变量赋值的简单代码。代码的重点不是要展示任何特别令人兴奋的东西，而是要确保学生理解变量赋值语句 我在黑板上找到了以下方法，并一行一行地追踪它：兼容的Java编译器能否优化此代码？,java,optimization,compiler-construction,javac,Java,Optimization,Compiler Construction,Javac,今天，我在教授一门编程入门课程，并且正在浏览一些涉及Java中变量赋值的简单代码。代码的重点不是要展示任何特别令人兴奋的东西，而是要确保学生理解变量赋值语句 我在黑板上找到了以下方法，并一行一行地追踪它： private void simpleMethod() { int myInt = 137; myInt = 42; myInt = myInt + 1; /* ... code using myInt ... */ } 一个学生问我，当程序运行时，myIn
private void simpleMethod() {
int myInt = 137;
myInt = 42;
myInt = myInt + 1;
/* ... code using myInt ... */
}
myIntjavacjavacmyIntjavapjavac 0: sipush 137
3: istore_1
4: bipush 42
6: istore_1
7: iload_1
8: iconst_1
9: iadd
10: istore_1
11: return
所以这里没有进行优化。不过，我的问题是，优化它是否合法，所以这并不能解决任何问题。我相信Java编译器可以执行任何常量折叠，它可以在编译时静态确定 是的，这可以通过
javac然而，
javacmyInt本文档完全规定了表达式的（明显）求值顺序…myInt=43myIntmyIntmyIntmyInt=43javac虽然这是事实，但我的问题是编译器是否合法 允许进行此优化 通过传统的数据流分析（流/传递函数、输入集、输出集、发电集、压井集等），特别是一些路径，向前推进数据流，即达到定义（或使用def链）。。。对本质上，优化器可以将变量的每次使用链接到到达它的定义 在这种情况下，优化器可以确定myInt（=137）的初始定义从未达到其用途，而另一个定义（=42 1）确实达到其用途，因为它从未在从该定义到其用途的任何（某些）路径上重新定义 参考资料：
- 龙书1ed（1986）第10章
- 龙书2ed（2007）第9章（具体为9.2）
1-我在教学代码中一直使用42。我敢打赌我们都是这样。我想你可以很容易地用
javapjavapjavac