Aspectos de los LP. Diseño de compiladores. Estático vs. Dinámico. Estático vs. Dinámico. Scope. Scope 24/03/2015

Transcripción

1 Aspectos de los LP Diseño de compiladores Lenguajes de Programación Antes de comenzar con la construcción de un compilador, debemos comprender los conceptos basicos del lenguaje de programación con el que queremos trabajar No es el propósito cubrir todos los aspectos de todos los lenguajes de programación Estático vs. Dinámico Uno de los aspectos mas importantes a definir cuando construimos un compilador, es que decisiones puede tomar el compilador sobre el programa Estático vs. Dinámico Si el lenguaje usa una política que permite que el compilador decida sobre un asunto, entonces decimos que el compilador utiliza una política estática, o que el asunto puede ser decidido en tiempo de compilación Por el contrario, una política que solo permite decidir cuando ejecutamos, se define como dinámica, o que requiere una decisión en runtime Scope Scope El scope de una declaración X, es la región del programa en la que el uso de X, hace referencia a esta declaración También se la conoce como ámbito de un símbolo o de una declaración printf ( %d\n, x); printf( %d\n, x); void main() { b(); c(); Scope de x 1

2 Scope estático Un lenguaje usa scope estático o léxico, si mirando el programa podemos determinar el scope de un símbolo X El scope se determina siguiendo la estructura del programa Generalmente se basa en el concepto de bloques anidados Scope estático printf ( %d\n, x); // Imprime 1 printf( %d\n, x); // Imprime 2 void main() { b(); c(); main() b() c() Scope dinámico Un lenguaje utiliza scope dinámico, si con la ejecución del programa, el uso de la variable X puede hacer referencia a diferentes declaraciones de X Con scope dinámico, el uso de un nombre X, se refiere a la declaración de X, en la función mas recientemente llamada con esa declaración Scope dinámico printf ( %d\n, x); // Imprime 1 printf( %d\n, x); // Imprime 1 void main() { b(); c(); main() b() c() Scope estático y bloques Scope estático y bloques Los lenguajes tipo C utilizan scope estático La estructura del programa, determina el scope de los símbolos Lenguajes posteriores como C#, Java y C++ agregaron el concepto de modificador de acceso private, public, protected La mayoría de estos lenguajes utiliza una construcción denominada bloque para afectar el scope de los símbolos Un bloque es una agrupación de sentencias C utiliza { para definir un bloque Otros lenguajes utilizan begin end 2

3 Scope en C Scope en C Un programa en C consiste en una secuencia de declaraciones top-level de variables y funciones Las funciones pueden tener declaraciones de variables. Estas incluyen variables locales y parámetros El scope de estas declaraciones están restringidos a la función en la que están contenidos El scope de una declaración top-level de un nombre X, consiste en todo el programa, salvo aquellas funciones en donde el nombre X también haya sido declarado int x; void f() { char x; x = 3 ; x = i + 1 Es un tipo de sentencia, puede aparecer en lugar de cualquier tipo de sentencia del programa Esta formada por una secuencia de declaraciones seguida de una secuencia de sentencias El anidamiento de bloques, es lo que se conoce como estructura de bloques Decimos que una declaración D pertenece a un bloque B, si B es el bloque mas cercano que contiene a D O sea, D esta dentro de B, pero no dentro de un bloque B que se encuentre en B Esto nos permite definir reglas de scope para cuando trabajamos con bloques Si una declaración D de un nombre X, pertenece a un bloque B, entonces el scope de D, es el bloque B, incluyendo cualquier nivel de anidamiento, pero excluyendo los bloques B en los que X sea redefinida 3

4 Otro aspecto importante, es si los cambios que ocurren al ejecutar el programa, afectan los elementos de datos, o la interpretación de los nombres usados para acceder a esos datos x = y + 1 Cambia el valor denotado por x class Persona { String nombre La interpretación nombre cambia para cada instancia de la clase Nombres Environment Variables (Direcciones) Valores Environment Es una función que mapea nombres en direcciones de memoria State Es una función que mapea direcciones de memoria en valores State Control de acceso explicito Por ejemplo dos usos del nombre i int x; void f() { int i; i = 3; x = i + 1 En los lenguajes orientados a objetos, las clases introducen una nueva forma de scope para sus miembros En una clase C, el scope de un miembro X, es la clase C, junto con cualquier clase derivada, excepto si esta clase derivada redefine el miembro X Los modificadores public, private y protected afectan esto 4

5 Pasaje de parámetros Call by value Parámetros actuales (argumentos) Los que usamos en la invocación a una función Parámetros formales Los que están en la declaración de la función Nos interesa como podemos asociar ambos Tenemos dos grandes formas de hacerlo Por valor (Call by value) y por referencia (Call by reference) El parámetro actual es evaluado (si es una expresión), y su valor es copiado en el parámetro formal Es el método usado en C, Java, C# y el mas común en C++ Los parámetros actuales no se ven afectados por los cambios realizados en el procedimiento Podemos pasar por valor, la dirección de memoria de una variable Call by reference En este caso, se pasa la dirección de los parámetros actuales, colocando la misma en los parámetros formales El acceso a través de los parámetros formales, se hace siguiendo esta dirección Parámetros ref en C++ Los cambios en los parámetros formales, afectan los parámetros actuales 5