为什么允许“扩展T”而不允许“实现T”?

在Java中总是使用“extends”而不是“implements”来定义类型参数的边界是否有特殊的原因?

例如:

public interface C {}
public class A<B implements C>{}

是禁止的，但是

public class A<B extends C>{}

是正确的。原因是什么?

当前回答

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

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

Java Glossary表达了类似的观点。

其他回答

可能是因为对于双方(B和C)来说，只有类型是相关的，而不是实现。在你的例子中

public class A<B extends C>{}

B也可以是一个接口。"extends"用于定义子接口和子类。

interface IntfSub extends IntfSuper {}
class ClzSub extends ClzSuper {}

我通常认为“Sub扩展Super”是“Sub类似于Super，但具有额外的功能”，而“Clz实现Intf”是“Clz是Intf的实现”。在您的示例中，这将匹配:B类似于C，但具有额外的功能。这里相关的是功能，而不是实现。

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

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

Java Glossary表达了类似的观点。

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

public class A<T1 extends Comparable<T1>>

答案就在这里:

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

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

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

class MyGen<T, U extends T> {

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

推荐文章