Necesito saber si Java tiene algún constructor que no pueda hacer verificación de tipo de dato de forma estática y que es lo que hace, si hace la verificación de forma dinámica o deja la construcción sin verificación durante la ejecución.
2 respuestas
La verificación de tipos se realiza en tiempo de compilación, luego se generan los bytecodes que son interpretados por la máquina virtual de Java (JVM). Existe una instrucción de la JVM que podría acercarse al comportamiento que preguntas, la cual es invokedynamic
. En este blog hay una explicación muy detallada y extensa.
-
El artículo data del 2008. Esta información creo que es muy antigua– user227Commented el 18 jun. 2016 a las 18:48
El compilador, una vez ha validado el código Java, lo convierte a bytecode y elimina la información que tenía sobre el tipo de dato de los objetos (type erasure). En tiempo de ejecución no se dispone de la información suficiente para saber de qué tipo era un objeto, por lo que es frecuente que ciertas operaciones de casting se hagan a ciegas y con bastante posibilidad de que fallen:
String[] strings = new String[10];
Object[] objects = strings;
objects[0] = new Object(); //<-- java.lang.ArrayStoreException
Creo que esto contesta a la última pregunta: los tipos de datos no se pueden verificar dinámicamente en tiempo de ejecución. En cuanto a si hay algún constructor cuyo tipo no se pueda verificar en tiempo de compilación, supongo que te refieres a algún tipo genérico. Java no cuenta con inferencia de tipos como otros lenguajes, por lo que todo tiene que tener definido su tipo en tiempo de compilación, incluso las expresiones lambda en java8 que dan la impresión de no usar tipos.
Otra cosa a considerar sería la seguridad de tipos (type safety). Aunque el compilador valide tipos, es muy posible que tampoco cuente con toda la información para asegurar que el tipo de una operación sea el correcto. Desde las propias implementaciones se deben reforzar esta seguridad impidiendo operaciones externas. Por ejemplo, la clase BigDecimal
no permite operaciones que den resultados no representables por ella misma:
BigDecimal a = new BigDecimal(3);
BigDecimal b = BigDecimal.ONE.divide(a); // <- java.lang.ArithmeticException
Lo ideal hubiera sido que el compilador tuviera la información necesaria para validar el tipo resultante de estos cálculos. Esto es lo que se intenta hacer en scala con su nuevo compilador, dotty, que puede hacer comprobaciones complejas de tipos a partir de un lenguaje de definición de tipos llamado DOT (Dependent Object Types).
Editado: a partir del comentario de @Luiggi-Mendoza, voy a poner un código similar, pero específico de type-erasure, sin usar arrays:
Vector<String> strings = new Vector<String>(10);
Vector objects = strings;
objects.add(new Object());
Object anObject = strings.get(0);
String aString = strings.get(0);
Este código "compila", dando error en tiempo de ejecución en la última línea. Explicado línea a línea:
Creación de un vector de Strings
:
Vector<String> strings = new Vector<String>(10);
casting a vector genérico:
Vector objects = strings;
Como objects
es un vector genérico, no da error al añadir un objeto:
objects.add(new Object());
Al extraer un elemento del vector, no se produce error de conversión porque el compilador ha eliminado toda conversión implícita a String
por eficiencia:
Object anObject = strings.get(0);
Por contra, si queremos convertirlo a String
dará error porque ha perdido información del tipo genérico inicial que tenía el Vector<String>
:
String aString = strings.get(0); // <-- java.lang.ClassCastException:
// java.lang.Object cannot be cast to java.lang.String
-
1En el primer párrafo se mezclan varias cosas. Primero que nada, Java es un lenguaje de tipado estático, sí se conocen los tipos de los datos con antelación, por ende el compilador lanza errores cuando no puede determinar si se está usando el tipo de dato correcto. En tiempo de ejecución, todas las operaciones que hacen uso de genéricos sufren del borrado de tipo (type erasure), pero esto no aplica a los arreglos como lo haces en ese ejemplo. Ese caso de los arreglos es un problema mayor en el diseño de Java de covarencia en los objetos y no en los genéricos.– user227Commented el 18 jun. 2016 a las 18:44
-
Tienes razón. Luiggi. Voy a ver si lo puedo hacer mejor. Commented el 19 jun. 2016 a las 11:47
new ClaseX
que la instancia devuelta no sea de tipoClaseX
sino de tipoClaseY
, por poner un ejemplo?