? extends 用于读取(上界通配符),限定类型为某类及其子类,适用于生产者;? super 用于写入(下界通配符),限定类型为某类及其父类,适用于消费者;遵循 PECS 原则提升泛型灵活性与安全性。

Java泛型中的通配符 extends 和 super 用于限定类型参数的范围,提升代码的灵活性和安全性。它们主要在方法参数中使用,控制集合等泛型类型的子类型关系。
extends:上界通配符(从某个类型向上限制)
使用 ? extends Type 表示通配符接受 Type 或其子类类型。这种形式适用于只读场景,即你从集合中读取数据,但不往里添加元素(null除外)。
例如:
-
List extends Number>可以引用List、List等。 - 可以从该列表中读取
Number类型的对象。 - 不能安全地添加任何非 null 的对象,因为具体类型未知(可能是 Integer 或 Double)。
典型用途:当你需要处理一组具有共同父类的泛型数据,且只进行读取操作时。
立即学习“Java免费学习笔记(深入)”;
super:下界通配符(从某个类型向下限制)
使用 ? super Type 表示通配符接受 Type 或其父类类型。这种形式适用于写入场景,即你向集合中添加 Type 类型的对象。
例如:
-
List super Integer>可以引用List、List、List。 - 可以安全地向其中添加
Integer对象。 - 从集合读取时,只能保证返回 Object 类型,失去具体类型信息。
典型用途:当你需要将特定类型的对象插入到一个泛型容器中,而容器的实际类型可能是其父类。
PECS 原则(Producer-Extends, Consumer-Super)
这是理解和使用 extends 与 super 的核心原则:
- 如果一个泛型对象主要用于产出数据(如遍历读取),使用
? extends T。 - 如果一个泛型对象主要用于消费数据(如添加元素),使用
? super T。
例如,Java 集合工具类 Collections.copy() 方法定义如下:
public static void copy(List super T> dest, List extends T> src)
- src 是数据源(生产者)→ 使用
? extends T - dest 是目标(消费者)→ 使用
? super T










