Java Generics - richiamo di metodi specifici da quelli generici

Question

Provo a immergermi profondamente in Java Generics e mi sono imbattuto in un problema descritto dal seguente codice di esempio.

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); 
} 

L'uscita del campione è

Integer 
Hello Object! 

Tutti i tipi sono ovviamente noti al momento della compilazione. Per quanto ho capito, Java contiene solo una singola copia compilata di ciascun metodo (a differenza di C++) e poiché non vengono forniti altri vincoli sul parametro T, è costretto a chiamare l'implementazione generica dell'oggetto.

La mia domanda è - esiste un modo per chiamare il metodo "Hello Integer" per i numeri interi senza sovraccaricare il metodo di prova per Collection<Integer> e senza utilizzare il controllo del tipo di runtime?

Answer 1

Non è possibile. A causa del tipo di cancellazione del tipo Collection<T> verrà risolto il tipo Collection<Object>. Erasure of Generic Methods

Answer 2

No, non puoi fare quello che chiedi, per le ragioni che hai dato. La cancellazione del tipo indica che il sovraccarico viene risolto una volta per tutte le variabili di tipo e deve essere risolto su Oggetto.

Answer 3

È possibile osservare lo stesso comportamento senza generici.

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

I metodi di overload sono risolti utilizzando le informazioni sul tipo in fase di compilazione anziché in fase di esecuzione. Vedi JLS: https://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.9