java - 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在赋值的两边，Java 编译器设置推理规则来传播 T从任务的左侧到右侧，消除重复。

引用:Type Inference Tutorial .