Java: ¿Qué es - público estático <T> foo() {...}?

Question

vi una función de Java que parecía algo así como esto:

public static<T> foo() {...} 

sé lo que son los genéricos, pero puede alguien explicar el en este contexto? ¿Quién decide qué es T? ¿Que está pasando aqui?

EDITAR: ¿Puede alguien por favor mostrarme un ejemplo de una función como esta.

Answer 1

Te has perdido el tipo de devolución, pero aparte de eso, es un método genérico. Al igual que con los tipos genéricos, T representa cualquier tipo de referencia (dentro de los límites, si corresponde).

Para los métodos, los parámetros genéricos son típicamente inferidos por el compilador. En determinadas situaciones, es posible que desee especificar los argumentos genéricos sí mismo, utilizando una sintaxis poco peculiar:

List<String> strings = Collections.<String>emptyList(); 

En este caso, el compilador pudiera deducir el tipo, pero no siempre es obvio si el compilador puede o puede' t. Tenga en cuenta que el <> está detrás del punto. Por razones sintácticas siempre se debe especificar el nombre del tipo o el objeto de destino.

Es posible tener constructores genéricos, pero nunca he visto ninguno en la naturaleza y la sintaxis empeora.

Creo que las sintaxis C++ y C# colocan los tipos genéricos después del nombre del método/función.

Answer 2

T es el parámetro de tipo formal que será reemplazado por el argumento real tipo utilizado en la instanciación del objeto.

Por ejemplo, aquí está la lista de definitios e Iterator en paquete java.util:

public interface List<E>{ 
    void add(E x); 
    Iterator<E> iterator(); 
} 

public interface Iterator<E>{ 
    E next(); 
    boolean hasNext(); 
} 

A continuación, puede crear una instancia de una lista de la siguiente manera:

List<String> ls = new ArrayList<String>() 

¿Dónde se puede imaginar esa lista gradas para una versión de List donde E tiene sido reemplazado uniformemente por String:

public interface StringList{ 
    void add(String x) 
    Iterator<String> iterator(); 
} 

Answer 3

El contexto es un método genérico en comparación con una clase. La variable <T> se aplica solo a la llamada del método. La clase Colecciones tiene un número de estos; la clase en sí no es genérica, pero muchos de los métodos sí lo son.

El compilador decide qué T es igual a, es igual a lo que sea que los tipos funcionen. A veces esto es más fácil que otros.

Por ejemplo, el método de static <T> Set<T> Collections.singleton(T o) el tipo se define en el parámetro:

Collections.singleton(String T) 

devolverá un Set<String>.

Algunas veces el tipo es difícil de definir. Por ejemplo, a veces no hay suficiente información para escribir Collection.emptyList(). En ese caso, puede especificar el tipo directamente: Collection.<String>emptyList().