Java泛型好奇心

Question

我有一个接口A ， B类实现。

以下通用方法有效

public static <T, U extends T> List<T> listFactory(Collection<U> source) {
    return new ArrayList<T>(source);
}

但

public static <T> List<T> listFactory(Collection<? extends T> source) {
    return new ArrayList<T>(source);
}

当我将输出定向到时，不会（编译错误，类型不匹配）

List<A> tester = listFactory(B.defaultCollectionFactory(3));

defaultCollectionFactory(int count)静态提供B s的集合，具有默认的标签方案。

关于为什么会这样的任何见解？ 看起来普通的U和通配符正在做同样的事情。

Answer 1

编译器推断listFactory方法的类型参数与您预期的不同。 它推断T是B ，因此签名实际上是List<B> listFactory(Collection<? extends B> source) 。 通过在方法调用中显式指定类型参数A ：

List<A> tester = Test.<A> listFactory(B.defaultCollectionFactory(3));

Answer 2

在第一个构造中，您指定要返回传入的项的接口的List 。指定传入的Object与U extends T方向的返回Object类型之间的关系。 在这种情况下，编译器可以分别A和B与T和U相关联。

在第二种情况下，没有这种区别，因此编译器假定T指向B并将返回值键入List<B> 。 然后进入陷阱，尽管B是A的实例，但List<B>不是List<A>的实例。 编译器会抱怨：

类型不匹配：无法从List <B>转换为List <A>

您将发现，使用第一个构造，您可以自由地指定B实现的任何接口的List或B层次结构中的任何超类（例如， List<Object> ），并且编译器不会抱怨。