Java中协变通配符 ? extends T 怎么实现泛型多态读取-java教程-PHP中文网

? extends t 是协变通配符，支持安全读取（返回类型为t或其父类）但禁止写入（除null外），本质是编译期类型约束，常用于只读通用方法如sumnumbers、max等。

java中协变通配符 ? extends t 怎么实现泛型多态读取

Java 中的 ? extends T 是协变通配符，它让泛型容器支持“向上转型”式的多态读取——即用更宽泛的类型（如 List extends Number>）安全地引用更具体的子类型集合（如 List<integer></integer> 或 List<double></double>），同时**只允许读取、禁止写入**（除 null 外）。它的核心机制不是“运行时多态”，而是编译期类型安全约束。

为什么能实现安全读取？

编译器知道：无论实际是 Integer、Double 还是 BigDecimal，它们都继承自 Number。所以从 List extends Number> 中调用 get(0)，返回值类型被保守推断为 Number（或其父类 Object），这在任何子类型实例中都成立。

例如：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

List<integer> ints = Arrays.asList(1, 2, 3);
List extends Number> numbers = ints; // ✅ 合法赋值
Number n = numbers.get(0); // ✅ 安全：Integer 是 Number 的子类
// numbers.add(4.5);      // ❌ 编译错误：不能确定具体类型，禁止写入
</integer>

读取时的类型收敛规则

使用 ? extends T 后，你能安全读出的类型是 T 及其所有父类，但无法获得原始具体类型信息：

get(i) 返回类型是 T（不是 ? extends T）；
可以赋给 T、T 的父类（如 Object）或接口（如 Serializable）；
不能直接强转为某个具体子类（如 (Integer) numbers.get(0)），除非你额外做运行时检查（如 instanceof）。

典型应用场景

协变通配符常用于设计只读操作的通用方法，提升 API 兼容性：

聚合统计：接受任意数字列表并求和

double sumNumbers(List extends Number> list) {
    return list.stream()
                .mapToDouble(Number::doubleValue)
                .sum();
}
// 可传入 List<integer>、List<float>、List<bigdecimal> 等
</bigdecimal></float></integer>

只读工具方法：打印元素、查找最大值等

<t extends comparable super t>> T max(List extends T> list) {
    return list.stream().max(Comparable::compareTo).orElse(null);
}
// 支持 List<string>、List<localdate> 等
</localdate></string></t>

注意边界：不能写入，也不能用作返回泛型参数

因为编译器无法确认你要添加的元素是否匹配未知的具体子类型：

add(E)、set(int, E) 等写入方法参数类型被擦除为 capture#1-of ? extends T，与任何具体类型都不兼容；
不能用 ? extends T 声明泛型方法的返回类型参数（如 extends Number> method() 是非法语法），只能用于变量、形参、字段等使用位置。