java - 在编译时解析静态方法

Question

Java 编译器（几乎）总是在编译时解析静态方法，这是一个普遍的事实。例如：

public class Super {
    static void someMethod() {
        // Do something...
    }
}
public class Derived extends Super {
    // Some other methods, excluding someMethod
}

测试代码：

Derived derived = new Derived();
derived.someMethod();

这应该调用 Super.someMethod()，对吧？它应该在编译时解决，以便 javac 会生成invokestatic Super.someMethod，但我已经看到它会生成invokestatic Derived.someMethod. 为什么要这样做？有没有办法以某种方式改变这种行为？

请纠正我，如果我错了。

Answer 1

让我们假设在 and 之间有一个中间超类Super（Derived例如，称为Intermediate）。

编译器生成的原因Derived.someMethod是您可能会重新编译Intermediate以插入 的实现someMethod，这会影响Super.

Answer 2

作为记录：

public class TestSuperDerived {
    public static void main(String[] argv) {
        DerivedClass.someMethod();
    }
}
class SuperClass {
    static void someMethod() {
        System.out.println("Here!");
    }
}
class DerivedClass extends SuperClass {
    // Some other methods, excluding someMethod
}

javap输出：

C:\JavaTools>javap -c TestSuperDerived
Compiled from "TestSuperDerived.java"
public class TestSuperDerived {
  public TestSuperDerived();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: invokestatic  #2                  // Method DerivedClass.someMethod:()V
       3: return
}