Java Raw Tipo y genéricos interacción

Question

Si tengo una clase Pila

class Stack<E> {} 

ahora si hago:

1) Stack<Integer> s = new Stack()

2) Stack s = new Stack<Integer>()

3) Stack s = new Stack()

¿alguien puede explicarme cuáles son estas interacciones (gener ic < -> raw) ¿causas?

Principalmente mi duda es en el punto 1. De hecho, si hago eso la asignación no es segura porque esa pila puede almacenar tipos distintos a Integer. Sí, pero si tengo un método push e intento almacenar un valor distinto a un Entero, el compilador me detiene ... ¿así que cuándo tendría esa operación insegura?

Answer 1

Todos ellos son inseguros porque los genéricos de Java, en virtud de type erasure, son simplemente azúcar sintáctica. Por ejemplo, esto es totalmente válida código Java:

Stack<Integer> s = new Stack<Integer>(); 
Stack<Double> s2 = (Stack<Double>)s; 
s2.push(3.3d); 

El punto de genéricos de Java es que dejar de tener que estar explícita Conversión de objetos. Eso es. No hacen nada más que eso (excepto generar compiladores y advertencias IDE).

Todavía son útiles y pueden hacer que su código sea mucho más legible y menos propenso a errores, pero en última instancia, a nivel de código de bytes, es importante comprender que no están haciendo nada.

Answer 2

Los tres son perfectamente legales, ya que no existe una diferencia de tiempo de ejecución real entre Stack y Stack<Integer>, pero los tres darán lugar a advertencias del compilador.

Stack<Integer> s = new Stack() 

Esto dará lugar a una advertencia de "conversión sin control", ya que no es seguro en general para convertir un tipo de prima a un tipo parametrizado. Sin embargo, es perfectamente seguro hacerlo en este caso: presionar Integer valores no causará ningún error; presionar valores que no sean Integer causará un error de tipo.

Stack s = new Stack<Integer>() 

Esta es una conversión legal de un tipo parametrizado a un tipo sin procesar. Podrás presionar el valor de cualquier tipo. Sin embargo, cualquier operación de este tipo dará como resultado una advertencia de "llamada sin marcar".

Stack s = new Stack() 

Una vez más, esto es legal, sin conversión implícita. Podrás presionar el valor de cualquier tipo. Sin embargo, cualquier operación de este tipo dará como resultado una advertencia de "llamada sin marcar".

También puede recibir una advertencia de "tipo sin formato" siempre que se refiera al tipo Stack.