泛型扩展和实现

Question

我不明白为什么要Company编译。我以为它检查了extends但没有检查implements？

public interface Employee

public class HourlyEmployee implements Employee

public class Company<T extends Employee>

Company<HourlyEmployee> company = new Company<>();

Answer 1

extends泛型中的关键字在语义上与常规extends关键字略有不同。

当使用extends在泛型的上下文中，例如T extends Something，这意味着，T应该是一个类型的 任一
实现的接口Something（在情况下，当Something是接口）， 或者
是子类Something（如果Something是一个类）。

可能的原因是，如果implementsGenerics中支持该关键字，则会使类型参数声明过于冗长。

例如，您将拥有：

<T extends SomeClass implements Serializable & Observable>

相反，此方法的有效语法为：

<T extends SomeClass & Serializable & Observable>

implements实际上，您不需要关键字。在定义类型的界限时T，您只需要指出您的类型是从哪些 类型T派生的，而不管它们是接口还是类。

类型定义不是类定义。您可以将类型定义视为联接了几个数据集，其中结果集就是您的type T。