当用非泛型方法覆盖泛型方法时，为什么子签名和未检查规则在返回类型上以这种方式工作？

Question

public class Base {

     <T> List<? extends Number>  f1()  {return null;}
     List<? extends Number>      f2()  {return null;}
     <T extends Number> List<T>  f3()  {return null; }
}

class Derived extends Base {

     List<String> f1() {return null;}   // compiles fine !!!
     List<String> f3() {return null; }  // compiles fine !!!

    // compile ERR: return type is incompatible with Base.f2()
     List<String> f2() {return null;}   
}

为什么在派生类中重写方法f1（）和f3（）的定义没有给出编译错误，就像在派生类中重写f2（）方法的定义一样（它给出了编译错误返回类型与Base. f2（）不兼容）？

JLS中的子签名重写规则允许重写方法（在派生类中）为非泛型，而重写方法（在基类中）为泛型。

未检查的覆盖规则允许在子类List中返回类型

但我无法解释下面的行为差异，我也不理解为什么f1（）和f3（）成功地重写了派生类编译中的定义（在Eclipse上，SE8），忽略了f3（）的有界类型参数和f1（）的有界通配符施加的限制！

另外，我的猜测-在派生编译器的f1（）和f3（）中，这两个方法都只返回“原始”列表-编译器进行擦除（目前仅在派生中！）首先，然后比较派生中的这些已擦除方法与基本中的未擦除（到目前为止）方法。现在，未检查的覆盖规则是确定的（并且不需要检查边界-这是完全不可能的），编译器决定这是正确的覆盖，并且编译继续进行。。。在Base中编译泛型的末尾。f1（）和基。f3（）也被删除：）

这个SO答案也为这个主题增加了一些想法。




Answer 1

您的f1和f3重写不是泛型的，尽管原始声明是泛型的。编译允许覆盖的返回类型与原始返回类型不同，因为它们具有相同的类型擦除（List）。我认为这是JLS 8.4.5中的内容，尽管坦率地说，我觉得规范的这一部分有点混乱。

如果再次将替代更改为“常规”：

<T> List<String> f1() {return null;}
<T extends Number> List<String> f3() {return null; }

...然后两者都无法编译：

error: <T#1>f1() in Derived cannot override <T#2>f1() in Base
     <T> List<String> f1() {return null;}
                      ^
  return type List<String> is not compatible with List<? extends Number>
  where T#1,T#2 are type-variables:
    T#1 extends Object declared in method <T#1>f1()
    T#2 extends Object declared in method <T#2>f1()

error: <T#1>f3() in Derived cannot override <T#2>f3() in Base
     <T extends Number> List<String> f3() {return null; }
                                     ^
  return type List<String> is not compatible with List<T#1>
  where T#1,T#2 are type-variables:
    T#1 extends Number declared in method <T#1>f3()
    T#2 extends Number declared in method <T#2>f3()

请注意，即使在原始代码中，javac也会对不安全的转换发出警告，如果使用-Xlint:unchecked，它会提供详细信息：

return type requires unchecked conversion from List<String> to List<? extends Number>
return type requires unchecked conversion from List<String> to List<T>