jvm - Java 虚拟机规范 (JVMS) : Bug in "5.4.5 Method overriding"

Question

我在 2009 年 9 月 28 日提交了以下错误。遗憾的是，我仍然没有得到任何回应，规范的最终版本仍然不正确。这真的是一个错误吗？如果不是，为什么不呢？如果是，我该怎么办？

包含错误的部分是 5.4.5 (方法覆盖):http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-5.html#jvms-5.4.5结合 INVOKEVIRTUAL 的描述操作码:http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.invokevirtual

根据 5.4.5 m1可以覆盖 m2即使m1是私有(private)的。如果创建 .class，就会发生这种情况。手动文件或合并 .class从两个汇编。

在我的示例中，我有类(class) A和 B与 B extends A .我编译了这些类，以便 A包含 public名为 f 的方法和 B包含 private方法，也称为 f (首先声明两个方法 public ，编译，复制 A.class 到安全的地方，删除 f 中的 A 的声明并在 private 中更改为 B ，然后编译 B 并使用A.class 的保存版本)。

现在运行它时，我当前的 Oracle JVM 输出 A (意味着 f 中的方法 A 被调用)。根据规范，B应该是输出(意味着 f 中的方法 B 应该被调用)。

编辑:实际上，B.f应该解决。如果调用者不是 B，则调用可能会因为对已解析方法的访问权限检查而失败.但是，我认为方法解析部分是错误的。

我认为 5.4.5 中的定义应该检查 m1 的访问权限，不仅m2 .

public class A {
  public void f();
    Code:
       0: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
       3: ldc           #3                  // String A
       5: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
       8: return
}

public class B extends A {
  private void f();
    Code:
       0: getstatic     #2                  // Field java/lang/System.out:Ljava/io/PrintStream;
       3: ldc           #3                  // String B
       5: invokevirtual #4                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
       8: return
}

谢谢，
卡斯滕

Answer 1

你的问题终于解决了。 current version of the Java 8 JVM specification包含所需的说明:

5.4.5 Overriding

An instance method m_C declared in class C overrides another instance method m_A declared in class A iff either m_C is the same as m_A, or all of the following are true:

• C is a subclass of A.
• m_C has the same name and descriptor as m_A.
• m_C is not marked ACC_PRIVATE.
• One of the following is true:
  • m_A is marked ACC_PUBLIC; or is marked ACC_PROTECTED; or is marked neither ACC_PUBLIC nor ACC_PROTECTED nor ACC_PRIVATE and A belongs to the same run-time package as C.
  • m_C overrides a method m' (m' distinct from m_C and m_A) such that m' overrides m_A.

§4.10.1.5 “类型检查抽象和 native 方法”中还有另一个补充:

private methods and static methods are orthogonal to dynamic method dispatch, so they never override other methods (§5.4.5).

修复不到五年，与其他一些问题相比，这速度很快……