在这种情况下，为什么泛型类型的擦除会阻止重写？

Question

下面的代码没有在OpenjDK 11上编译。在我看来，B中的test1应该覆盖A中的test1，因为：

1. 方法有相同的名称。
2. 这些方法具有相同的参数列表。
3. 这些方法具有相同的可见性。
4. 这些方法实际上不会抛出可能不兼容的检查异常。
5. 它们的返回类型是协变的。

我使用了一个反编译器，分别对每个类进行反编译。编译后的代码实际上像我期望的那样工作。它用数字代替U扩展数字，用整数代替T扩展整数，以此类推。但当我试图将这两个类一起编译时，第二个类出现了一个错误，即第二个类中的测试没有覆盖第一个类中的方法。

我错过了一些大大小小的东西。它可能与5有关。也许类型不是协变的。你能帮帮我吗？

class A {
    <U extends Number, T extends Number> U test(T test) {
        System.out.println("In A.test(T test)");
        return null;
    }
    //Decompiler shows that the above method erases to 
    // Number test(Number test)
    // Just like the method below.
        
    Number test2(Number test) {
        return null;
    }
}

class B extends A {
    //Unsuccessful override. Compiler error.
    @Override  
    <U extends Integer, T extends Number> U test(T test) {
        System.out.println("In B.test(T tesT)");
        return null;
    }
    //Decompiler shows that the above method erases to 
    //Integer test(Number test)
    //Just like the method bellow.
    
    
    //Successful override
    @Override
    Integer test2(Number test) {
        return null;
    }
}

Answer 1

test方法产生错误的原因是它们具有不同的签名。请注意，方法的签名由其名称、参数列表和类型参数组成。

引用Java语言规范：

两个方法或构造函数，M和N，如果具有相同的名称、相同的类型参数（如果有的话），则具有相同的签名（§8.4.4），并且，在将N的形式参数类型适应M的类型参数之后，具有相同的形式参数类型。

至关重要的是，您的两个test方法没有相同的类型参数，因为A. test中的U与B. test中的U有不同的绑定。

两个方法或构造函数M和N具有相同的类型参数，如果以下两个都是true：

>

M和N具有相同数量的类型参数（可能为零）。

其中A1。。。，An是M和B1的类型参数。。。，Bn是N的类型参数，设θ=[B1:=A1，…，Bn:=An]。那么，尽管我（1≤ 我≤ n） ，Ai的界与应用于Bi的界的θ的类型相同。

想想如果B. test实际上覆盖了A. test会发生什么。您可以将类型传递给超出其边界的类型参数U！

A a = new B();
// This will call B.test, and U is Double, T is Integer
// but U should extends Integer!
Double x = a.test((Integer)0);