Czy typ parametru nie odgrywa żadnej roli?

Question

Załóżmy, że mam paczkę klasy ogólnej i metodę ogólną dostarczaną w poniższym kodzie. Metoda drukuje i zwraca x, któremu przypisano parametr typu Integer w metodzie.

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

Wewnątrz głównej wywołać metodę dostarczyć, przekazując parametr typu Parcel. Jednak nadal drukuje 100.

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

Wynika to, że rodzaj argumentu działki przekazywane w linii wydruku nie odgrywa żadnej roli, a ja spodziewałem wyjątek tutaj. Jak to działa ?

Answer 1

To, co obserwujesz, nazywa się type erasure. Parametry ogólne są używane przez kompilator w celu zapewnienia poprawności typu i nie występują w czasie wykonywania.

Generalnie nic nie stoi na przeszkodzie temu ten trick:

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

Właściwie mój oryginalny odpowiedź czasami był do tego Parcel realizacji

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

ale kluczem idea jest to samo dla <X> X deliver():

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