Java 泛型机制中怎么通过通配符参数限制方法内部对集合元素的写操作权限-java教程-PHP中文网

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

java 泛型机制中怎么通过通配符参数限制方法内部对集合元素的写操作权限

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

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

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

不能调用 add(E) 方法（除 null 外）
因为 E 类型未知——可能是 Integer、Double 或其他 Number 子类，向 Collection extends Number> 中添加 Integer 可能破坏原本是 Collection<double></double> 的语义。
允许传入 null
null 是所有引用类型的合法值，不涉及具体类型冲突，所以 add(null) 编译通过。
只保留读取能力
get()、iterator().next() 等返回值被安全提升为 T 类型（如 Number），可直接调用 doubleValue()、intValue() 等共性方法。

OpenJDK 24 Windows x64
OpenJDK 24 Windows x64 官方参考实现（24+36），适合 Windows 环境进行 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></double>，就会在运行时引发 ClassCastException（尽管泛型擦除后底层是 Object[]，但逻辑上已违反契约）。
符合 PECS 原则：? extends T 表示“生产者（Producer）”，只负责向外提供 T 或其子类实例，不接受输入。