Dlaczego lista <Integer[]> listOfArrays = Arrays.asList (nowa liczba całkowita [] {1, 2}) nie kompiluje się?

Question

1) OK

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

2) OK

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

3) Błąd kompilacji Type mismatch: cannot convert from List<Integer> to List<Integer[]>

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

4) OK

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

To jest podpis dla asList: public static <T> List<T> asList(T... a)

asList oczekuje 0 lub więcej "a" typu T. My "a" jest new Integer[]{1, 2} i to jest typu Integer[]. Dlaczego więc generuje on List<Integer> zamiast List<Integer[]>? wygląd

Answer 1

Miejmy na przykład problemu (3):

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

Jak pokazały, podpis metoda jest:

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

W tym konkretnym przypadku, pojedynczy Integer[] jest rozważane dla T.... Tablicę lub nieokreśloną liczbę tego samego obiektu można dostarczyć do T.... Ponieważ podałeś jedną tablicę, T jest uważany za Integer (i T... staje się Integer[]).

Kiedy dostarczyć int[] jako pojedynczy argument (1), kompilator nie automatycznie owinąć to do Integer[] bo taki obiekt różni się od int[]. Ponieważ int nie jest obiektem, jedynym typem obiektu, który może zmieścić się T jest int[] (który buduje parametr jako int[][]).

dostarcza dwie int[] s (2) jest znacznie bardziej widoczne, co kompilator może dotyczyć tylko dwie tablice dla T... jak int[] s, co T... jest int[][].

Kiedy dostarczamy dwa Integer[] s (4.), to bardziej oczywiste, znowu, że kompilator nie ma wyboru i musi uznać dwa parametry, które tworzą T... jako Integer[] (który staje się jednym tablica: Integer[][]).

Edit: Zaopatrywanie tablicę jako vararg:

Ty może dostarczyć pojedynczą tablicę jako vararg.Weźmy przykład bez ogólna:

public int iLoveMeSomeInts(int...nums) 

doprowadzania int[] do tej metody jako argument działa. Tablica jest traktowana jako vararg z int s dla celów sprawdzania poprawności podpisu, wtedy wararg jest traktowany jako int[] dla wewnętrznej logiki metody.

Różnica w twoim przykładzie jest taka, że ​​argumentem jest T.... Ogólny obiekt musi być obiektem T , więc kompilator nie może w tym przypadku traktować wartości int[] jako wartości zmiennej z zakresu int.... Kompilator nie ma wtedy innego wyboru, jak tylko traktować int[] jako pojedynczy element w wariancie int[]... (ponieważ obiekt jest obiektem int[]). Nie ma w tym dwuznaczności.

Jednak ponieważ Integerjest obiekt, kompilator użyje pojedynczy Integer[] jak Integer....

Co jeszcze chłodniej jest taka: jeśli chcesz Integer[] zwracane przy użyciu metody w pytaniu, a wciąż tylko zasilany pojedynczą Integer[], można nazwać:

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

Zmusza kompilator traktują swój pojedynczy Integer[] jako Integer[]....