? extends T 禁止非null写入，因编译器无法确定具体子类型，为防类型污染而强制静态约束；允许读取为T类型并调用其共性方法，符合PECS原则中的“生产者”语义。

Java 泛型通过 ? extends T 通配符限制方法内部对集合的写操作权限，核心在于类型安全性与编译期检查：当方法参数声明为 Collection<? extends T> 时，编译器无法确定集合实际承载的具体子类型，因此禁止任何非 null 的添加操作。

这种限制不是运行时控制，而是编译器在类型擦除前就强制执行的静态约束。

? extends T 禁止写入的具体表现

• 不能调用 add(E) 方法（除 null 外）
  因为 E 类型未知——可能是 Integer、Double 或其他 Number 子类，向 Collection<? extends Number> 中添加 Integer 可能破坏原本是 Collection<Double> 的语义。

• 允许传入 null
null 是所有引用类型的合法值，不涉及具体类型冲突，所以 add(null) 编译通过。

• 只保留读取能力
  get()、iterator().next() 等返回值被安全提升为 T 类型（如 Number），可直接调用 doubleValue()、intValue() 等共性方法。

  

  Java Maven Common

  Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。

  下载

  立即学习“Java免费学习笔记（深入）”；

常见写法示例

public void processNumbers(Collection<? extends Number> nums) {
    for (Number n : nums) {           // ✅ 安全读取为 Number
        System.out.println(n.doubleValue());
    }
    // nums.add(42);                 // ❌ 编译错误：无法推断 add 参数类型
    // nums.add(new Integer(1));     // ❌ 同样报错
    nums.add(null);                   // ✅ 允许（但通常无实际意义）
}

为什么这样设计？

• 避免类型污染：若允许向 Collection<? extends Number> 添加 Integer，而该集合实际是 ArrayList<Double>，就会在运行时引发 ClassCastException（尽管泛型擦除后底层是 Object[]，但逻辑上已违反契约）。

• 符合 PECS 原则：? extends T 表示“生产者（Producer）”，只负责向外提供 T 或其子类实例，不接受输入。

对比 ? super T 的写入权限

场景	? extends T	? super T
是否允许 add(T)	❌（除 null）	✅
get() 返回类型	T	Object
典型用途	遍历、聚合、只读处理	收集、填充、消费者操作

本质上，? extends T 不是“关闭写入口”，而是让编译器拒绝所有可能破坏类型一致性的写入尝试，从而把风险拦截在编译阶段。