使用<S extends {class}>的Java泛型和不兼容类型

Question

abstract class AbsClass {}

class MyAbs extends AbsClass {}

class MyClass<S extends AbsClass> {
    S getObj() {
        return new MyAbs();
    }
}

获取编译器问题:

错误:(33,16)java:不兼容的类型:MyAbs无法转换为S.

这样做的正确方法是什么？

编辑:我希望能够初始化MyClass {MyAbs},然后调用getObj(),这将返回一个MyAbs对象.有了Andy的回答,我必须将AbsClass转换为MyAbs或MySecondAbs,这是我试图避免的

Answer 1

安迪已经描述了如何解决问题,我将尝试解释原因.

S不保证可以分配给MyAbs,只有AbsClass,并且每个实例都会指定一个子类AbsClass.

考虑:

class MyOtherAbs extends AbsClass {}

MyClass myClass = new MyClass<MyOtherAbsClass>{};

这会与你所拥有的相冲突.

更新:

根据您的评论,您希望实现上述目标.挑战是如果MyOtherAbs有一个带参数的构造函数？或者实现为Singleton(即私有构造函数和静态getInstance()).简而言之,没有保证统一的方法可以构建这些.此外,由于类型擦除,在运行时,S的概念消失了,所以你不能做类似的事情:

return new S();

你基本上有两个选择,一个是使用子类:

public interface AbsClassFactory<S extends AbsClass>{ //takes the place of MyClass
    public S getInstance();
}

MyAbsFactory implements AbsClassFactory<MyAbs>{
    public MyAbs getInstance(){
        return new MyAbs(); //or however MyAbs is instantiated
    }
}

另一种选择是反思:

class MyClass {
    public <S extends AbsClass> S getObj(Class<S> clazz) throws InstantiationException, IllegalAccessException {
        return clazz.newInstance();
    }
}

请注意,第二个假设没有可用的arg构造函数,如果不是,则会抛出运行时异常.

Answer 2

S延伸MyAbs，而不是相反。任何类型的对象都S可以转换为MyAbs，但MyAbs不能转换为其派生类。

请解释您想要实现的目标。