17370845950

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

Java泛型中的通配符 extends 和 super 用于限定类型参数的范围，提升代码的灵活性和安全性。它们主要在方法参数中使用，控制集合等泛型类型的子类型关系。

extends：上界通配符（从某个类型向上限制）

使用 ? extends Type 表示通配符接受 Type 或其子类类型。这种形式适用于只读场景，即你从集合中读取数据，但不往里添加元素（null除外）。

例如：

• List extends Number> 可以引用 List、List 等。
• 可以从该列表中读取 Number 类型的对象。
• 不能安全地添加任何非 null 的对象，因为具体类型未知（可能是 Integer 或 Double）。

典型用途：当你需要处理一组具有共同父类的泛型数据，且只进行读取操作时。

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

基本上就这些。合理使用 extends 和 super 能让泛型代码更灵活又类型安全。