java - 陷入 Java 接口(interface)中的比较、泛型和继承

Question

好的，这是我的问题的简化:

class Group<T extends Comparable<T>> implements Comparable<Group<T>> {
    private String id;

    public Group(String id) {
        this.id = id;
    }

    @Override
    public int compareTo(Group<T> o) {
        return id.compareTo(o.id);
    }
}

class InnerGroup extends Group<Integer> {
    public InnerGroup(String id) {
        super(id);
    }
}

class OuterGroup extends Group<InnerGroup> {
    public OuterGroup(String id) {
        super(id);
    }
}

编译器会产生此错误:

Error:(20, 32) java: type argument InnerGroup is not within bounds of type-variable T

引用 OuterGroup 尝试扩展 Group。 ItelliJ Idea 说这是因为 InnerGroup 必须实现 Comparable，但它已经通过从 Group 继承它来实现这一点。

事实上，如果我尝试强制 InnerGroup 实现 Comparable，那么编译器会提示，因为 InnerGroup 将有两个 Comparable 的实现，这是隐式认识到它已经实现了接口(interface)，尽管前面提到的提示没有它.

关于如何摆脱这个难题有什么想法吗？

提前非常感谢。

Answer 1

绑定(bind)T extends Comparable<T>意味着Group只能使用与本身相当的类型进行参数化。 InnerGroup不是有效类型，因为它只能与 Group<Integer> 进行比较。要接受与某些父类(super class)型相当的类型，您可以将约束放宽为 T extends Comparable<? super T> .