在<T extends Comparable>中使用" extends "是保证数据类型本身直接实现Comparable，或者扩展实现Comparable的类。您可能已经编写了实现Comparable的另一个类a的子类B，如果您声明您的数据类型<T extends Comparable>，那么在实例化该类时可以使用a或B作为您的数据类型。

答案就在这里:

要声明一个有界类型参数，列出类型参数的名称，后跟extends关键字，再后跟它的上界[…]。注意，在此上下文中，extends在一般意义上用于表示扩展(如类)或实现(如接口)。

所以你知道了，这有点令人困惑，甲骨文知道这一点。

基类型可能是一个泛型参数，因此实际类型可能是一个类的接口。考虑:

class MyGen<T, U extends T> {

此外，从客户端代码的角度来看，接口几乎与类难以区分，而对于子类型来说，它很重要。

下面是一个更复杂的例子，说明在哪里允许扩展，以及可能需要什么:

public class A<T1 extends Comparable<T1>>

在泛型约束语言中，类是“实现”还是“扩展”在语义上没有区别。约束的可能性是“extends”和“super”——也就是说，这个类是否可以赋值给另一个类(extends)，或者这个类是否可以从那个类(super)赋值。

使用哪个术语有点随意。两种情况都有可能。也许语言设计者认为“扩展”是最基本的术语，而“实现”是接口的特殊情况。

但我认为工具会更有意义一点。我认为这更多地说明了参数类型不必处于继承关系中，它们可以处于任何类型的子类型关系中。

Java Glossary表达了类似的观点。