Почему менее соответствующий перегруженный метод называется

Question

Результат выполнения основной является:

"Collection<?>". 

Почему это не вызов метода с параметром ArrayList<Integer>?

import java.util.*; 
public final class GenericClass<T> { 
private void overloadedMethod(Collection<?> o) { 
    System.out.println("Collection<?>"); 
} 

private void overloadedMethod(List<Number> o) { 
    System.out.println("List<Number>"); 
} 

private void overloadedMethod(ArrayList<Integer> o) { 
    System.out.println("ArrayList<Integer>"); 
} 

public void method(List<T> l) { 
    overloadedMethod(l); 
} 

public static void main(String[] args) { 
    GenericClass<Integer> test = new GenericClass<Integer>(); 
    ArrayList l = new ArrayList<Integer>(); 
    test.method(l); 
} 
} 

Answer 1

Это будет соответствовать второму методу т.е. overloadedMethod(List<Number> o), если изменить Number для общего типа ?, как следующее:

private void overloadedMethod(List<?> o) { 
    System.out.println("List<?>"); 
} 

Answer 2

Поскольку l является List, единственной функцией соответствия является первым. Разрешение перегрузки выполняется во время компиляции, а не во время выполнения. Значение l не учитывается, только его тип.

Что касается языка, то, это может также быть:

List l = foo(); 
test.method(1); 

Это не важно, какое значение имеет l.

Answer 3

overloadedMethod(ArrayList<Integer> o) не подходит, так как объявленный тип параметра l является List не ArrayList и перегрузка не сделана в отношении динамических типов.

overloadedMethod(List<Number> o) не подходит, потому что аргументы общего типа не совпадают. Java не имеет ковариантных или контравариантных генериков, таких как C#, поэтому List<Number> и List<Integer> не имеют отношения к подтипу.

Лучшая перегрузка, следовательно, overloadedMethod(Collection<?> o), так как другие два не совпадают.

Answer 4

Это решение выполняется во время компиляции:

тип л Список

, но она не может быть согласован с

Список & ArrayList, потому что «Т» не совпадает с конкретным «Номер 'и' Integer '

Он может быть сопоставлен только с другим общим типом'? ' и суперкласса «Коллекция»

Так что в этом случае разрешение не определяется структурой данных, а генериками.