Java如何传入带确定子类型的泛型List参数？为何会编译报错？

这个错误是Java泛型的类型不变性规则导致的，和B继承A的逻辑无关，问题出在两层泛型嵌套时的子类型匹配逻辑。

Java泛型默认遵循不变性规则：即使两个类型存在继承关系，对应的泛型类实例也不会自动成为父子类型。最常见的例子就是：Integer是Number的子类，但List<Integer>并不是List<Number>的子类型。如果允许这种匹配，方法内部就可以往原本只能存Integer的集合里塞任意Number子类（比如Double），后续读取元素时就会触发类型转换异常，所以编译器会直接拦截这类不安全的传参。

对应到你的代码场景：

• doSomething方法声明的参数类型是List<C<? extends A>>，代表这个集合里的元素必须是C<? extends A>类型
• 你传入的实际参数是List<C<B>>，虽然单个C<B>确实符合C<? extends A>的约束，但List<C<B>>和List<C<? extends A>>不存在子类型关系，不符合参数匹配要求。

如果编译器放行这段代码，你完全可以在doSomething方法里执行stuff.add(new C<A>())——C<A>显然满足C<? extends A>的要求，但你传入的集合本质是只能存储C<B>的列表，这就直接破坏了原集合的类型约束，所以编译器从源头禁止了这种操作。

只需要给方法参数的外层List泛型增加一层上界通配符，明确告诉编译器这个集合可以存储C<? extends A>的任意子类型即可：

public static void doSomething(List<? extends C<? extends A>> stuff) { }

修改后，C<B>作为C<? extends A>的子类型，会被外层的? extends规则匹配，编译错误就会消除。

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