上限用? extends T限制类型为T或其子类,适用于读取场景;下限用? super T限制为T或其父类,适用于写入场景;遵循PECS原则,确保类型安全与操作灵活性。
在Java泛型中,上限和下限通过通配符 ? 配合extends 和 super 关键字来定义,用于限制泛型类型的范围,提高类型安全性的同时保持灵活性。
使用 ? extends T 表示泛型的上限,即类型必须是T或T的子类。这种写法适用于“只读”场景,可以从集合中获取元素,但不推荐向其中添加元素(除了null)。
例如:
List extends Number> list = new ArrayList因为编译器只知道它是某个Number的子类型,无法确定具体是Integer还是Double,因此不允许添加任何具体类型。
使用 ? super T 表示泛型的下限,即类型必须是T或T的父类。这种写法适用于“写入”场景,可以向集合中添加T类型的对象,但读取时只能用Object接收。
例如:
List super Integer> list = new ArrayList由于实际类型可能是Integer、Number或Object,所以取出的对象无法保证具体类型,只能用Object引用。
遵循PECS原则(Producer-Extends, Consumer-Super):
数据(读取),使用 ? extends T
基本上就这些。掌握上限和下限的关键在于理解类型安全与操作方向的关系。