推断的类型不能有效替代Comparable泛型类型

Question

考虑以下代码：

public abstract class Item<T> implements Comparable<T>
{
    protected T item;

    public int compareTo(T o)
    {
        return 0; // this doesn't matter for the time being
    }
}

public class MyItem<T> extends Item<String>
{
    T object;
}

public class Foo<T>
{
    protected ArrayList<T> list;
}

public class Bar<V> extends Foo<MyItem<V>>
{
    public void sort()
    {
        Collections.sort(list);
    }
}

排序调用给出错误：

绑定不匹配：类型为Collections的通用方法sort（List ）不适用于参数（ArrayList >）。推断的类型MyItem 不是有效替代边界参数<T扩展Comparable <？超级T>>

为什么会这样呢？

如果MyItem<V>实施该工具，Comparable那为什么不能替代呢？

抱歉，是否有人提出这个问题，但我觉得这个问题有些具体。

Answer 1

实际上，对该错误的更详细说明可以使您javac自己：

java：找不到适合的方法sort(java.util.ArrayList<MyItem<V>>）

方法java.util.Collections.<T>sort(java.util.List<T>,java.util.Comparator<? super T>)不适用（由于实际和正式参数列表的长度不同，因此无法从参数实例化）

方法java.util.Collections.<T>sort(java.util.List<T>)是不适用（推断类型不符合声明结合（一个或多个）推断：MyItem<V>结合（一个或多个）：
java.lang.Comparable<? super MyItem<V>>）

因此，主要问题是：
为什么methodCollections.<T>sort(java.util.List<T>)）不适用？

答案是 ：
因为在Collections.<T>sort(java.util.List<T>)方法声明中参数T：是有界的<T extends Comparable<? super T>>。

换句话说，T必须Comparable在其自身上实现接口。例如String类实现这样的接口：...implements ... Comparable<String>。

在您的情况下，Item类未实现此类接口：

Item<T> implements Comparable<T>与Item<T> implements Comparable<Item<T>>。

因此，为解决此问题，您应将您的Item班级更改为此：

public abstract class Item<T> implements Comparable<Item<T>>
{
    protected T item;

    public int compareTo(Item<T> o)
    {
        return 0; // this doesn't matter for the time being
    }
}