Java泛型通配符捕获实践疑问：List<? extends NaturalNumber>读取元素后写入失败原因及实现方案

为什么原代码编译报错？ #

首先得明确List<? extends NaturalNumber>这个类型的定位：它代表一个元素类型是NaturalNumber或其子类的列表，但编译器不知道具体是哪一个子类（可能是EvenNumber，也可能是你还没定义的其他子类）。这种上界通配符的列表通常是“生产者”角色——你可以从中读取元素（所有元素都能向上转型为NaturalNumber），但不能随意写入元素（因为你不确定列表实际接受的是哪个具体子类的对象）。

你的代码里，naturalNumbers.get(0)返回的是编译器为通配符生成的临时捕获类型capture of ? extends NaturalNumber，而naturalNumbers.add()要求的参数也是这个捕获类型。但编译器的类型检查是保守的：它无法保证这两个“捕获类型”是完全一致的（哪怕逻辑上我们知道它们来自同一个列表），所以会直接报错，避免潜在的类型安全风险。

如何实现“捕获通配符并写入已读取的元素”？ #

《通配符使用指南》里提到的操作，核心是用泛型方法捕获通配符——通过一个泛型辅助方法，把不确定的通配符类型绑定为一个确定的泛型参数T，这样在方法内部就能安全地完成读写操作了。

修改后的代码示例：

class NaturalNumber { 
    private int i; 
    public NaturalNumber(int i) { 
        this.i = i; 
    } 
    // ... 
} 
class EvenNumber extends NaturalNumber { 
    public EvenNumber(int i) { 
        super(i); 
    } 
    // ... 
} 

// 测试方法
@Test 
public void redisTest() { 
    List<EvenNumber> evenNumbers = new ArrayList<>(); 
    evenNumbers.add(new EvenNumber(2)); // 小修正：EvenNumber传入偶数更符合语义
    List<? extends NaturalNumber> naturalNumbers = evenNumbers; 
    // 调用捕获通配符的辅助方法
    addElementFromSameList(naturalNumbers);
}

// 通配符捕获的泛型辅助方法
private <T extends NaturalNumber> void addElementFromSameList(List<T> list) {
    if (!list.isEmpty()) { // 先判断非空避免空指针
        T element = list.get(0);
        list.add(element); // 这里完全安全！list的类型是List<T>，element的类型就是T
    }
}

原理说明： #

当你把List<? extends NaturalNumber>传入addElementFromSameList方法时，编译器会自动捕获通配符的具体类型（这里就是EvenNumber），并把泛型参数T绑定为这个具体类型。此时在方法内部，list的类型是明确的List<T>，list.get(0)返回的T类型对象，正好匹配list.add()要求的参数类型，所以编译完全通过。

这正是指南里那句话的核心：通过捕获通配符，你可以安全地把从列表中读取的元素写回列表——因为此时你确定了读取的元素类型和列表接受的类型是完全一致的。

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