Question

在JVM规范中，以下示例

void createThreadArray() {
    Thread threads[];
    int count = 10;
    threads = new Thread[count];
    threads[0] = new Thread();
}

产生

Method void createThreadArray()
0   bipush 10           // Push int constant 10
2   istore_2            // Initialize count to that
3   iload_2             // Push count, used by anewarray
4   anewarray class #1  // Create new array of class Thread
7   astore_1            // Store new array in threads
8   aload_1             // Push value of threads
9   iconst_0            // Push int constant 0
10  new #1              // Create instance of class Thread
13  dup                 // Make duplicate reference...
14  invokespecial #5    // ...for Thread's constructor
                        // Method java.lang.Thread.<init>()V
17  aastore             // Store new Thread in array at 0
18  return

我的问题是，为什么我们一开始就在此方法中执行istore_2然后iload_2？我们不能只使用bipush 10推送到堆栈上的值来创建新的对象数组吗？这背后的设计考虑是什么？

Answer 1

javac不是优化编译器。当运行时检测到它是热点时，在JVM运行时中完成删除不必要的局部变量count的优化。

通过使用字面翻译，构造字节码编译器非常容易。任何优化分析都很难，并且已经在运行时中实现，因此javac根本不会这样做。

Answer 2

正如已经说过的那样，Javac没有优化这种模式但是，不是因为无法做到，而是因为不能这样做。

对于源代码中的每个局部变量，Javac在类文件(JVMS §2.6.1)中的局部变量数组中保留一个槽。此变量的活动范围及其局部变量索引存储在LocalVariableTable属性(JVMS §4.7.13)中。

此信息是调试目的所必需的。局部变量数组提供从源代码中的变量到字节码中的变量的映射。例如。您可以在代码中的

行设置断点

threads = new Thread[count];

并查询字节码中映射到count的{{1}}变量的值。

JVM字节码输出

2 个答案: