Java 泛型中的独立类型参数

Question

Java 泛型类型的类型参数部分位于泛型类名之后。例如：class name<T1, T2, ..., Tn> { /* ... */ }一旦你掌握了它的窍门，它就会非常直观。然而，我完全被难住了，在 的默认接口方法中看到一些独立的类型参数部分Comparator<T>。例如：default <U> Comparator<T> thenComparing(         Function<? super T, ? extends U> keyExtractor,         Comparator<? super U> keyComparator)显然该方法返回某种比较器对象，但是如何用<U>英语解释独立式？

Answer 1

它引入了类型参数本身。如果您要编写没有它的方法签名：

Comparator<T> thenComparing(
        Function<? super T, ? extends U> keyExtractor,
        Comparator<? super U> keyComparator)

这意味着，应该存在一些名为U对该方法可见的具体类型。