核心区别在于用途:? extends T 用于只读(生产者),保证安全取值但禁止写入;? super T 用于只写(消费者),保证安全写入但读取仅限 Object。

核心区别不在“它是什么类型”,而在“它能做什么”——? extends T 放开读取、锁死写入;? super T 放开写入、锁死精确读取。真正决定用哪个的,是泛型参数在方法中扮演的角色:只取数据就用 ? extends T,只存数据就用 ? super T。
? extends T:只读不写,安全取值
表示“T 或其任意子类”,例如 List extends Number> 可接收 ArrayList<integer></integer>、LinkedList<double></double> 等。
- ✅ 能安全读:遍历每个元素,编译器保证是
Number类型或其子类,可直接调用doubleValue()、intValue() - ❌ 不能写:哪怕传一个
new Integer(5),编译直接报错——因为实际容器可能是Double列表,加进去会破坏类型一致性 - ⚠️ 注意:
get(0)返回的是Number,但set(0, ...)和add(...)全部禁止
? super T:只写不精读,安全注入
表示“T 或其任意父类”,例如 List super Integer> 可接收 ArrayList<integer></integer>、ArrayList<number></number>、ArrayList<object></object> 等。
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式,或要求按照代码注释规范处理 Java 文件时,使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则,并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括:补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
- ✅ 能安全写:任何
Integer实例(包括字面量42、自动装箱值)都能添加,目标容器肯定能容纳 - ❌ 不能安全读:
get(0)只能赋给Object,不能直接当Integer用——因为你不知道它实际是Object还是Number,甚至可能是更宽泛的接口 - ⚠️ 注意:标准库中
Collection.<t>addAll()</t>就用了? super T,才能把任意T元素批量塞进目标集合
按角色选,不是按继承方向记
别被“上界/下界”字面绕晕。关键看它在方法里是生产者还是消费者:
立即学习“Java免费学习笔记(深入)”;
- 从它拿东西出来用(求和、校验、打印)→ 它是 Producer → 用
? extends T - 往它塞东西进去存(添加、收集、归并)→ 它是 Consumer → 用
? super T - 如果既读又写,通常说明设计有问题——要么拆成两个参数,要么直接用具体泛型类型
T
常见误用提醒
这些错误很典型,但编译器报错信息常不够直白:
-
List extends String> list = new ArrayList(); list.add("hi");→ 编译失败。虽然String是 final 类,但通配符逻辑不变:仍禁止写入 -
List> list = new ArrayList(); list.add("x");→ 同样报错。无界通配符也不允许写入,因为类型完全未知 - 误以为
List super Number>能读出Number→ 实际只能读出Object,必须手动强转(不推荐)

















