Presentación Aguada

Escribe un subtítulo aquí

COMPROBACION DE TIPOS

El lado derecho especifica un valor entero, mientras que el lado izquierdo especifica en donde se va almacenar el valor. Estos terminos se refieren a como 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 de tipos asegura que el tipo de una construcción coincida con lo que espera su contexto.

Hay una diferencia entre los identificadores a la izquierda y lado derecho de una asignación como: i=5;i=i + 1;

L-VALUE Y R-VALUE

Las reglas de comprobación de tipos siguen la estructura operador/operando de la sintaxis abstracta. 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 booleanoLa idea de relacionar los tipos actuales con los esperados se sigue aplicando, aún en las siguientes situaciones: • Coerciones. Una coerción 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 trans- formació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. • Sobrecarga. 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 +.

2.8.4 Código de tres direcciones 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.