Java泛型可分配性

Question

我在泛型类型参数的赋值能力上有些挣扎。

这是我的类型定义的样子:

public static interface CellValue<T> {
    T getValue();
    Class<?> getType();
}

public static class DoubleCell implements CellValue<Double> {
    Double value;

    public DoubleCell(Double value) {
        super();
        this.value = value;
    }

    @Override
    public Double getValue() {
        return value;
    }

    @Override
    public Class<?> getType() {
        return Double.class;
    }
}

public static class FormulaCell implements CellValue<String> {
    String value;

    public FormulaCell(String value) {
        this.value = value;
    }

    @Override
    public String getValue() {
        return value;
    }

    @Override
    public Class<?> getType() {
        return String.class;
    }
}

现在，为什么下面的声明有效(对我来说，这是预期的行为，但我可能误解了它为什么有效)

Map<String, ? extends CellValue<?>> m = new HashMap<String, FormulaCell>();
Map<String, ? extends CellValue<?>> m2 = new HashMap<String, DoubleCell>();

..而下面的不是吗？

Map<Integer, Map<String, ? extends CellValue<?>>> n = new HashMap<Integer, Map<String, FormulaCell>>();
Map<Integer, Map<String, ? extends CellValue<?>>> n2 = new HashMap<Integer, Map<String, DoubleCell>>();

Answer 1

尝试 Map<Integer, ? extends Map<String, ? extends CellValue<?>>>相反。