Java虚拟机规范（JVM）：“5.4.5方法重写”中的错误

Question

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

包含错误的部分是5.4.5（方法重写）：http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-5.html#jvms-5.4.5结合INVOKEVIRTUALopcode的描述：http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html#jvms-6.5.虚拟的

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

在我的例子中，我有类A和B，其中B扩展了A。我编译了这些类，以便A包含一个名为f的public方法，B包含一个private方法，也称为f（首先声明两种方法public，编译A.class，将A中的f声明移除，并在B中更改为private，然后编译B并使用A.class的保存版本）。

现在运行这个程序时，我当前的Oracle JVM输出A（这意味着调用A中的方法f）。根据规范，B应该是输出（意味着应该调用B中的方法f）。

编辑：实际上，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
}

谢谢Carsten

Answer 1

你的问题终于解决了。Java的当前版本

如果m_C与m_A相同，或者以下所有条件均成立，则C类中声明的实例方法m_C将覆盖A类中声明的另一个实例方法m_A：

• C是a的一个子类。
• m_C与m_A具有相同的名称和描述符
• m_C未标记为ACC_PRIVATE
• 以下情况之一是正确的：
  • m_A标记为ACC_PUBLIC；或被标记为ACC_保护；或者标记为既不是ACC_PUBLIC，也不是ACC_PROTECTED，也不是ACC_PRIVATE，并且A与C属于同一个运行时包。
  • m_C覆盖方法m'（m'不同于m_C和m_a），使得m'覆盖m_a

  §4.10.1.5“类型检查摘要和本机方法”中还增加了一项内容：

  私有方法和静态方法与动态方法调度是正交的，因此它们从不覆盖其他方法（§5.4.5）。

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