覆盖基类的泛型方法

Question

我有一个定义如下的类层次结构：

class ClassA{}

class ClassB extends ClassA{}

class BaseClass
{
    public <T extends ClassA> T method1(){ return null; }

    public <T extends ClassA> T method2(T param1){ return null; }
}

我想扩展上面的 BaseClass 并覆盖 method1 和 method2 的实现，但我在 DerivedClass 中的方法签名上苦苦挣扎。这是我尝试过的：

class DerivedClass extends BaseClass
{
    @Override
    public ClassB method1() {return new ClassB();}

    @Override
    public ClassB method2(ClassB param1) {return new ClassB();}
}

对于method1，我收到警告：

Type safety: The return type ClassB for method1() from the type DerivedClass needs unchecked conversion to conform to T from the type BaseClass

对于method2，我收到以下错误：

The method method2(ClassB) of type DerivedClass must override or implement a supertype method

我该如何解决这个问题？

编辑：我不得不重构设计并将泛型类型放在BaseClass 而不是每个单独的方法上，这样就不会发生这种情况。

Answer 1

第一个警告是因为 JVM，由于type erasure 无法知道ClassB 是否正确（它是否扩展了ClassA），并且因为存在抛出某些异常的风险，所以它会警告您。要解决此问题，您可以在方法上添加 SuppressWarnings 注释

@Override
@SuppressWarnings("unchecked")
public ClassB method1() {return new ClassB();}

第二件事很相似，但现在JVM无法创建正确的type/method signature（请注意返回类型不包含在Java中的签名中！还请注意public ClassA method2(ClassA param1)方法不会导致这样的错误）。

要解决这个问题，您需要让编译器确保被覆盖的方法具有正确的签名，为此您需要在类级别移动泛型类型声明

class BaseClass <T extends ClassA> 

然后用适当的类型扩展这个类

class DerivedClass extends BaseClass<ClassB> {
    @Override
    public ClassB method1() { // notice that you don't need Suppress annotation anymore
        return new ClassB();
    }

    @Override
    public ClassB method2(ClassB param1) {
        return new ClassB();
    }
}

现在编译器可以检查使用的类型是否在绑定中

class ClassC {}
class DerivedClass extends BaseClass<ClassC> {
// ERROR: Type parameter 'com.mantkowicz.example.ClassC' is not within its bound

---

在这里阅读更多：

• Java generic method inheritance and override rules

Answer 2

这个方法行得通。

public class BaseClass<T extends ClassA> {
    public T method1() {
        return null;
    }

    public T method2(T param1) {
        return null;
    }
}

public class DerivedClass extends BaseClass<ClassB> {
    @Override
    public ClassB method1() {
        return new ClassB();
    }

    @Override
    public ClassB method2(ClassB param1) {
        return new ClassB();
    }
}