Collections.min/max方法的签名

Question

在 Java 中，Collections 类包含以下方法：

public static <T extends Object & Comparable<? super T>> T min(Collection<? extends T> c)

它的签名因其对泛型的高级使用而闻名， 以至于在《Java in a Nutshell》一书中提到过 以及官方的 Sun 泛型教程。

但是，我找不到以下问题的令人信服的答案：

为什么形式参数是 Collection< 类型？扩展 T>，而是 比集合？有什么额外的好处？

Answer 1

类型推断是一个棘手的话题，我承认我对此了解不多。但是，请检查此示例：

public class ScratchPad {
   private static class A implements Comparable<A> {
     public int compareTo(A o) { return 0; }
   }
   private static class B extends A {}
   private static class C extends B {}

   public static void main(String[] args)
   {
     Collection<C> coll = null;
     B b = Scratchpad.<B>min(coll);
   }

   public static <T extends Object & Comparable<? super T>> T min(Collection<? extends T> c)  {
     return null;
   }

   //public static <T extends Object & Comparable<? super T>> T min(Collection<T> c) {
   //  return null;
   //}
}

考虑 min() 的第一个签名允许调用编译，而第二个签名则不允许。这不是一个非常实际的示例，因为人们必须问为什么我要显式地将方法键入 ，但也许有一个隐含的推论，其中 B将是推断的类型。

Answer 2

? 的好处之一是它禁止向 Collection 添加项目

Answer 3

我认为它实际上并没有为您提供此方法的更多信息，但是当 T 是类的一部分而不仅仅是静态方法时，这是一个好习惯。

他们将其包含在这里，以便它可以成为新的约定，其中每个泛型都应该扩展为 ?

T 类应该遵循 PECS：什么是 PECS（生产者扩展消费者超级）？

但静态方法不需要（至少参数，返回值应该总是）

Answer 4

这是为了支持 Java 1.4（及之前版本）中方法的遗留签名。

在 Java 5 之前，这些方法的签名是

public static Object min ( Collection c );

具有多个边界，擦除规则使第一个边界成为方法的原始类型，因此如果没有 Object & 签名将会是，

public static Comparable min ( Collection c );

并且遗留代码将被破坏。

这摘自 O'Reilly 的 Java Generics and Collections 书，第 3.6 章

Answer 5

根据我对 Mark 的回答的评论，如果您有类似的内容，

class Play {
    class A implements Comparable<A> {
        @Override
        public int compareTo(A o) {
            return 0;
        }
    }

    class B extends A {
    }

    class C extends A {
    }

    public static <T extends Object & Comparable<? super T>> T min(
            Collection<? extends T> c) {
        Iterator<? extends T> i = c.iterator();
        T candidate = i.next();

        while (i.hasNext()) {
            T next = i.next();
            if (next.compareTo(candidate) < 0)
                candidate = next;
        }
        return candidate;
    }

    public static List<? extends A> getMixedList() {
        Play p = new Play();
        ArrayList<A> c = new ArrayList<A>();
        c.add(p.new C());
        c.add(p.new B());
        return c;
    }

    public static void main(String[] args) {
        ArrayList<A> c = new ArrayList<A>();
        Collection<? extends A> coll = getMixedList();
        A a = Play.min(coll);
    }
}

则更清楚 min 返回 A 类型的对象（实际签名为 A Play.min(Collection c)）。如果您将 min(Collection) 保留为不带扩展部分，则 Play.min(coll) 将具有以下签名 ？ extends A Play.min(Collection c) 不太清楚。