java - 为什么我必须强制转换这个泛型类型？

Question

我正在尝试创建一个可比较的节点，并且仅保存可比较的对象。

根据我对Java的理解，成员变量value应该是E类型，所以稍后当我在compareTo()中访问它时>，它仍然应该是 E 类型，并且不需要转换，但编译器告诉我情况并非如此:

不兼容的类型:java.lang.Comparable 无法转换为 E。

我认为它应该已经是类型E。为什么我必须在第一次使用时将 o.value 转换为类型 E，而不是在第二次使用中？我错过了什么？

代码如下。

public class fakenode<E extends Comparable<E>> implements Comparable<fakenode> {
 public E value;

 fakenode (E value)
 {
    this.value = value;
 }

 @Override
 public int compareTo(fakenode o) {
    value.compareTo((E)o.value); // Why must I cast o to type E here?
    o.value.compareTo(value);    // This one works just fine

    return -1;
 }

Answer 1

您在使用类型 fakenode 的两个地方遗漏了泛型类型参数 E。

应该是:

class fakenode<E extends Comparable<E>> implements Comparable<fakenode<E>> { // first change
    public E value;

    fakenode (E value)
    {
        this.value = value;
    }

    @Override
    public int compareTo(fakenode<E> o) { // second change
        value.compareTo(o.value);
        o.value.compareTo(value);

        return -1;
    }
}

不过，我认为这不是您的 compareTo 方法的实际逻辑，因为它总是返回 -1。