为何Java允许泛型处理List却禁止处理Map？

问题本质 #

Java泛型默认是不变的——即使X是Y的子类型，Container<X>也不会自动成为Container<Y>的子类型，除非用通配符显式开启协变。

为什么processList能正常运行 #

processList的参数是ArrayList<? extends A>，这里的? extends A是协变通配符，它表示“任何继承自A的类的ArrayList”。

• ArrayList<B>和ArrayList<C>都是ArrayList<? extends A>的子类型，因为B、C都继承自A，所以编译器允许把它们传入processList。

为什么processMap会报错 #

processMap的参数是HashMap<String, ArrayList<? extends A>>，但HashMap<String, ArrayList<B>>并不是HashMap<String, ArrayList<? extends A>>的子类型：

• 假设编译器允许这种赋值，那么在processMap方法里，你可以执行map.put("test", new ArrayList<C>())——这会把ArrayList<C>放进原本只能存储ArrayList<B>的Map里，后续取出元素时会出现类型转换错误，破坏类型安全。
• 为了避免这种风险，编译器直接禁止了这种赋值操作。

解决方法 #

修改processMap的参数，给值类型加上协变通配符，让Map的值类型支持协变：

// 推荐使用接口而非具体实现类，提升灵活性
public void processMap(Map<String, ? extends ArrayList<? extends A>> map) {
}
// 或者更通用的写法
public void processMap(Map<String, ? extends List<? extends A>> map) {
}

修改后，HashMap<String, ArrayList<B>>和HashMap<String, ArrayList<C>>都可以正常传入，因为它们的值类型ArrayList<B>/ArrayList<C>是ArrayList<? extends A>的子类型，而? extends ArrayList<? extends A>允许这种协变关系。

关键总结 #

• 单个容器（比如ArrayList）可以通过? extends X实现协变，允许子类容器传入。
• 嵌套容器（比如Map<String, ArrayList>）需要在每一层泛型上按需使用通配符，才能实现预期的协变效果，同时保证类型安全。

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