Java中? extends...允许子类作为返回值，却无法直接赋值给main方法中子类集合变量的原因

这个问题其实戳中了Java泛型通配符设计的核心——类型安全的边界控制，咱们一步步拆解来看：

1. 为什么readAnimals()的返回写法能通过编译？ #

public static ArrayList<? extends Animal> readAnimals(){ return new ArrayList<AnimalChild>(); }

这里的? extends Animal是一个上界通配符，它的意思是：这个方法返回的是一个「包含Animal或其子类元素的ArrayList」。而ArrayList<AnimalChild>完全符合这个描述——它的元素是Animal的子类AnimalChild，所以编译器认为这是合法的，自然不会报错。

2. 为什么不能直接赋值给ArrayList<AnimalChild>？ #

当你在main里写ArrayList<AnimalChild> list = readAnimals();时，编译器会抛出类型不匹配的错误，这是因为编译器要保证类型安全：

编译器只知道readAnimals()返回的是某个ArrayList<? extends Animal>，但它不知道具体是哪个子类的集合。举个例子：
假设我们还有另一个子类Dog extends Animal，理论上readAnimals()也可以改成返回new ArrayList<Dog>()，这依然符合ArrayList<? extends Animal>的定义。

如果编译器允许你把这个返回值直接赋值给ArrayList<AnimalChild>，那后续你可能会执行list.add(new AnimalChild())——但如果实际返回的是ArrayList<Dog>，这就相当于把AnimalChild对象塞进了Dog的集合里，运行时必然会抛出ClassCastException，这就破坏了泛型的类型安全初衷。

所以编译器提前拦住了这种“可能有风险”的赋值操作，避免后续的运行时错误。

3. 为什么强制类型转换会有未检查警告？ #

当你写ArrayList<AnimalChild> list = (ArrayList<AnimalChild>) readAnimals();时，编译器会给出“未检查转换”的警告，原因很简单：编译器在编译期无法确认readAnimals()返回的集合真的是ArrayList<AnimalChild>，它只能信任你写的类型转换，但这种信任是没有编译期检查作为保障的——只有在运行时，当你操作集合元素时才会发现是否匹配。

如果你确定这个方法返回的一定是ArrayList<AnimalChild>，可以用@SuppressWarnings("unchecked")注解来抑制这个警告，但一定要谨慎使用，确保不会出现类型不匹配的情况。

正确的处理方式 #

• 如果readAnimals()确实只会返回ArrayList<AnimalChild>，那直接把方法返回类型改成ArrayList<AnimalChild>就好，这样赋值时完全没有问题。
• 如果方法可能返回多种Animal子类的集合，那就用ArrayList<? extends Animal>来接收返回值，不过此时你只能从集合里读取元素（当做Animal类型），不能往里面添加任何元素（除了null）——这也是上界通配符的“只读”特性。

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