Java：有界通配符或有界类型参数？

Question

最近，我读了这篇文章：http
:
//download.oracle.com/javase/tutorial/extra/generics/wildcards.html

我的问题是，而不是创建像这样的方法：

public void drawAll(List<? extends Shape> shapes){
    for (Shape s: shapes) {
        s.draw(this);
    }
}

我可以创建一个这样的方法，它可以正常工作：

public <T extends Shape> void drawAll(List<T> shapes){
    for (Shape s: shapes) {
        s.draw(this);
    }
}

我应该使用哪种方式？通配符在这种情况下有用吗？

Answer 1

这取决于您 需要 做什么。如果要执行以下操作，则需要使用bounded type参数：

public <T extends Shape> void addIfPretty(List<T> shapes, T shape) {
    if (shape.isPretty()) {
       shapes.add(shape);
    }
}

在这里我们有一个List<T> shapes和一个T shape，因此我们可以放心shapes.add(shape)。如果已声明List<? extends Shape>，则 不能 安全地add使用它（因为您可能有List<Square>和Circle）。

因此，通过给有界类型参数命名，我们可以选择在通用方法的其他地方使用它。当然，并非总是需要此信息，因此，如果您不需要太多有关类型的信息（例如your
drawAll），那么仅使用通配符就足够了。

即使您不再引用边界类型参数，如果您有多个边界，仍然需要边界类型参数。这是Angelika
Langer的Java泛型常见问题解答中的报价

通配符绑定和类型参数绑定有什么区别？

通配符只能有一个界限，而类型参数可以有多个界限。通配符可以有一个下限或上限，而类型参数没有下限。

通配符界限和类型参数界限经常被混淆，因为它们既称为界限，又具有部分相似的语法。[…]

语法 ：

  type parameter bound     T extends Class & Interface1 & … & InterfaceN

  wildcard bound  
      upper bound          ? extends SuperType
      lower bound          ? super   SubType

通配符只能有一个界限，即下限或上限。不允许使用通配符范围列表。

相反，类型参数可以有多个界限，但是没有类型参数的下界。

从行情 有效的Java第二版，第28项：使用界通配符来增加灵活性API ：

为了获得最大的灵活性，请在代表生产者或消费者的输入参数上使用通配符类型。[…] PECS代表生产者- extends，消费者- super[…]

不要将通配符类型用作返回类型
。与其给用户提供更多的灵活性，不如说是迫使他们在客户端代码中使用通配符类型。正确使用的通配符类型对于类的用户几乎是不可见的。它们使方法接受应接受的参数，并拒绝应拒绝的参数。
如果类的用户必须考虑通配符类型，则类的API可能存在问题 。

应用PECS原理，我们现在可以返回到addIfPretty示例，并通过编写以下代码使其更加灵活：

public <T extends Shape> void addIfPretty(List<? super T> list, T shape) { … }

现在我们可以addIfPretty说a Circle到a List<Object>。这显然是类型安全的，但是我们的原始声明不够灵活，无法允许它。

相关问题

• Java泛型：什么是PECS？
• 有人可以解释什么<? super T>意思，什么时候应使用它，以及该构造应如何与<T>and 配合使用<? extends T>？

摘要

• 一定要使用有界类型参数/通配符，它​​们会增加API的灵活性
• 如果类型需要多个参数，则别无选择，只能使用有界类型参数
• 如果类型需要下限，则别无选择，只能使用有界通配符
• “生产者”具有较高的界限，“消费者”具有较低的界限
• 不要在返回类型中使用通配符