Java泛型中?通配符与类型参数V的区别及传参兼容问题

理解二者差异的前提，是先明确Java泛型的基础规则：泛型本身是**不变（invariant）**的，没有自动类型协变的转换逻辑，也就是List<A>和List<B>之间永远不存在继承关系，哪怕A是B的子类。

本质逻辑差异 #

• 无界通配符?的语义是「某个位置的类型是完全未知的任意类型」，对编译器而言这个未知类型是不透明的：
  对于List<Map<String, ?>>来说，它表示列表存储的是「String为键、值类型完全不确定的Map」，编译器不会对这个未知类型做任何绑定或推断。哪怕Map<String, Integer>是Map<String, ?>的子类型，受外层List的不变性规则约束，List<Map<String, Integer>> 和 List<Map<String, ?>> 是完全独立的两个类型，不存在自动转换关系，这就是遇到编译报错的直接原因。
• 泛型类型参数V的语义是「某个占位类型，所有出现V的位置都对应同一个具体类型」：
  当定义<V> void doSth(List<Map<String, V>> list)时，编译器看到传入的实参是List<Map<String, Integer>>，会自动将V推断为Integer，临时把方法签名匹配为和传入参数完全一致的类型，自然可以通过编译校验。

实际能力差异 #

• 对未知类型的可操作性不同
  • 用?定义的泛型位，因为类型完全未知，编译器不允许对类型做任何关联操作：比如拿到一个Map<String, ?>类型的变量，只能把它的value读成Object类型，只能往Map里存null，没法在方法内对value做类型相关的处理，也没法把value传递给需要具体类型的方法。
  • 用泛型参数V定义的泛型位，因为有统一的绑定逻辑，方法内可以正常操作对应类型的值：可以把Map的value直接赋值给V类型的变量，也可以把值传递给其他需要V类型参数的方法，全程不需要做强制类型转换。
• 类型匹配的适配能力不同
  • 通配符?是静态的未知类型标注，不会和实际传入的参数做动态绑定适配，遇到外层是不变容器的嵌套泛型时，必须要求传入的实参泛型和方法签名的泛型完全一致才能通过校验。
  • 泛型参数V是动态的类型占位符，编译器会根据传入的实参自动反推匹配，只要结构符合泛型占位的要求，就可以兼容不同的具体类型入参。

适用场景边界 #

• 无界通配符适合「完全不关心泛型位的具体类型，只需要对容器做无类型依赖的通用操作」的场景，比如只需要遍历列表、取Map的String类型键、完全不操作Map的value时使用。
• 泛型类型参数适合「虽然暂时不知道泛型位的具体类型，但后续代码需要依赖这个类型保证一致性」的场景，比如需要读取Map的value做处理、把同类型值放回容器、传递给其他依赖类型匹配的方法时使用。

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