为什么 List<Integer[]> listOfArrays = Arrays.asList(new Integer[]{1, 2}) 无法编译？ [复制]

Question

1) 好的

List<int[]> listOfArrays1 = Arrays.asList( new int[]{1, 2} );

2) 好的

List<int[]> listOfArrays2 = Arrays.asList( new int[]{1, 2}, new int[]{3, 4} );

3) 编译错误Type mismatch: cannot convert from List<Integer> to List<Integer[]>

List<Integer[]> listOfArrays3 = Arrays.asList( new Integer[]{1, 2} );

4) 好的

List<Integer[]> listOfArrays4 = Arrays.asList( new Integer[]{1, 2},  new Integer[]{3, 4} );

这是asList的签名：public static <T> List<T> asList(T... a)

asList 需要 0 个或多个 T 类型的“a”。我的“a”是 new Integer[]{1, 2}，它的类型是 Integer[]。那么，为什么它会生成List<Integer> 而不是List<Integer[]>？

Answer 1

我们来看问题示例(3rd)：

List<Integer[]> listOfArrays3 = Arrays.asList( new Integer[]{1, 2} );

如您所见，方法签名是：

public static <T> List<T> asList(T... a)

在这种特殊情况下，单个Integer[] 被考虑用于T...。可以将数组或未指定数量的相同对象提供给T...。由于您指定了一个数组，因此T 被视为Integer（而T... 变为Integer[]）。

当您提供int[] 作为单个参数(1st) 时，编译器不会自动将其包装到Integer[]，因为这样的对象不同于int[]。因为int 不是对象，所以唯一适合T 的对象类型是int[]（它将参数构建为int[][]）。

提供两个int[]s (2nd) 更明显，因为编译器只能将T... 的两个数组视为int[]s，因此T... 也是@987654341 @。

当你提供两个Integer[]s (4th)时，更明显的是编译器别无选择，只能将组成T...的两个参数视为Integer[]（变成一个数组：Integer[][])。

编辑：将数组作为可变参数提供：

您可以提供单个数组作为可变参数。让我们举一个没有泛型的例子：

public int iLoveMeSomeInts(int...nums)

为此方法提供int[] 作为参数确实有效。该数组被视为ints 的vararg 用于验证签名，然后该vararg 被视为int[] 用于方法的内部逻辑。

您的示例中的不同之处在于参数是T...。泛型 T 必须 是一个对象，因此在这种情况下，编译器不能将 int[] 视为 int... 的可变参数。然后编译器别无选择，只能将int[] 视为int[]... 的可变参数中的单个元素（因为int[] 是一个对象）。这一点没有歧义。

但是，因为Integer 是一个对象，编译器将使用单个Integer[] 作为Integer...。

更酷的是：如果您希望使用相关方法返回一个Integer[]，但仍然只提供一个Integer[]，您可以调用：

Arrays.<Integer[]>asList(new Integer[] {1, 2});

这会强制编译器将您的单个 Integer[] 视为 Integer[]...。