Java泛型中ArrayList<? extends A>赋值给ArrayList<A>为何不被允许？

咱们先把问题的核心矛盾理清楚：你定义的get()方法返回ArrayList<? extends A>，但试图把它直接赋值给ArrayList<A>类型的变量时，编译器报错了。这看起来有点反直觉——毕竟A是所有? extends A类型的父类，为啥容器就不能这么赋值呢？

答案的关键在于Java泛型的可变性规则：Java里的泛型默认是**不可变（invariant）的，哪怕B extends A，ArrayList<B>也不是ArrayList<A>的子类。而? extends A是协变（covariant）**的通配符，但它带来的限制是：你只能从这个容器里读元素，不能往里写（除了null）。

那为什么不能把ArrayList<? extends A>赋值给ArrayList<A>？咱们举个具体的场景就懂了：

假设存在子类B extends A，而get()方法实际返回的是new ArrayList<B>()（这完全符合ArrayList<? extends A>的定义）。如果允许把它赋值给ArrayList<A>变量test，那你接下来很可能会执行这样的操作：

test.add(new A()); // 此时test实际指向的是ArrayList<B>

这就直接破坏了类型安全！因为ArrayList<B>只能存放B或B的子类对象，你往里塞一个A对象，后续从列表中取元素时，原本期望拿到B类型，实际却是A，运行时必然抛出ClassCastException。

编译器正是为了提前阻止这种潜在的风险，才禁止了这个赋值操作。那正确的处理方式是什么呢？

• 如果你只需要从列表中读取元素，直接把变量声明为ArrayList<? extends A>即可：

  ArrayList<? extends A> test = get();
  A item = test.get(0); // 完全合法，所有元素都是A的子类，可以安全向上转型为A
  

• 如果你需要往列表中写入元素，那应该考虑使用? super A（逆变通配符），或者调整get()方法的返回类型为ArrayList<A>（如果它确实只返回A类型的列表）。

总结来说：ArrayList<? extends A>表示“这是一个包含A或A子类的列表，但我不知道具体是哪个子类”。把它赋值给ArrayList<A>会允许你往里面添加不属于该子类的对象，彻底打破类型安全，所以编译器会直接拦截这个操作。

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