Java generici e tipi di array, non è quello che stai pensando (ad esempio array di tipi generici)

Question

Sto cercando di specificare che una classe generica deve essere una matrice, o meglio ancora una matrice primitiva. Finora questo è quello che ho ottenuto lavorando:

interface Foo<T> { 
    void process(T data); 
} 

public class Moo implements Foo<int[]> { 
    void process(int[] data) { 
    // do stuff here 
    } 
} 

Questo è tutto il codice Java perfettamente valido e funziona perché gli array primitivi estendono oggetto. Si noti che questa domanda è completamente diversa da tutte le altre domande generiche sugli array Java che continuo a trovare. In quella situazione le persone vogliono creare un array con un tipo generico.

Il problema è che il tipo T può essere qualsiasi cosa che estende Object. Quello che voglio è quello di fare qualcosa di simile:

<T extends ONLY ARRAYS> 

o

<T extends ONLY PRIMITIVE ARRAYS>. 

è possibile?

MODIFICA: l'obiettivo finale sarebbe quello di aggiungere un controllo del tempo di compilazione sul tipo di array passato. Al momento qualsiasi oggetto vecchio può essere passato e verrà compilato correttamente. L'errore verrà rilevato solo in fase di esecuzione quando viene lanciata un'eccezione di classe cast. In realtà questo è il punto di forza di Generics in Java, per aggiungere un controllo più accurato del tipo a tempo di compilazione.

Answer 1

Non è possibile farlo. Nessuna classe può estendere un array, quindi non ci sarà mai un tipo che soddisfi il parametro generico T extends Object[]. (. Altro da sé Object[], ma allora non sarebbe utilizzando i generici)

cosa si potrebbe fare è qualcosa di simile:

public interface Foo<T extends Number> { 
    public void process(T[] data); 
} 

Ma allora si potrebbe incorrere in problemi di prestazioni con la boxe.

Answer 2

No può fare. Nessuna interfaccia "interessante" né supertipo ma oggetto esiste per array di primitive:

public class SOTEST {  
    public static void main(String[] args) throws Exception { 
     int[] arr = new int[] {}; 
     Class c = arr.getClass(); 
     for(Class clazz:c.getInterfaces()) { 
      System.out.println(clazz.getName()); 
     } 

     System.out.println(c.getSuperclass().toString()); 
    } 
} 

Answer 3

In Java, i parametri di tipo possono only essere vincolati dalla relazione sottotipo, e gli unici supertipi comuni di tutte le matrici areObject, Clonable e Serializable. Il più vicino si può ottenere è per vincolare a Object[], che è il supertipo di tutti gli array con tipi di componenti non primitive, o forse a Number[], che è il supertipo di Integer[], Long[], ...

Anche se Java ha fatto supportare un tale vincolo, come faresti qualcosa di utile con quell'array? Non è possibile leggere singoli elementi poiché non è possibile dichiarare una variabile per contenere i risultati, né scrivere elementi individuali poiché non è possibile scrivere un'espressione assegnabile a un elemento dell'array.

Detto questo, mi piacerebbe impegnare la variabile di tipo per il tipo di componente, non il tipo array:

interface Foo<T extends Whatever> { 
    void process(T[] data); 
} 

perché si può fare riferimento a T[] conoscere T, ma conoscendo un T extends Object[] non ti permettere direttamente a fare riferimento al tipo di componente.

Edit: Jeffrey fa giustamente notare che tipo di matrice non può essere utilizzato nel tipo limiti, vale a dire <T extends Whatever[]> non si compila, in modo da avere sicuramente seguire il mio consiglio di dichiarare <T extends Whatever> e utilizzare T[] per fare riferimento al tipo di matrice.

Answer 4

Le matrici di X non hanno una gerarchia di tipi. Integer [] non è una sottoclasse di Number [].

per ottenere ciò che si desidera, utilizzare il tipo di componente di matrice come tipo di parametro T, e dichiarare i parametri e tipi restituiti come array di T.