java - 为什么编译器在静态调用时会接受无效的语法调用(方法)？

Question

在方法之前没有静态/实例引用的情况下，Java 通用方法不能被调用的原因是什么？就像示例代码中的“案例 2”和“案例 5”。

换句话说，为什么我们可以在没有静态/实例引用的情况下调用普通方法(如“案例 3”)，而在通用方法中我们不能？

public class MyClass {

public static void main(String[] args) {

    MyClass.<String>doWhatEver("Test Me!"); // case 1

    <String>doWhatEver("Test Me2!"); // case 2 COMPILE ERROR HERE

    doSomething("Test Me 3!"); // case 3 (just for compare)

    new MyClass().<String>doMoreStuff("Test me 4"); // case 4

}

public void doX(){
    <String>doMoreStuff("test me 5"); // case 5 COMPILE ERROR HERE
}


public static <T> void doWhatEver(T x){
    System.out.println(x);
}

public static void doSomething(String x){
    System.out.println(x);
}

public <T> void doMoreStuff(T x){
    System.out.println(x);
}

}

Answer 1

• 您不需要指定 <String>对于情况 1 和情况 4，编译器会为您处理。
• 现在让我们尝试运行您的示例，看看会发生什么。

Exception in thread "main" java.lang.RuntimeException: Uncompilable source code - illegal start of expression

就这么简单，你的问题的答案是因为语法无效，它不应该在 javac 中那样使用规范。

然而，这与static无关。或不。在构造函数中尝试删除 doWhatEver 的静态关键字方法:

public MyClass()
{
    <String>doWhatEver("Test Me2!"); //does not compile
    doWhatEver("Test Me2!"); //compile
}

public <T> void doWhatEver(T x){
    System.out.println(x);
}

---

现在，如果您想知道为什么 MyClass.<String>doWhat..编译时 <String>doWhat..修改了static关键字也没有编译通过，我们来看看生成的字节码。

你的行将被编译为:

6: invokestatic  #5                  // Method doWhatEver:(Ljava/lang/Object;)V

哪个更正了你犯的语法错误，但为什么？

尝试编译例如这两行

MyClass.<String>doWhatEver("Test Me2!");
MyClass.doWhatEver("Test Me3!");

然后运行javap -v在 .class 文件上，您会注意到这两个调用都被编译为相同的字节码。

4: ldc           #4                  // String Test Me2!
6: invokestatic  #5                  // Method doWhatEver:(Ljava/lang/Object;)V
9: ldc           #6                  // String Test Me3!
11: invokestatic  #5                  // Method doWhatEver:(Ljava/lang/Object;)V

在调用非静态方法的情况下，生成的字节码将为 invokevirtual相反:

17: invokevirtual #8                  // Method doWhatEver2:(Ljava/lang/Object;)V

我的猜测是 invokestatic将直接在常量池(存储静态方法的地方)中搜索与指定调用对应的方法并省略类型声明，而invokevirtual将在实际类(class)中搜索。