Java泛型中<? extends>的用途与适用场景：无法添加元素为何仍使用？

好问题！很多刚接触Java泛型的开发者都会被通配符这个点绕晕，我来给你拆解清楚。

首先先回应你提到的「无法添加元素」的点：List<? extends Number>表示这是一个某种Number子类的列表，但具体是哪个子类我们完全不确定——它可能是ArrayList<Integer>，也可能是ArrayList<Double>，甚至是你自定义的ArrayList<MyNumber>。如果编译器允许你往里面加Integer，那万一这个列表实际是ArrayList<Double>，类型安全就直接被打破了。为了避免这种风险，Java编译器干脆禁止了往这类列表中添加任何具体类型的元素（唯一例外是null，但这在实际业务中几乎没有意义）。

那既然不能写，? extends T到底有啥用？它的核心价值是支持「只读场景下的泛型协变」，简单说就是让我们能以统一的方式处理所有T及其子类的集合，且保证类型安全。下面是几个最常见的适用场景：

1. 统一处理不同子类的集合（最常用） #

当你需要写一个方法，它的逻辑对T及其所有子类的集合都适用，且只需要读取集合中的元素时，? extends T就派上用场了。

比如写一个计算数值列表总和的方法，不管传入的是Integer、Long还是Double列表，都能正确计算：

public static double calculateSum(List<? extends Number> numbers) {
    double total = 0.0;
    for (Number num : numbers) {
        total += num.doubleValue(); // 所有Number子类都实现了这个方法，安全调用
    }
    return total;
}

调用的时候，calculateSum(new ArrayList<Integer>())或者calculateSum(new ArrayList<Double>())都能正常运行，完全不需要为每种Number子类单独写方法。

2. 隐藏集合的具体实现类型，提升封装性 #

当你需要返回一个集合，但不想暴露它的具体泛型类型时，可以用? extends T作为返回值。这样调用方只能读取元素，无法修改集合，同时也不用关心内部到底用的是哪种子类。

比如一个生成随机数的工厂方法：

public static List<? extends Number> generateRandomNumbers(int count) {
    List<Integer> randomInts = new ArrayList<>();
    Random random = new Random();
    for (int i = 0; i < count; i++) {
        randomInts.add(random.nextInt(100));
    }
    return randomInts;
}

调用方拿到这个列表后，只能做get()、遍历这类读取操作，不能添加任何元素（除了null），既保证了内部集合的安全性，也隐藏了具体的实现细节。

3. 实现泛型集合的协变存储 #

Java泛型本身是「不变」的——ArrayList<Integer>并不是ArrayList<Number>的子类，但它是List<? extends Number>的子类。这意味着你可以把不同子类的集合放到同一个父类型的容器中，统一管理。

比如：

List<List<? extends Number>> allNumberLists = new ArrayList<>();
allNumberLists.add(new ArrayList<Integer>());
allNumberLists.add(new ArrayList<Double>());
allNumberLists.add(new ArrayList<Long>());

之后你可以遍历这个allNumberLists，对每个子列表执行统一的读取逻辑，比如计算每个列表的总和，完全不用关心每个子列表的具体类型。

总结一下 #

? extends T的核心就是在保证类型安全的前提下，让泛型集合支持协变，适用于所有只需要读取、不需要写入的场景。它的存在让我们的代码更灵活、更通用，同时又不会破坏Java的类型安全机制。

内容的提问来源于stack exchange，提问作者user3103957