Java中返回List<Class<? extends T>>的方法为何编译失败？

核心问题根源：泛型不变性与类型捕获 #

1. 编译器对lambda返回类型的捕获处理 #

当你在map中调用asSubclass(Authenticator.class)时，该方法返回的类型是Class<? extends Authenticator>，但编译器会将这个通配符捕获为一个具体的类型变量（比如CAP#1 extends Authenticator）。因此，map操作后的Stream元素类型实际是Class<CAP#1>，而非你直觉中的Class<? extends Authenticator>。

2. List的不变性导致类型不匹配 #

Stream.toList()会返回List<Class<CAP#1>>，而Java的List是不变类型——也就是说，即使Class<CAP#1>是Class<? extends Authenticator>的子类型，List<Class<CAP#1>>也不能直接赋值给List<Class<? extends Authenticator>>。

编译器认为这种赋值不安全的原因是：如果允许这样做，后续你可以向返回的列表中添加另一个Class<CAP#2 extends Authenticator>类型的元素，而原列表List<Class<CAP#1>>只能容纳Class<CAP#1>类型的元素，这会破坏类型安全。

3. 通配符协变解决类型匹配问题 #

当你将返回类型改为List<? extends Class<? extends Authenticator>>时，这个类型属于协变类型，它表示“元素类型是Class<? extends Authenticator>的某个子类型的列表”。List<Class<CAP#1>>正好符合这个描述（因为Class<CAP#1>是Class<? extends Authenticator>的子类型），因此编译器允许赋值。

这种写法安全的原因是：List<? extends ...>禁止向列表中添加任何非null元素，从根本上避免了类型安全风险。

关于Class是final类的说明 #

即便Class是final类，? extends Class<...>在语法上无实际意义，但编译器只会严格遵循泛型类型系统的规则，不会因为实际类型没有子类型就特殊处理方差逻辑。

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