Java泛型extends使用报错：为何类型匹配失败？

以下代码无法编译，在valueWriter.write(v)处触发编译错误：

private final Map<String, ValueWriter<? extends Value>> valueWriters = new HashMap<>();

public void write(CompositeValue value) throws IOException {
    for (Entry<String, ValueWriter<? extends Value>> writer : valueWriters.entrySet()) {
        Value v = value.getValue().get(writer.getKey());
        ValueWriter<? extends Value> valueWriter = writer.getValue();
        valueWriter.write(v); // 编译错误位置
    }
}

编译错误信息：

incompatible types: Value cannot be converted to capture#1 of ? extends Value

ValueWriter接口定义：

public interface ValueWriter<T extends Value> {
    void write(T value) throws IOException;
    void delete(Key key) throws IOException;
}

最小复现代码：

public class Main {
    private ValueWriter<? extends Value> writer;

    public void write(Value v) {
        writer.write(v); // 同样触发编译错误
    }
    
    interface Value {
        
    }
    interface ValueWriter<T extends Value> {
        void write(T v);
    }
}

错误原因 #

你误解了? extends Value通配符的作用：

• ValueWriter<? extends Value>表示该写入器仅能处理某个特定的Value子类（比如ConcreteValue），但编译器无法确定具体是哪一个子类。
• 调用write(v)时传入的v是Value类型，编译器无法保证v恰好是该写入器能处理的特定子类实例，因此拒绝编译。
• 上界通配符? extends适用于读取数据的场景（比如从集合中获取元素），并不适合写入操作，因为它限制了输入类型的精确范围。

解决方案 #

根据需求，有几种可行的调整方式：

1. 使用下界通配符? super Value（推荐，匹配写入场景）

如果写入器需要接受任意Value及其子类实例，将泛型改为? super Value：

private final Map<String, ValueWriter<? super Value>> valueWriters = new HashMap<>();

public void write(CompositeValue value) throws IOException {
    for (Entry<String, ValueWriter<? super Value>> writer : valueWriters.entrySet()) {
        Value v = value.getValue().get(writer.getKey());
        ValueWriter<? super Value> valueWriter = writer.getValue();
        valueWriter.write(v); // 编译通过
    }
}

? super Value表示写入器可处理Value或其超类型（因Value是接口，实际可接受所有Value实现类），完全匹配写入操作的需求。

2. 统一使用ValueWriter<Value>作为Map泛型类型

如果所有写入器都设计为直接处理Value接口类型，直接修改Map泛型：

private final Map<String, ValueWriter<Value>> valueWriters = new HashMap<>();

这种方式更简洁，但要求所有ValueWriter实现都必须针对Value接口，而非具体子类。

3. 用泛型方法捕获通配符（适合保留子类类型的场景）

如果需要保留写入器的具体子类类型，可通过泛型方法捕获通配符：

private final Map<String, ValueWriter<? extends Value>> valueWriters = new HashMap<>();

public void write(CompositeValue value) throws IOException {
    for (Entry<String, ValueWriter<? extends Value>> entry : valueWriters.entrySet()) {
        Value v = value.getValue().get(entry.getKey());
        writeValue(entry.getValue(), v);
    }
}

private <T extends Value> void writeValue(ValueWriter<T> writer, Value v) {
    // 需确保v确实是T类型实例，否则会抛出ClassCastException
    writer.write((T) v);
}

这种方式要求你保证value.getValue().get(key)返回的实例类型与对应写入器的类型匹配，否则会触发运行时类型转换异常。

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