generici Java, interfacce e vincoli di tipo

Question

dato un'interfaccia generica:

public interface I<E> { 
    public int interfaceMethod(E s); 
} 

e una classe generica che implementa l'interfaccia

public class A<T> implements I<T> { 

    private T val; 

    public A(T x) { 
     val = x; 
    } 

    public int interfaceMethod(T val) { 
     // looks like T should be of the same type as instance variable 'val' 
     return 0; 
    } 

} 

perché fa i seguenti lavori?

public class Run { 

    public static void main(String[] args) { 

     A a = new A<String>("hello"); 

     System.out.println(a.interfaceMethod(100)); \\ returns 0 
    } 
} 

previsto Il parametro T tipo di metodo interfaceMethod come definito in class A per vincolare il metodo di argomenti che hanno lo stesso tipo di quello fornito al costruttore di A. (in questo caso String).

Perché lo a.interfaceMethod non richiede un argomento di tipo String?

Answer 1

Mentre le altre risposte spiegavano che normalmente dovrebbe apparire un avviso del compilatore. La spiegazione che stavo cercando è arrivata sotto forma di link to a previous post fornita da @JB Nizet.

T t = new T<S>()

non è la stessa

T<S> t = new T<S>()

Il primo è un esempio di un tipo grezzo . Ero interessato a perché il funziona (ad esempio ... se compila e non genera un errore di runtime), allora deve esserci qualcosa.

Le risposte di questo post sono dettagliate e spiegano esattamente perché questo compila (lunga storia, compatibilità con le versioni precedenti). Il post va in dettaglio e spiega le implicazioni per il sistema di tipi di Java.

Answer 2

Questo accade perché hai ignorato l'avvertimento "l'uso crudo di parametro a" (o qualcosa di simile)

Usa:

A<String> a = new A<String>("hello"); 

Quando ignorando gli avvertimenti relativi generici il codice può compilare quando non dovrebbe .

Answer 3

Questo funziona perché a esempio viene digitato per A classe solo
Si dovrebbe digitare in questo modo:

A<String> a = new A<String>("hello"); 

Se voi non specifica il parametro, si sarà in grado di mettere lì tutti i tipi di dati come String , int ecc.