Java 泛型中的通配符详解：? extends T 与 ? super T

本文整理自腾讯云开发者社区文章，主要讲解 Java 泛型通配符的使用方式与适用场景。

为什么需要通配符？

在 Java 中，泛型是不具备协变性的。即使 Apple 是 Fruit 的子类，Plate<Apple> 也不是 Plate<Fruit> 的子类。为了表达泛型类型间的灵活关系，引入了通配符：

• ? extends T：上界通配符
• ? super T：下界通配符

? extends T 上界通配符

表示该泛型类型是 T 或其子类。

Plate<? extends Fruit> plate = new Plate<Apple>();

这种通配符主要用于读取数据。不能写入数据（除了 null），因为编译器无法确认具体类型。

适用场景：

• 泛型对象是数据的“生产者”（Producer）
• 只能安全读取，不保证写入安全

? super T 下界通配符

表示该泛型类型是 T 或其父类。

Plate<? super Fruit> plate = new Plate<Object>();

这种通配符主要用于写入数据（只能addT以及其子类；但是List<? super Dog> list = new ArrayList