java – 为实现接口的类强制执行返回类型

如何在实现类中强制执行getFoo()方法,返回同一个实现类的类型的列表.

public interface Bar{
     ....
     List<? extends Bar> getFoo(); 
}

现在,实现Bar的类返回实现Bar的任何类的对象.我想使它变得更严格,所以实现Bar的类返回一个仅在getFoo()中类型的对象的列表.

解决方法

不幸的是,这不能被Java的类型系统强制执行.

不过,您可以使用以下方法,

public interface Bar<T extends Bar<T>> {
    List<T> getFoo();
}

然后你的实现类可以这样实现：

public class SomeSpecificBar implements Bar<SomeSpecificBar> {
    // Compiler will enforce the type here
    @Override
    public List<SomeSpecificBar> getFoo() {
        // ...
    }
}

但是没有什么可以阻止另一个课程呢

public class EvilBar implements Bar<SomeSpecificBar> {
    // The compiler's perfectly OK with this
    @Override
    public List<SomeSpecificBar> getFoo() {
        // ...
    }
}