上限用? extends T限制类型为T或其子类,适用于读取场景;下限用? super T限制为T或其父类,适用于写入场景;遵循PECS原则,确保类型安全与操作灵活性。

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










