Java中为什么下界通配符 `List-java教程-PHP中文网

编译器拒绝向 list

java中为什么下界通配符 `list<? super integer>` 添加 `double` 会在编译期被直接拦截

因为编译器无法保证 List super Integer> 实际承载的类型能安全接受 Double。

编译器只知道下界，不知道具体类型

声明 List super Integer> 时，编译器只确认该列表的实际类型是 Integer 或它的某个父类——可能是 List<integer></integer>、List<number></number>，也可能是 List<object></object>。但编译器无法在编译期确定到底是哪一个。

List<integer></integer>：只接受 Integer 及其子类（如 int 自动装箱后的 Integer）
List<number></number>：可接受 Integer、Double、Float 等所有 Number 子类
List<object></object>：理论上能存任意对象，但泛型约束仍以 Integer 为下界，不意味着开放所有写入

由于存在 List<integer></integer> 这种合法且常见的可能性，而 Double 无法赋值给 Integer，编译器必须拒绝该操作，否则就可能在运行时破坏类型一致性。

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

写入安全的唯一依据是“T 及其子类”

? super Integer 的设计原则是：只允许写入 Integer 类型或它的子类（比如匿名子类、枚举常量等极少数情况），因为所有这些类型都能被安全地向上转型为 Integer 的任意父类。

list.add(new Integer(42)) ✅ 安全：任何 Integer 实例都适配 Integer、Number、Object
list.add(100) ✅ 安全：自动装箱为 Integer
list.add(new Double(3.14)) ❌ 不安全：Double 不是 Integer 的子类，也不能赋值给 Integer 引用

这不是运行时检查，而是编译期硬性拦截

Java 编译器（javac）在泛型擦除前就完成全部类型校验。它不会等到运行时才判断能否加 Double，而是在解析代码时直接报错：Cannot resolve method 'add(java.lang.Double)' 或类似提示。

这个错误不是警告，不生成 class 文件
和 List<integer>.add("abc")</integer> 被拒逻辑一致：都是编译期静态类型不匹配
反射、强制转型、instanceof 都绕不过这一关

对比上界通配符更易理解差异

? extends Number 允许读取为 Number，但禁止写入（除 null）；? super Integer 则相反：允许写入 Integer，但读取只能得 Object。这种不对称性正是 PECS 原则（Producer Extends, Consumer Super）的体现——它针对的是使用意图，而非语法对称。