方法的冗余声明

Question

我想知道这两种方法的声明是否存在逻辑差异：示例1public static <T extends Comparable<? super T>> T findMax(List<? extends T> list)示例2public static <T extends Comparable<? super T>> T findMax(List<T> list)有人告诉我，这部分<? extends T>相当于<T>第一个示例中的通配符，并且通配符是多余的，他建议我使用第二个示例中的代码。是对的吗？

Answer 1

他们不一样。

向这个“某人”展示这个反证:)

class Scratch

{

    interface A extends Comparable<A> {}

    interface B extends A {}

    public static <T extends Comparable<? super T>> T findMax(List<? extends T> list)

    {

        return null;

    }

    public static <T extends Comparable<? super T>> T findMax2(List<T> list)

    {

        return null;

    }

    public static void main(String[] args)

    {

        List<B> listOfBs = new ArrayList<>();

        A foo = Scratch.<A>findMax(listOfBs);  // fine

        A bar = Scratch.<A>findMax2(listOfBs); // compiler error

    }

}