Java泛型extends关键字问题：无法向<? extends X>集合添加元素

嘿，这个问题我太熟了——这其实是Java泛型里**上限通配符（Upper Bounded Wildcards）**的核心设计特性，很多刚接触泛型的开发者都会踩这个坑！咱们一步步拆解清楚：

为什么<? extends Root>不能添加元素？ #

当你用<? extends Root>声明集合时，编译器并不知道这个集合的具体类型——它可能是List<Root>、List<Sub_1>或者List<Sub_2>。如果允许你向其中添加Sub_1实例，万一这个集合实际是List<Sub_2>，就会导致类型安全被破坏（你把Sub_1放进了只能装Sub_2的集合里）。

为了避免这种风险，编译器干脆禁止向<? extends X>类型的集合中添加任何非null元素，看这个错误示例：

// 编译报错！无法添加元素
public void addToWildcardList(List<? extends Root> list) {
    list.add(new Sub_1()); // 编译器：我不确定这个list是不是装Sub_1的！
}

用泛型方法实现安全的元素操作 #

你想要的“限制参数并指定返回类型”，应该用具体的泛型类型参数而非通配符。<T extends Root>表示我们要操作一个确定的、继承自Root的类型T，编译器能明确识别T的类型，因此可以安全地向集合中添加T类型的元素。

给你补全并优化代码示例：

class Root {}
class Sub_1 extends Root {}
class Sub_2 extends Root {}

// 泛型方法：返回指定类型的子类集合
public static <T extends Root> List<T> getSubList(Class<T> targetClass) {
    List<T> result = new ArrayList<>();
    
    // 可以安全添加T类型的实例
    try {
        // 通过反射创建T的实例（或者根据你的业务逻辑生成元素）
        T instance = targetClass.getDeclaredConstructor().newInstance();
        result.add(instance);
    } catch (Exception e) {
        e.printStackTrace();
    }
    
    return result;
}

// 使用示例
public static void main(String[] args) {
    List<Sub_1> sub1List = getSubList(Sub_1.class);
    List<Sub_2> sub2List = getSubList(Sub_2.class);
    // 完全符合类型要求，且可以安全操作集合元素
}

核心总结 #

• <? extends X>是只读通配符：适合用来接收任意X子类的集合，读取其中的元素（因为所有元素都可以向上转型为X），但不能修改集合的元素类型（除了添加null）。
• <T extends X>是具体类型参数：适合用来定义需要操作某个确定子类类型的方法，编译器能保证类型安全，允许添加T类型的元素。

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