java - 在没有类型安全警告的情况下覆盖通用抽象方法的返回类型

Question

在一些 SuperClass 中，我有一个抽象泛型方法:

protected abstract <T extends Foo> T getFoo();

在我的 SubClass 中，我尝试用以下方法覆盖它:

@Override
protected SubFoo getFoo() {             
    return new SubFoo();
}

其中 public class SubFoo extends Foo

在我的子类的 getFoo 中，出现以下错误。

“类型安全:SubClass 类型的 getFoo() 的返回类型 SubFoo 需要未经检查的转换以符合 SuperClass 类型的 T”

我的问题是:

1) 是否存在不安全的情况？

2) 如果不是，编译器难道不能解决这个问题吗？是什么阻止编译器在编译时确定 SubFoo 是 Foo 的子类？

3) 有没有办法实现这样的事情，但没有警告？

Answer 1

是的，这是不安全和非法的。 SuperClass您编写的声明允许调用者 -- 而不是SuperClass subclass -- 选择 Foo 的子类型它想要，所以你在 SubClass 中实现没有正确实现。

相反，您必须有 T作为 SuperClass 的通用参数本身，而不仅仅是方法:SuperClass<T extends Foo> , 然后 SubClass extends SuperClass<SubFoo> .