? 通配符类型
? extends T表示类型的上界:
- 表示参数化类型的可以是T或者T的子类
? super T表示类型的下界:
- 表示参数化类型是这个类型的超类型,即父类型,直至Object
? extends T
- 上界? extends T只能往外取,不能往里存
通配符 ? 和类型参数 T 的区别:
- 对于编译器来说,所有的T都代表同一种类型
- 通配符?没有这样的约束,只表示放置了一个类型,具体是什么类型不能确定
? extends T的作用:
- 在List中不能使用add方法
- 可以在初始化时,指定不同的类型
- 这样就能读取出不同类型的数据
? super T
- ? super T可以往里存数据,往外取数据只能放在Object对象中
? super T只能添加T类型和T类型的子类,不能添加T类型的父类,读取出来的东西只能存放在Object类里
- 下界规定了元素的最小粒度的下限,放宽了容器元素的类型控制
- 因为元素是T的基类,所以往里存比T 小的都可以
- 出于类型安全的考虑,可以往里加入T类的对象或者T类的任何子类的对象
- 由于编译器并不知道集合的内容源自T的哪一个超类,所以不允许加入特定的任何超类对象
在读取时,编译器不知道是什么类型的情况下,只能返回Object对象
- 因为Object是任何Java类的最终父类
- 这时,元素的类型信息全部丢失
PECS原则
PECS原则: Producer Extends Consumer Super
- 频繁往外读取内容的,适合使用上界Extends
- 经常往里插入内容的,适合使用下界Super
总结
- extends可以用于返回类型限定
- super可以用于参数类型限定,不能用于返回类型限定
- ? 既不能用于方法参数传入,也不能用于方法返回
- 带有extends子类型限定的通配符可以向泛型对象进行读取
- 带有super超类型限定的通配符可以向泛型对象中进行写入
