Java抽象类使用泛型实现接口

我试图定义一个实现Comparable的抽象类。当我用以下定义定义类时：

public abstract class MyClass implements Comparable <MyClass>

子类必须实现compareTo(MyClass object)。相反，我希望每个子类都实现compareTo(SubClass object)，接受其自己类型的对象。当我尝试使用类似以下内容定义抽象类时：

public abstract class MyClass implements Comparable <? extends MyClass>

它抱怨“一个超类型可能没有指定任何通配符。”

有解决方案吗？

在我看来，它有点太冗长，但可以：

public abstract class MyClass<T extends MyClass<T>> implements Comparable<T> {

}

public class SubClass extends MyClass<SubClass> {

    @Override
    public int compareTo(SubClass o) {
        // TODO Auto-generated method stub
        return 0;
    }

}

除了在声明签名时遇到的机械困难之外，目标没有多大意义。您正在尝试建立协变比较函数，这打破了建立派生类可以定制的接口的整个想法。

如果您定义某个子SubClass类以使其实例只能与其他SubClass实例进行比较，那么如何SubClass满足由定义的契约MyClass？回想一下，MyClass它和它派生的任何类型都可以与其他MyClass实例进行比较。您正在努力使该不是真的SubClass，那该装置SubClass不符合MyClass的契约：你不能代替SubClass的MyClass，因为SubClass的要求是严格的。

此问题集中于协方差和协方差，以及它们如何允许函数签名通过类型派生进行更改。您可以放宽对参数类型的要求（接受比父类型的签名要求宽的类型），还可以加强对返回类型的要求（保证返回比父类型的签名窄的类型）。这些自由中的每一个仍然允许将派生类型完美替换为超类型。调用者无法通过父类型的界面来区分使用派生类型时的区别，但是具体地使用派生类型的调用者可以利用这些自由。

威利（Willi）的答案教导了一些有关泛型声明的知识，但我敦促您在接受该技术之前以牺牲语义为代价重新考虑您的目标。

参见Java自己的示例：

public abstract class Enum<E extends Enum<E>> implements Comparable<E>
    public final int compareTo(E o)

关于seh的评论：通常论点是正确的。但是泛型使类型关系更加复杂。在Willi的解决方案中，子类可能不是MyClass的子类型。

SubClassA是的子类型MyClass<SubClassA>，但不是的子类型MyClass<SubClassB>

类型MyClass<X>定义了compareTo(X)所有子类型都必须遵守的合同。那里没有问题。

我不确定您是否需要捕获：

首先，将compareTo添加到抽象类中。

public abstract class MyClass implements Comparable <MyClass> {

@Override
public int compareTo(MyClass c) {
...
}    
}

然后添加实现...

public class MyClass1 extends MyClass {
...
}

public class MyClass2 extends MyClass {
...
}

调用compare将调用超级类型方法...

MyClass1 c1 = new MyClass1();
MyClass2 c2 = new MyClass2();

c1.compareTo(c2);

public abstract class MyClass<T> implements Comparable<T> {

}

public class SubClass extends MyClass<SubClass> {

    @Override
    public int compareTo(SubClass o) {
        // TODO Auto-generated method stub
        return 0;
    }

}

找到了另一个解决方案：

1. 在组成可映射对象的字段上定义一个接口（例如ComparableFoo）
2. 在父类上实现接口
3. 在父类上实现Comparable。
4. 编写您的实现。

解决方案应如下所示：

public abstract class MyClass implements ComparableFoo,Comparable<ComparableFoo> {
    public int compareTo(ComparableFoo o) {
    // your implementation
    }
}

该解决方案意味着可能有更多东西可以实现ComparableFoo-可能不是这种情况，但是您正在对接口进行编码，并且泛型表达式很简单。

我知道您说过您想要“ compareTo（SubClass object），接受其自身类型的对象”，但我仍然建议声明这样的抽象类：

public abstract class MyClass implements Comparable <Object>

并在覆盖MySubClass中的compareTo时执行instanceof检查：

@Override
public int compareTo(Object o) {
    if (o instanceof MySubClass)) {
        ...
    }
    else throw new IllegalArgumentException(...)
}

类似于“等于”或“克隆”