上限通配符有什么好处？

Question

我发现反复出现的解释是上限通配符relaxes the restrictions of types that a type parameter can accept. 这个概念也适用于有界泛型，例如：

static <T extends Number> void gMethod (ArrayList <T> list) {}

此方法的泛型在指定时将接受 Number 类型的对象或其任何子类：

ArrayList <Integer> intList = new ArrayList();
gMethod(intList); // allowed

进一步详细说明，有界到 Number 的泛型也将接受 Number 或其任何子类的类型参数：

class Thing <T extends Number> {}
Thing <Number> numThing = new Thing();
Thing <Integer> intThing = new Thing();
Thing <Double> dubThing = new Thing(); // All three instances work

鉴于此，我可以看到使用上限通配符与有界泛型的唯一好处是，可以在不依赖已由类或方法声明的类型参数的情况下声明上限通配符类型参数。我还缺少什么更重要的好处吗？

Answer 1

„...我可以看到使用上限通配符与有界泛型的唯一好处...“

如果您的用例只要求您一次使用一个 Thing，那么您所概述的简单使用场景就是您所需要的。

但最终您将有一个用例，您需要使用 Things 的异构分类。那时您需要从工具箱中提取更高级的多态性。

„...我还缺少一个更重要的好处吗？...“

听起来您缺少的一个超级重要的好处是类型之间的可替换关系；叫covariance。

例如，因为这样做是合法的：

Integer[] intAry = {2,4,6,8};
Number[] numAry = intAry;
    

那么直觉上，你似乎应该能够做到这一点：

List<Integer> intList = List.of(8,6,7,5,3,0,9);
List<Number> numList = intList; // but this fails to compile

具有上限的通配符有效地使集合协变：

List <? extends Number> numList = intList;

因为 Integer 扩展了 Number ：

Thing<Number> numThing = new Thing<>();
Thing<Integer> intThing = new Thing<>();

那么直觉上，你似乎应该能够做到这一点：

numThing = intThing; // but this fails to compile

具有上限的通配符有效地使 Things 更直观：

Thing<? extends Number> numThing = new Thing<>();        
numThing = intThing; /* That makes sense! */

同样处理方法。有了这个声明：

public static void use(Thing<Number> oneThing){ 
    /*...*/
}

这将无法编译：

Thing<Integer> intThing = new Thing<>();        
use(intThing); /*  error: no suitable method found for use(Thing<Integer>) */

具有上限的通配符使得 Things 可以按照您直觉认为的方式使用：

public static void use(Thing<? extends Number> anyThing){ 
    /* ...*/
}

...
Thing<Integer> intThing = new Thing<>();        
use(intThing); /* Perfectly fine! */

„...适用于有界 generics...此方法的 generic 将接受...上限通配符与有界 generic...“

您错误地称为“泛型”的东西实际上被称为type parameters、type variables 或type arguments；取决于the context。