为何无法向List<? extends Comparable<String>>中添加String对象？

核心原因在于Java泛型中**? extends T通配符的语义限制**：它代表「某个继承/实现了T的未知类型」，编译器无法确定这个未知类型具体是什么，因此会禁止任何向该集合添加非null元素的操作。

具体分析你的代码： #

你的变量声明是List<? extends Comparable<String>> test，虽然你实际赋值的是new ArrayList<String>()，但编译器在检查test.add(string)时，只会依据test的声明类型判断，而非运行时的实际类型。

假设存在另一个类：

class CustomString implements Comparable<String> {
    @Override
    public int compareTo(String o) {
        return 0;
    }
}

那么test完全可以被赋值为new ArrayList<CustomString>()，此时如果允许向test添加String对象，就会把String放入一个只能存储CustomString的集合中，直接破坏泛型的类型安全。

关于String是final类的特例： #

你提到String无法被继承，但编译器不会为这种特例修改泛型的通用规则。泛型的类型检查基于声明的抽象类型，而非具体实现类，它要保证所有符合声明的赋值场景都能安全运行，不只是当前你写的这一种情况。

总结： #

? extends T通配符的设计是为了安全读取集合元素（可以把元素当作T类型取出），但代价是禁止向集合添加任何非null元素——因为编译器无法确认添加的元素是否符合集合实际存储的未知子类型。

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