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 的具体类型对方法可见。