java - 泛型中的 "Recursive type bound"是什么意思？

Question

我正在阅读 Effective Java 中的泛型章节[Item 27]。

书中有这么一段:

It is permissible, though relatively rare, for a type parameter to be bounded by some expression involving that type parameter itself. This is what’s known as a recursive type bound.

还有这个:

// Using a recursive type bound to express mutual comparability
public static <T extends Comparable<T>> T max(List<T> list) {...}

什么是递归类型绑定(bind)，上面的代码如何帮助实现相互可比性？

Answer 1

What is recursive type bound

这个:<T extends Comparable<T>>

注意类型参数T也是 super 接口(interface)签名的一部分Comparable<T> .

and how does the above piece of code help achieve mutual comparability?

它确保您只能比较 T 类型的对象.没有类型绑定(bind)，Comparable比较任意两个 Object s。通过类型绑定(bind)，编译器可以确保只有两个 T 类型的对象。进行比较。