上界通配符的好处是什么？

Question

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

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

“…我能看到的使用上限有界通配符与有界泛型通配符的唯一好处…”

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

但最终会有一个用例，在这个用例中，您需要处理不同种类的东西。这时，您需要从工具箱中提取稍微高级一些的多态性。

“……我错过了一个更重要的好处吗？……”

一个超级重要的好处，听起来好像你错过了，是类型之间的替代关系；叫做协方差。

例如，既然这样做是合法的：

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

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>) */

带有上限的通配符可以使用东西，就像您直觉上认为的那样：

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

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