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

Question

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

public abstract class MyClass implements Comparable <MyClass>

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

public abstract class MyClass implements Comparable <? extends MyClass>

它抱怨“超类型可能未指定任何通配符”。

有解决办法吗？

Answer 1

在我看来，这有点太冗长了，但是有效：

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;
    }

}

Answer 2

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

如果您定义了一些子类 SubClass ，使其实例只能与其他 SubClass 实例进行比较，那么 SubClass 如何满足 SubClass 定义的契约代码>我的类？回想一下，MyClass 表示它以及从它派生的任何类型都可以与其他 MyClass 实例进行比较。您试图使 SubClass 不成立，这意味着 SubClass 不满足 MyClass 的合同：您不能替换 SubClass 为MyClass，因为SubClass的要求更严格。

这个问题集中在协变和逆变，以及它们如何允许函数签名通过类型推导而改变。您可以放宽对参数类型的要求 - 接受比超类型签名要求更宽的类型 - 并且您可以加强对返回类型的要求 - 承诺返回更窄的类型类型而不是超类型的签名。这些自由中的每一个仍然允许派生类型完美地替换超类型；通过超类型的接口使用派生类型时，调用者无法区分，但具体使用派生类型的调用者可以利用这些自由。

Willi 的回答教授了一些有关泛型声明的内容，但我敦促您在接受以牺牲语义为代价的技术之前重新考虑您的目标。

Answer 3

请参阅Java自己的示例：

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

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

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

类型 MyClass 定义了 compareTo(X) 的契约，其所有子类型都必须遵守该契约。那里没有问题。

Answer 4

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

首先，将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);

Answer 5

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;
    }

}

Answer 6

找到了另一个解决方案：

1. 在构成可映射的字段上定义一个接口（例如ComparableFoo）
2. 在父类上实现该接口
3. 在父类上实现Comparable。
4. 写下你的实现。

解决方案应该如下所示：

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

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

Answer 7

我知道你说你想要“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(...)
}

类似于“equals”或'克隆'