JAVA泛型问题<? extends E> 不可set

帮助解决疑惑的网站：https://www.iteye.com/blog/lsq6063-693751

<? extends E> 是 Upper Bound（上限）的通配符

<? super E> 是 Lower Bound（下限）的通配符

1) 当使用 Upper Bound 通配符时：

<?>是<? extends Object> 的简写。(关于<?>是否和<? extends Object>完全等价，在结束的时候来描述)

在eclipse里错误提示为： The method set(int, capture#2-of ?) in the type List<capture#2-of ?> is not applicable for the arguments (int, Object)

注：是一个占位符，表示编译器对通配符的捕获，更多见：

http://www.ibm.com/developerworks/cn/java/j-jtp04298.html

set报错的原因是因为此时方法中的类型是不可具体化的(reified)，你可以传递一个String，Number，Book，等任何继承自Object的类作为List的参数类型给test方法，而list要求集合中的类型必须是一致的，set的时候没有办法保证set进去的数据类型是否和list中原本的类型一致，比如你传给test方法的是 List，那么在方法中set进去一个Object显然类型就不一致了。

这也是通配符带来灵活性的同时所要付出的代价。

结论：使用了<? extends E> 这样的通配符，test方法的参数list变成了只能get不能set（除了null）或者不严谨的说它变成了只读参数了，有些类似一个生产者，提供数据。

提示：class<? extends Object>表示的是一个类型；而<T extends Object>表示的是一个对象。

-------------------------基础---------------------------------

一、泛型定义

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。

在Java SE 1.5之前，没有泛型的情况的下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是一个安全隐患。

泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，以提高代码的重用率。

二、规范限制

1、泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。

2、同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。

3、泛型的类型参数可以有多个。

4、泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上称为“有界类型”。

5、泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName("java.lang.String");

————————————————

原文链接：https://blog.csdn.net/chy555chy/article/details/52021056

最后编辑于：2020.02.14 16:58:06