Java Generics - wywoływanie określonych metod z typów generycznych

Question

Próbuję zagłębić się głęboko w Java Generics i natknąłem się na problem opisany przez poniższy przykładowy kod.

public static void test(Object o) { 
    System.out.println("Hello Object!"); 
} 

public static void test(Integer i) { 
    System.out.println("Hello Integer!"); 
} 

public static <T> void test(Collection<T> col) { 
    for (T item : col) { 
     System.out.println(item.getClass().getSimpleName()); 
     test(item); 
    } 
} 

public static void main (String[] args) throws java.lang.Exception 
{ 
    Collection<Integer> ints = new ArrayList<>(); 
    ints.add(1); 
    test(ints); 
} 

Wyjście próbki jest

Integer 
Hello Object! 

Wszystkie typy są oczywiście znane w czasie kompilacji. O ile rozumiem, Java posiada tylko jedną skompilowaną kopię każdej metody (w przeciwieństwie do C++) i ponieważ nie ma żadnych innych ograniczeń dotyczących parametru T, jest zmuszona do wywoływania ogólnej implementacji obiektu.

Moje pytanie brzmi - czy istnieje sposób na wywołanie metody "Hello Integer" dla liczb całkowitych bez przeciążenia metody testowej dla Collection<Integer> i bez sprawdzania typu środowiska wykonawczego?

Answer 1

Nie można tego zrobić. Z powodu typu wymazania typ Collection<T> zostanie rozwiązany, aby wpisać Collection<Object>. Erasure of Generic Methods

Answer 2

Nie, nie możesz zrobić tego, o co prosisz, z powodów, które podałeś. Usunięcie typu oznacza, że ​​przeciążenie jest rozwiązywane jednokrotnie dla wszystkich zmiennych typu i musi zostać rozwiązane do obiektu.

Answer 3

Można zaobserwować to samo zachowanie bez generycznych.

Object o = new Integer(5); 
test(o); // will output "Hello Object!" 

Przeciążone metody są rozwiązywane przy użyciu informacji o czasie kompilacji, a nie w czasie wykonywania. Patrz JLS: https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.9