下界通配符 ? super T 的核心作用是支持安全写入 T 及其子类实例,即“写入友好”;它通过编译期检查确保 add() 合法,读取时仅允许 Object 类型,契合 PECS 原则中 Consumer 用 super 的设计思想。

下界通配符 ? super T 的核心作用,是让一个泛型集合能安全接收类型为 T 或其任意子类的实例——也就是“写入友好”。它不改变集合底层行为,而是通过编译期类型检查,确保每次 add() 都不会破坏类型安全。
它为什么能安全写入 T 及其子类
编译器知道:实际传入的集合(比如 List<number></number> 或 List<object></object>)的元素类型,一定是 T 的某个父类(含 T 自身)。而 Java 的继承规则保证——T 及其子类对象,天然可以赋值给父类引用。
-
Integer是Number的子类 → 可以存进List super Number> -
Dog是Animal的子类 → 可以存进List super Animal> - 但
String和Integer没有继承关系 → 不能往List super Integer>里加"abc",编译直接报错
典型写法:泛型工具方法 + ? super T
这是它最实用的场景。方法只关心“往里放”,不关心“从哪来”,也不承诺“能读出什么具体类型”:
- 声明为
public static <t> void addAll(List super T> dest, T... items)</t> - 调用时可传
new ArrayList<animal>()</animal>、new ArrayList<object>()</object>,甚至new ArrayList<serializable>()</serializable>(只要Animal实现了该接口) - 方法体内
dest.add(item)总是合法的,因为item类型是T,而dest至少能装下T
读取时只能得到 Object,这不是缺陷,而是设计取舍
你不能写 Animal a = list.get(0),因为 list 可能是 List<object></object>,里面早被塞进了 Thread 或 String。编译器只允许:
-
Object o = list.get(0);✅ 安全,因为一切对象都继承自Object -
if (o instanceof Animal) { ... }✅ 运行时判断,由你负责 - 想安全读出
Animal?那就别用? super Animal,改用List<animal></animal>或List extends Animal>
它和 PECS 原则紧密绑定
PECS(Producer-Extends, Consumer-Super)不是经验口诀,而是类型系统推导出的自然结论:
- 如果集合是“消费者”——你主要往里塞东西(如目标列表、日志收集器、批量插入参数),就用
? super T - 如果集合是“生产者”——你主要往外拿东西(如返回结果、缓存读取),就用
? extends T -
Collections.copy(src, dest)就是经典例子:src 是生产者(? extends T),dest 是消费者(? super T)

















