使用泛型参数扩展接口的方法签名实现接口

Question

以下是我正在尝试完成的示例。我正在尝试创建实现GenericRunner 的LibraryRunner。但是，我收到一个 IDE 警告，指出 LibraryRunner 没有实现 GenericRunner 接口中的方法。这是有道理的，方法签名不匹配，但是如何在仍然使用扩展GenericCalculator 的LibraryCalculator 的同时使方法签名匹配？

public class LibraryRunner implements GenericRunner {
    @Override
    public <T> T run(LibraryCalculator<T> calculator) {
        return T;
    }
}

public interface GenericRunner {
    <T, A> T run(GenericCalculator<T, A> calculator);
}


public interface LibraryCalculator<T> extends GenericCalculator<T, LibraryAlgorithm> {
    T calc(LibraryAlgorithm algorithm) throws LibraryException;
}

public interface GenericCalculator<T, A> {
    T calc(A algorithm) throws Exception;
}


public class LibraryException extends Exception {
    
}

Answer 1

接口的定义方式，即使LibraryCalculator 是GenericCalculator 的子类型，您也不能覆盖该方法并更改其签名。另一个答案解释了原因。

解决这个问题的一种方法是使用计算器类型参数化GenericRunner 接口：

public interface GenericRunner<T, A, C extends GenericCalculator<T, A>> {
    T run(C calculator);
}

public class LibraryRunner<T> implements GenericRunner<T, LibraryAlgorithm, LibraryCalculator<T>> {

    @Override
    public T run(LibraryCalculator<T> calculator) {
        ...
    }

}

但请注意，您不能在 LibraryRunner 方法中返回 Object，因为它与 T 不匹配。如果你想返回一个特定的类型，比如Object（这违背了泛型LibraryCalculator的目的），你必须明确指定它：

public class LibraryRunner implements GenericRunner<Object, LibraryAlgorithm, LibraryCalculator<Object>> {

    @Override
    public Object run(LibraryCalculator<Object> calculator) {
        return new Object();
    }

}

如果这不是您想要的，那么由LibraryRunner 的用户来决定T 应该绑定到哪个类型。

Answer 2

当你重写或实现一个方法时，你总是需要满足被重写方法的条件，例如你应该仍然可以调用带有参数 GenericCalculator 的 LibraryRunner.run。否则写起来就没意义了：

LibraryRunner libRunner = new LibraryRunner();
GenericRunner genRunner = libRunner;
genRunner.run(new GenericCalculator<>());

覆盖异常确实有效，因为当您调用 GenericCalculator.calc 时，您会期待任何异常并且调用 LibraryCalculator.calc 会将其缩小到仅 LibraryException。

您可以将覆盖方法视为更多信息。