在一些 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) 有没有办法实现这样的事情,但没有警告?
最佳答案
是的,这是不安全和非法的。 SuperClass
您编写的声明允许调用者 -- 而不是SuperClass
subclass -- 选择 Foo
的子类型它想要,所以你在 SubClass
中实现没有正确实现。
相反,您必须有 T
作为 SuperClass
的通用参数本身,而不仅仅是方法:SuperClass<T extends Foo>
, 然后 SubClass extends SuperClass<SubFoo>
.
关于java - 在没有类型安全警告的情况下覆盖通用抽象方法的返回类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/15095966/