使用抽象类中的泛型参数重写方法

Question

我无法编译一个需要从抽象类超类型重写方法的方法，该类超类型使用泛型作为其中一个参数。编译器抱怨扩展类的setRef（）方法没有重写超类型中的方法。

父摘要类：

public abstract class AbsClass<Q extends Interf> {
    public abstract Ref<? extends AbsClass<Q>> getRef();
    public abstract <M extends AbsClass<Q>> void setRef(Ref<M> newRef);
}

参考是：

public interface Ref<M extends AbsClass<? extends Interf>> { }

而Interf是：

public interface Interf { }

扩展子类（setRef（）不编译）：

public class ChildClass extends AbsClass<InterfImpl> {
    @Override
    public Ref<ChildClass> getRef() {
        return null;
    }

    @Override
    public <M extends ChildClass> void setRef(Ref<M> newRef) {
        return null;
    }
}

我也尝试过使用通配符，但收到了相同的错误。使用通配符时，抽象类“setRef（）是：

public abstract void setRef(Ref<? extends AbsClass<Q>> newRef);

扩展类setRef（）是：

public void setRef(Ref<ChildClass> newRef)

甚至：

public void setRef(Ref<? extends ChildClass> newRef)

我能让它编译的唯一方法是，如果扩展类“setRef（）使用抽象类”类型：

public <M extends AbsClass<Interf>> void setRef(Ref<M> newRef)

但是我想将newRef参数的类型限制为Ref




Answer 1

由于在类中，您将收到一个错误。setRef（），您的参数类型为Ref

但是在你的儿童课上。setRef（）该参数的类型为Ref

对于重写，子类在方法中应该具有与其父类相同的类型化参数（在使用泛型时类型擦除之前）。

Answer 2

setRef的问题是，您可以通过类型为AbsClass的变量访问ChildClass的实例

您可以将ChildClass更改为：

public <M extends AbsClass<InterfImpl>> void setRef(Ref<M> newRef)

但是这仍然允许任何M，并且您不能仅仅使用Ref

只允许ChildClass参数的一种方法是在泛型类型中也使用ChildClass，例如：

public abstract class AbsClass<Q extends Interf, M extends AbsClass<Q, M>> {
  public abstract Ref<M> getRef();
  public abstract void setRef(Ref<M> newRef);
}

public class ChildClass extends AbsClass<InterfImpl, ChildClass> {

  public Ref<ChildClass> getRef() { return null; }

  public void setRef(Ref<ChildClass> newRef) { }
}