Java delimitada limitaciones genéricas en los campos

Question

Ha habido un par de veces cuando me he sentido la necesidad de hacer algo como lo siguiente:

private <T extends Type> Map<GenericClass1<T>,GenericClass2<T>> map; 

... o algo por el estilo. Esencialmente, usando un límite idéntico en los dos argumentos para el mapa. (Este no es un ejemplo real, solo muestra la idea.)

Sé que esto (lamentablemente) no es posible y que solo está disponible en las definiciones de clases y las firmas de métodos. Mi pregunta, sin embargo, es ¿por qué no está disponible en los campos? ¿Es puramente una elección de diseño o hay alguna razón técnica detrás de la que me estoy perdiendo? He tenido una idea y no puedo ver por qué esto no debería ser posible desde una perspectiva técnica, por lo que puedo ver que todo está ahí para que el compilador lo resuelva correctamente y no se requiera ninguna información genérica en el tiempo de ejecución .

Answer 1

<T> significa UNA clase, no una clase. Cuando se instancia su objeto, T está vinculado a esta clase ONE.

Está tratando de poner dos objetos con diferentes interfaces (utilizados de forma diferente porque toman/devuelven tipos diferentes) en el mismo contenedor. Esto es un error porque cuando los sacas del contenedor (el mapa) no sabes qué fue lo que pusiste.

Espero que esta es la respuesta que estabas buscando.

Editar: Dicho esto, puede tener un contenedor que contenga miembros basados ​​en su clase, para crear automáticamente un nuevo mapa para CADA tipo de T. Entonces necesitaría saber qué era T para poder acceder a él. En general, si ya no desea la información del tipo, deséchela. Si lo hace, colocarlo en el mismo contenedor como algo de otro tipo lo arrojará de todos modos por todos los motivos prácticos.

Answer 2

Puede utilizar ? de la siguiente manera:

private List<? extends List> l = new ArrayList<List>();

espero que esto ayude.

Answer 3

Supongamos que quiere crear una instancia de su variable map. Teóricamente tendrá que escribir algo como esto:

map = new HashMap<GenericClass1<String>,GenericClass2<String>>(); 

Ok. Pero ahora lo que no tiene sentido para mí más ¿Qué argumentos aceptarán o devolverán los métodos put o get? T? Uh ... ¿qué es T? GenericClass1|2<String>? De nuevo, no tiene sentido, ¿verdad? Después de todo, no veo String en la declaración map. Así que supongo que no hay una instanciación y uso realmente correctos de esta variable genérica.

¡Salud!

Answer 4

Oh, cómo he anhelado algo como:

private <T> Map<Class<T>, T> instanceCache; 

public <T> T getInstanceOf(Class<T> clazz) { 
    return instanceCache.get(clazz); 
} 

Pero como usted ha mencionado, es completamente imposible en Java. La declaración de método anterior está bien, pero no hay forma de declarar la variable de modo que no haya un molde en el método. Simplemente agregue esto a la creciente lista de cosas que odia sobre los genéricos y continúe.