java - 为什么 Java 字节码方法中使用的局部变量数量不是最经济的？

Question

我有一段简单的 Java 代码:

public static void main(String[] args) {
    String testStr = "test";
    String rst = testStr + 1 + "a" + "pig" + 2;
    System.out.println(rst);
}

使用 Eclipse Java 编译器编译它，并使用 AsmTools 检查字节码。它显示:

方法中有三个局部变量。参数在插槽 0 中，而插槽 1 和 2 应该由代码使用。但我认为 2 个局部变量就足够了——无论如何，索引 0 是参数，而代码只需要一个变量。

为了看看我的想法是否正确，我编辑了文本字节码，将局部变量的数量减少到2个，并调整了一些相关说明:

我用 AsmTools 重新编译了它，它工作正常!

那么为什么 Javac 或 Eclipse 编译器不做这种优化来使用最少的局部变量呢？

Answer 1

有几个原因。首先，它不是性能所必需的。 JVM 已经在运行时优化了一些东西，所以没有必要给编译器增加冗余的复杂性。

然而，这里没有人提到的另一个主要原因是调试。使字节码尽可能接近原始源代码，使其更容易调试。