Java中Map包裹List泛型不兼容？为何koo()方法报错

类定义 #

public interface ITest {
    Long foo();
}

public class Test implements ITest{

    @Override
    public Long foo() {
        return 0L;
    }
}

方法定义 #

public Map<Long, List<? extends ITest>> moo() {
    List<Test> a = List.of(new Test());
    Map<Long, List<? extends ITest>> b = Map.of(1L, a);
    return b;
}

public Map<Long, List<? extends ITest>> koo() {
    List<Test> a = List.of(new Test());
    Map<Long, List<Test>> b = Map.of(1L, a);
    return b;
}

public List<? extends ITest> too() {
    List<Test> a = List.of(new Test());
    return a;
}

错误信息 #

类型不兼容。找到：'java.util.Map<java.lang.Long,java.util.List>'，需要：'java.util.Map<java.lang.Long,java.util.List<? extends ITest>>'

原因分析 #

这不是List不支持泛型的问题，而是Java泛型协变特性在嵌套泛型中的限制导致的。

先明确两个核心点：

• 协变规则：如果Test是ITest的实现类，那么List<Test>可以直接赋值给List<? extends ITest>，这也是too()方法能正常编译的原因。
• 泛型不可变性：对于Map<K,V>这类普通泛型容器，它本身是不可变的——也就是说，Map<Long, List<Test>>并不是Map<Long, List<? extends ITest>>的子类型，哪怕List<Test>是List<? extends ITest>的子类型。

具体到koo()方法的问题：
当你创建Map<Long, List<Test>>类型的对象b时，这个Map的值类型被固定为List<Test>。如果允许把它直接赋值给Map<Long, List<? extends ITest>>，就会埋下类型安全隐患——后续代码可能尝试往这个Map中存入List<OtherITestImpl>（另一个ITest的实现类），但原Map只能容纳List<Test>，这会导致运行时类型转换错误，所以编译器直接在编译阶段阻止了这种操作。

而moo()方法能正常运行，是因为它直接创建了值类型为List<? extends ITest>的Map，此时传入List<Test>符合协变规则，编译器可以确认类型安全。

解决办法 #

要让koo()方法正常编译，有两种常用方式：

• 方式一：参考moo()的写法，直接将b声明为Map<Long, List<? extends ITest>>
• 方式二：给Map的值类型添加通配符，修改b的声明：

  Map<Long, ? extends List<? extends ITest>> b = Map.of(1L, a);
  

  注意：这种方式会限制后续对Map值的修改操作，因为编译器无法确定具体的List子类型。

内容的提问来源于stack exchange，提问作者thekey.kim