为什么有 4 个单独的字节码来执行静态/虚拟/接口/特殊方法，而一个就足够了？

Question

由于每个方法调用都包含目标方法签名，在我看来，类验证步骤可以通过分析目标来判断其是否调用静态、虚拟等并执行正确的操作？

使用 4 字节代码是否浪费 3 字节代码，或者如果使用 javap 转储类文件，这仅仅是自记录？

Answer 1

如果您谈论的是 invokeinterface、invokespecial、invokestatic 和 invokevirtual，那么有 它们之间的差异。首先是对堆栈的影响。

Answer 2

假设您只有虚拟和静态的调用操作码。让我们假设在编译时你

Test {
        public static void test(Test t) {
        // static method
    }
}

在某个地方用伪字节码调用了这个静态

push t
jmp Test.test(T)V

现在让我们假设有人在运行时使用另一个 Test 类

Test {
    public void test(Test t) {
        // obj call
    }
}

在这种情况下 jmp Test.test(T)V 仍然有效。问题是它会弄乱堆栈。两个不同的操作码允许捕获这个问题的链接时间。

Answer 3

这原本是可能的。然而，每次解释其中一条指令时都会增加额外的成本。因此，性能会因很少的优势而受到损害。

有人认为，单独的指令可以通过减少混淆虚拟机的机会来提高安全性。不确定我是否相信这一点。

Answer 4

您需要此操作码，因为在布置方法的字节码引用时，它们仅包含对常量池中条目的符号引用。要解析这些引用，您需要知道需要解析哪种类型：例如，invokespecial和invokevirtual之间的区别是静态绑定与动态绑定。对于invokespecial，您解析引用的类型，而不是对象的类。如果编译器不放入特殊的操作码来区分方法，则无法收集此信息。在java中，代码通常是动态链接的，这就是强制这些操作码的原因。

Answer 5

至少 invokespecial 需要是一个单独的指令，因为 java 允许显式调用重写方法的超级实现：

class Super {
    public void m() { }
}
class Sub {
    public void m() {
        super.m();
    }
}

Sub 中的调用必须是 invokespecial< /code> 因为否则它只会调用自身并耗尽堆栈。

Answer 6

我认为这场争论是不必要的，因为 java 有这样的设计决定。不确定，但您可能想再看一下他们所说的用户定义的数据端点：调用动态