Java tipos genéricos y de matriz, no es lo que está pensando (por ejemplo, matrices de tipos genéricos)

Question

Estoy tratando de especificar que una clase genérica tiene que ser una matriz, o mejor aún una matriz primitiva. Hasta el momento esto es lo que tengo trabajo:

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

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

Este es todo el código Java perfectamente válido y funciona porque las matrices primitivas objeto extendido. Tenga en cuenta que esta pregunta es completamente diferente de todas las demás preguntas genéricas de matriz de Java que sigo encontrando. En esa situación, la gente quiere crear una matriz de un tipo genérico.

El problema es que el tipo T puede ser cualquier objeto que extienda Object. Lo que quiero es hacer algo como:

<T extends ONLY ARRAYS> 

o

<T extends ONLY PRIMITIVE ARRAYS>. 

¿Es posible?

EDITAR: El objetivo final sería agregar una verificación de tiempo de compilación en el tipo de matriz que se está transfiriendo. En este momento se puede pasar cualquier objeto antiguo y se compilará muy bien. El error solo se encontrará en el tiempo de ejecución cuando se lanza una excepción de lanzamiento de clase. De hecho, este es el objetivo de Generics en Java, para agregar una comprobación de tipo de tiempo de compilación más fuerte.

Answer 1

No puede hacer esto. Ninguna clase puede extender una matriz, por lo que nunca habrá un tipo que satisfaga el parámetro genérico T extends Object[]. (. Aparte de Object[] sí, pero entonces no estaría utilizando los genéricos)

Lo que podría hacer es algo como esto:

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

Pero entonces usted podría tener problemas de rendimiento con el boxeo.

Answer 2

No se puede hacer. No existe ninguna interfaz de "interesante" ni ningún supertipo pero Objeto para las matrices de primitivas:

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

En Java, los parámetros de tipo pueden only verse limitada por la relación subtipo, y las únicas supertipos comunes de todas las matrices areObject, Clonable y Serializable. Lo más cerca que se puede conseguir es constreñir a Object[], que es el supertipo de todas las matrices con los tipos de componentes no primitivos, o posiblemente a Number[], que es el supertipo de Integer[], Long[], ...

Incluso si Java hizo admite tal restricción, ¿cómo haría algo útil con esa matriz? No se pudieron leer elementos individuales ya que no se puede declarar una variable para contener los resultados, ni escribir elementos individuales ya que no se puede escribir una expresión que se pueda asignar a un elemento de matriz.

Dicho esto, me ato la variable tipo al tipo de componente, no el tipo de matriz:

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

porque se puede hacer referencia a T[] saber T, pero sabiendo un T extends Object[] no le permite directamente a consulte el tipo de componente.

Edición: Jeffrey señala correctamente que el tipo de matriz no puede ser utilizado dentro de los límites de tipo, es decir <T extends Whatever[]> no compila, por lo que definitivamente tiene que seguir mi consejo de declarar <T extends Whatever>T[] y utilizar para referirse al tipo de matriz.

Answer 4

Las matrices de X no tienen una jerarquía de tipos. Entero [] no es una subclase de Número [].

para conseguir lo que desea, utilice el tipo de componente de matriz como su parámetro de tipo T, y declaran los parámetros y tipos de devolución como matrices de T.