Java泛型问题：为何无法向<? extends BaseElement>类型列表添加元素

1 为什么addElement无法向列表添加元素 #

核心是Java泛型上界通配符? extends的特性限制：
ArrayList<? extends BaseElement>的语义是「该列表的元素类型是某一种未知的、继承自BaseElement的特定类型」，而不是「可以存储任意BaseElement子类的列表」。举个例子，如果你给这个ArrayList实际赋值的是new ArrayList<SubElementA>()，那往里面添加同样继承自BaseElement的SubElementB就会出现类型错误，编译器为了避免这类运行时异常，会直接禁止所有往? extends通配符集合中添加非null元素的操作，哪怕你的add方法参数是BaseElement的子类也无法通过编译。

对应的解决方式分两种场景：

• 如果你这个Map类允许存储任意BaseElement的子类，不需要限制单一元素类型，直接把列表声明改为private final ArrayList<BaseElement> elements;即可，无需加通配符，add方法可以正常使用。
• 如果你希望每个Map的子类只能存储一种特定的BaseElement子类，那就把Map定义为泛型类：

public abstract class Map<T extends BaseElement> {
    private final ArrayList<T> elements = new ArrayList<>();

    protected T addElement(T element) {
        elements.add(element);
        return element;
    }
}

这种写法可以在编译期就保证元素类型统一，不会出现类型错乱问题。

2 getElement返回具体类型的实现方案 #

如果用了上述类级泛型的方案，直接把返回值改成T即可，天然类型安全，不需要额外处理：

public T getElement(int elementID) {
    return elements.stream()
            .filter(element -> element.getID() == elementID)
            .findFirst()
            .orElse(null);
}

如果你不想给整个类加泛型，希望调用getElement的时候动态指定返回类型，推荐传入Class参数保证类型安全，避免隐式强转的运行时异常：

public <T extends BaseElement> T getElement(int elementID, Class<T> targetClass) {
    return elements.stream()
            .filter(element -> element.getID() == elementID)
            .filter(targetClass::isInstance)
            .map(targetClass::cast)
            .findFirst()
            .orElse(null);
}

调用的时候只需要传入对应的类对象即可：SubElement element = getElement(1, SubElement.class); 不需要手动强转，类型不匹配时会返回null而非抛出ClassCastException。

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