Java List在初始化期间是否表现为协变类型？

Question

我知道Java中的列表是不变的.

所以下面的第二个语句给出了预期的编译错误

    List<Integer> integers = Arrays.asList(1, 2, 3);
    List<Number> numbers = integers;

但是,所有这些都很好

    List<Integer> numbers1 = Arrays.asList(1, 2, 3);
    List<? extends Number> numbers2 = Arrays.asList(1, 2, 3);
    List<Number> numbers3 = Arrays.asList(1, 2, 3);

所以我的问题是上面的最后一个语句是如何编译的？

我理解Arrays.asList()接受来自其调用者的类型,但我认为将Arrays.asList(1,2,3)解析为最接近的类型List<Integer>并将其设置为List<Number>不会编译,因为列表是不变的.

我错过了什么？

Answer 1

这里不存在协方差。相反，Java 编译器使用调用的上下文来Arrays.asList<T>推断程序想要为方法调用指定的类型。T

在 Java 8 之前，您可以显式指定类型，例如

List<Integer> numbers1 = Arrays.<Integer>asList(1, 2, 3);
List<? extends Number> numbers2 = Arrays.<? extends Number>asList(1, 2, 3);
List<Number> numbers3 = Arrays.<Number>asList(1, 2, 3);

注意上面的代码片段如何在赋值的两侧重复类型T，J​​ava 编译器设置推理规则T从赋值的左侧传播到右侧，从而消除了重复。

参考：类型推断教程。