Non digita il parametro nessun ruolo?

Question

Supponiamo di avere un pacchetto di classe generico e un metodo generico di consegna mostrato nel codice sottostante. Il metodo stampa e restituisce x a cui è assegnato un parametro di tipo intero all'interno del metodo.

public class Parcel<T> { 
    public <X> X deliver(){ 
     X x = (X) new Integer(100); 
     System.out.println(x); 
     return x; 
    } 
} 

All'interno del sistema principale chiamo il metodo di consegna passando un parametro di tipo Parcel. Tuttavia esso stampa ancora 100.

public static void main(String args[]) { 
    Parcel<String> parcel = new Parcel<>(); 
    System.out.println(parcel.<Parcel> deliver()); 
} 

Ciò consegue che il tipo di argomento Parcel passato nella linea di stampa non gioca alcun ruolo, e mi aspettavo un'eccezione qui. Come funziona ?

Answer 1

Quello che si osserva è chiamato type erasure. I parametri generici vengono utilizzati dal compilatore per garantire la correttezza del tipo e non sono presenti in fase di esecuzione.

In generale nulla vi impedisce di fare questo trucco:

List<Integer> list = new ArrayList<>(); 
list.append(""); // produces compiler error 

// just drop that "useless" generic argument 
List erased = (List) list; 
erased.append(""); // works fine 

EDIT

In realtà la mia risposta originale a volte è stato per questo Parcel implementazione

public class Parcel<T> { 
    public T deliver(){ 
     T x = (T) new Integer(100); 
     System.out.println(x); 
     return x; 
    } 
} 

Ma l'idea chiave è lo stesso per <X> X deliver():

Object parcel = parcel.<Parcel> deliver(); // erased, works ok 
Parcel parcel = parcel.<Parcel> deliver(); // java.lang.ClassCastException