Presentación Iterativa 1.3

Instituto Tecnologico Superior de LoretoMateria: Lenguajes y Automatas IITema: Comprobaciones de tipos en expresiones.Ing. Alberto Romo MorenoAlumna: Ingrid Monserrat Calzada Ramirez

Conclusion

Código de tres direcciones

Sobrecarga

Coerciones

Comprobación de tipos

L-value y R-value

Comprobación de tipos

Las reglas sobre los tipos de un lenguaje aseguran que un operador o función se aplique al número y tipo de operandos correctos. Si es necesaria la conversión entre tipos, por ejemplo, cuando se suma un entero a un número de punto flotante, entonces el comprobador de tipos puede insertar un operador en el árbol sintáctico para representar esa conversión.

Comprobación de tipos

Hay una diferencia entre el significado de los identificadores a la izquierda y el lado derecho de una asignación. En cada una de las siguientes asignaciones: i = 5; i = i + 1; el lado derecho especifica un valor entero, mientras que el lado izquierdo especifica en dónde se va a almacenar el valor. Los términos l-value y r-value se refieren a los valores que son apropiados en los lados izquierdo y derecho de una asignación, respectivamente. Es decir, los r-value son lo que generalmente consideramos como "valores", mientras que los l-value son las ubicaciones. La comprobación estática debe asegurar que el lado izquierdo de una asignación denote a un l-value. Un identificador como i tiene un l-value, al igual que un acceso a un arreglo como a[2]. Pero una constante como 2 no es apropiada en el lado izquierdo de la asignación, ya que tiene un r-value, pero no un value.

L-value y R-value

ocurre cuando el tipo de un operando se convierte en forma automática al tipo esperado por el operador. En una expresión como 2 3.14, la transformación usual es convertir el entero 2 en un número de punto flotante equivalente, 2.0, y después realizar una operación de punto flotante con el par resultante de operandos de punto flotante. La definición del lenguaje especifica las coerciones disponibles. Por ejemplo, la regla actual para rel que vimos antes podría ser que E.tipo y E2.tipo puedan convertirse al mismo tipo. En tal caso, sería legal comparar, por decir, un entero con un valor de punto flotante.

Coerciones

La comprobación de tipos asegura que el tipo de una construcción coincida con lo que espera su contexto. Las reglas de comprobación de tipos siguen la estructura operador/operando de la sintaxis abstracta. Suponga que el operador rel representa a los operadores relacionales como <=. La regla de tipos para el grupo de operadores rel es que sus dos operandos deben tener el mismo tipo, y el resultado tiene el tipo booleano.

Comprobación de tipos

El operador + en Java representa la suma cuando se aplica a enteros; significa concatenación cuando se aplica a cadenas. Se dice que un símbolo está sobrecargado si tiene distintos significados, dependiendo de su contexto. Por ende, + está sobrecargado en Java. Para determinar el significado de un operador sobrecargado, hay que considerar los tipos conocidos de sus operandos y resultados. Por ejemplo, sabemos que el + en z = x + y es concatenación si sabemos que cualquiera de las variables x, y oz es de tipo cadena. No obstante, si también sabemos que alguna de éstas es de tipo entero, entonces tenemos un error en los tipos y no hay significado para este uso de +.

Sobrecarga

Una vez que se construyen los árboles de sintaxis, se puede realizar un proceso más detallado de análisis y síntesis mediante la evaluación de los atributos, y la ejecución de fragmentos de código en los nodos del árbol. Para ilustrar las posibilidades, vamos a recorrer árboles sin- tácticos para generar código de tres direcciones. En específico, le mostraremos cómo escribir funciones para procesar el árbol sintáctico y, como efecto colateral, emitir el código de tres direcciones necesario. El código de tres direcciones es una secuencia de instrucciones de la forma x = y op z en donde x, y y z son nombres, constantes o valores temporales generados por el compilador; y op representa a un operador. Manejaremos los arreglos usando las siguientes dos variantes de instrucciones: x [y]=z x = y [z]

Código de tres direcciones

Las comprobaciones de tipos en expresiones son fundamentales para garantizar la correcta ejecución y seguridad en programas de software. Al asegurarse de que los tipos de datos coincidan con lo esperado, se pueden evitar errores en tiempo de ejecución que podrían llevar a fallos del programa o comportamientos inesperados. Como pudimos ver comprobar que los operadores sean usados correctamente depende de que el programa funcione correctamente, es indispensable comparar datos para saber de que tipo son para usarlos de manera correcta o poder clasificarlos.

Conclusion