嵌套ArrayList初始化存在问题吗？Java泛型编译错误解析

这个问题其实戳中了Java泛型里一个很关键的规则——实例化泛型类时，类型参数不能是通配符?，咱们一步步拆解来看：

核心规则：实例化必须用具体类型 #

当你用new创建泛型对象的时候，JVM需要明确知道这个对象的具体类型信息，才能分配内存、确定对象的行为。而通配符?代表的是「某种未知的、符合约束的类型」，它不是一个具体的类型，自然无法用来实例化对象。

能正常编译的代码分析 #

咱们先看没问题的两段代码：

• List<? extends A> xx = new ArrayList<B>();
  右边的ArrayList<B>是具体的泛型实例，B是A的子类，完全符合左边List<? extends A>的通配符约束（允许引用任何存储A或A子类的List）。这里左边的通配符是用来做「类型限定」，让变量xx可以接收各种符合条件的List实例，而右边的实例是明确的、可被JVM实例化的具体类型。

• List<? extends List<? extends A>> xy = new ArrayList<List<? extends A>>();
  右边的ArrayList<List<? extends A>>同样是具体的实例类型——虽然它的类型参数List<? extends A>里包含通配符，但这个参数本身是一个确定的「泛型类型」，不是通配符。它完全符合左边? extends List<? extends A>的约束，所以可以正常赋值。

触发编译错误的代码分析 #

再看报错的两段：

• List<? extends A> yx = new ArrayList<? extends A>();
  右边试图创建ArrayList<? extends A>，这里的? extends A是通配符，不是具体类型。JVM不知道这个ArrayList到底要存储A的哪个子类的实例，没法确定对象的具体形态，自然编译报错。

• List<? extends List<? extends A>> yy = new ArrayList<? extends List<? extends A>>();
  同理，右边的ArrayList<? extends List<? extends A>>用了通配符作为类型参数，本质还是试图用「未知类型」来实例化对象，违反了泛型实例化的核心规则，所以触发编译错误。

总结差异的本质 #

左边的变量声明用通配符是允许的——这是类型的向上兼容/限定，用来扩大变量可接收的实例范围；但右边的实例创建必须用具体的类型参数，因为实例化需要明确的类型信息，通配符无法提供这个必要信息。

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