generics - java-8 中有界通配符的规则改变？

Question

我正在关注有关 Java 中泛型定义此静态方法的教程:

public static <T extends Comparable<T>> T min(T a) { ... }

并这么说

min(new GregorianCalendar());

无法编译，因为 GregorianCalendar extends Calendar和Calendar implements Comparable<Calendar>所以这意味着 GregorianCalendar implements Comparable<Calendar>而不是Comparable<GregorianCalendar> 。所以为了编译签名必须改为:

public static <T extends Comparable<? super T>> T min(T a) { ... }

这是完全可以理解的。该方法的第一个版本实际上不能在 java-5 中编译，但可以在 java-8 中编译! (我尝试了 5 到 8)

为什么 java-8 现在允许这样做？ (因为它现在变得更加困惑)。这背后的新“规则”是什么？

Answer 1

类型推理!

JLS §18中有大量与此相关的信息。 。具体来说，我将引导您访问 JLS §18.2 (第 678 页)其中指出:

在您的情况下，让S = GregorianCalendar和T = Calendar。此页面指出(在归约过程中)如果 S 是 T 的子类型，则 S 被视为 类型>T(GregorianCalendar 被视为日历)。