Java泛型疑问：List<实现类>可传，Map<String,List<实现类>>为何编译失败？

这问题戳中了Java泛型里一个很容易踩的坑：泛型的协变不是递归生效的，咱们一点点理清楚：

先搞懂为什么printFakeVals能编译通过 #

你写的List<? extends FakeInterface>是一个协变类型——它表示“任何继承/实现了FakeInterface的类型组成的List”。因为FakeConcretClassA实现了FakeInterface，所以List<FakeConcretClassA>是List<? extends FakeInterface>的子类型，编译器允许你把前者传给后者，这部分你理解的没错。

那为啥Map就不行了？ #

问题出在Map<String, List<FakeConcretClassA>>和Map<String, List<? extends FakeInterface>>的关系上：

Java的泛型默认是不变的，也就是说，就算A是B的子类型，Container<A>也不是Container<B>的子类型。这里List<FakeConcretClassA>确实是List<? extends FakeInterface>的子类型，但当它们作为Map的第二个泛型参数时，Map<String, List<FakeConcretClassA>>和Map<String, List<? extends FakeInterface>>是完全独立的类型，编译器不认它们的父子关系。

举个更简单的例子：你不能把Map<String, Integer>传给Map<String, Number>，哪怕Integer是Number的子类，道理完全一样。

怎么改才能编译通过？ #

你需要给Map的第二个泛型参数也加上协变通配符，把方法签名改成这样：

public static void priFakeMap(Map<String, ? extends List<? extends FakeInterface>> fakemap)
{
    fakemap.forEach((genre, fakes) -> {
        fakes.forEach(fake -> System.out.println(fake.fakeVal()));
    });
}

这里的? extends List<? extends FakeInterface>告诉编译器：“这个Map的value可以是任何List<? extends FakeInterface>的子类型”，而List<FakeConcretClassA>正好符合这个条件，所以编译器就会放行。

再总结一下核心点 #

• 单一层级的泛型协变（比如List）可以通过? extends实现
• 嵌套泛型（比如Map里的List）需要每层都显式声明协变通配符，否则编译器会因为泛型不变性拒绝类型转换
• 泛型不变性是Java的设计选择，目的是避免类型不安全的操作（比如如果允许把Map<String, List<Integer>>传给Map<String, List<Number>>，那你可能会不小心往List里塞Float，导致运行时异常）

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