Java泛型和覆盖

Question

为什么会出现以下情况:

public class one{
   public <T extends Foo> Bar<Foo> function1() {}
   public Bar<Foo> function2(){}
}

public class two<F extends Foo> extends one{
   public Bar<F> function1(){} //Doesn't throw an error
   public Bar<F> function2(){} //Throws an error
}

通过说<T extends Foo>我是说 Foo 可以被父类(super class)型覆盖吗？

注意:我的问题不是为什么function2()抛出错误...但为什么 function1() 不会抛出错误。

Answer 1

这可能是一个编译器错误。

Two.function1的原因被认为是 One.function1 的重写方法来自http://docs.oracle.com/javase/specs/jls/se7/html/jls-8.html#jls-8.4.2

the signature of Two.function1 is the same as the erasure of the signature of One.function1.

这是为了允许遗留子类型(二)在父类(super class)型(一)泛化后仍然可以编译。

之后javac需要检查返回类型:

http://docs.oracle.com/javase/specs/jls/se7/html/jls-8.html#jls-8.4.8.3

If a method declaration d1 with return type R1 overrides or hides the declaration of another method d2 with return type R2, then d1 must be return-type-substitutable (§8.4.5) for d2, or a compile-time error occurs.

http://docs.oracle.com/javase/specs/jls/se7/html/jls-8.html#jls-8.4.5

R1 is either a subtype of R2 or R1 can be converted to a subtype of R2 by unchecked conversion (§5.1.9), or R1 = |R2|

http://docs.oracle.com/javase/specs/jls/se7/html/jls-5.html#jls-5.1.9

There is an unchecked conversion from the raw class or interface type (§4.8) G to any parameterized type of the form G.

未经检查的转换不适用于此处 R1=Bar<F>, R2=Bar<Foo> .这就是 Javac 报告 function2 的原因返回类型冲突。

Javac 应该为 function1 报告同样的错误.我猜在前面的步骤中，javac 删除了 One.function1。 ，即 Bar function1() ，并错误地使用该版本来检查 Two.function1 - 这里 R2=Bar ，因此 R1是 R2 的子类型 ($4.10.2) ，因此返回类型是兼容的。 (但是，如果该理论是正确的，则不应出现“未经检查”的警告)