Nombres, Ligaduras, Chequeo de Tipos y Alcance Luis Garreta lgarreta@unicauca.edu.co (Basados en el libro de Robert Sebesta) 1 Nombres, Ligaduras, Chequeo de Tipos y Alcance • • • • • • • • • • Nombres Variables El concepto de ligadura (Binding) Chequeo de Tipos Tipado Fuerte (Strong Typing) Compatibilidad de Tipos Alcance, Alcance y Tiempo de vida (lifetime) Ambientes de Referencia Designación de Constantes Inicialización deVariables 2 Introducción • Asunto Fundamental: semantica de variables • Lenguajes Imperativos son abstracciones de la arquitectura Von Neumann: – Memoria – Procesador • Variables caracterizadas por atributos: – Tipo: para el diseño, alcance, lifetime, chequeo de tipos, inicialización y compatibilidad de tipos 3 Nombres • Características de diseño: – Longitud, conectores, sensibilidad mayúsculas, palabras especiales (palabras reservadas, palabras claves : keyword) • Palabras Especiales – Ayuda en la legibilidad; usadas para delimitar o separar clausulas de declaraciones – Def: Una palabra clave es una palabra que es especial solo en ciertos contextos – Desventaja: pobre legibilidad – Def: Una palabra reserveda es una palabra que no puede ser usada como nombre definido por el usurio. 4 Variables: Definicion • Abstracción de una celda de memoria. • Sextupla de atributos: – nombre, dirección, valor, tipo, duración, alcance. • Nombre – No todas tienen uno (anónimas) 5 Variables : Dirección • Dirección de memoria con la cual se asocia (también llamada l­valor) – Una variable puede tener diferentes direcciones en diferentes tiempos durante la ejecución. – Una variable puede tener diferentes direcciones en diferentes lugares en un programa. – Alias : • Si dos nombres de variables se usan para acceder a la misma localización de memoria. • Alias son negativos para la legibilidad (programador debe recordar todos ellos) • Creación de alias: Punteros, referencias, uniones C/C++ y a través de parámetros. 6 Variables: Tipo, Valor, Celda • Tipo: – Determina su rango de valores – Determina el conjunto de operaciones definidas para valores de ese tipo. – En los flotantes, el tipo también determina la precisión. • Valor: – El contenido de la localización con la cual las variables son asociadas. • Celda de Memoria Abstracta – La celda física o colección de celdas asociadas a una variable 7 Ligadura: Definición Ligadura: Asociación del l­valor con el r­valor • El l­valor de una variables es su dirección • El r­valor de una variable es su valor • Tiempo de ligadura: – Es el tiempo en el cual la ligadura tiene lugar 8 Ligadura: Tiempos de Enlace Pósibles tiempos de enlace: – Diseño del lenguaje – ej., liga simbolos de operadores a operaciones. – Implementación del Lenguaje – ej.: liga tipos punto flotante a una representación. – Tiempo de Compilación –ej.: liga una variable a un tipo (C/C++,Java) – Tiempo de Carga –ej.: liga una variable a una celda de memoria (static en C) – Tiempo de Ejecución –ej.: liga una variable local no estática a una celda de memoria (Python). 9 Ligadura: Estática y Dinámica • Ligadura es estática si ocurre antes de la ejecución y permanece igual a través de la ejecución • Ligadura es dinámica si ocurre primero durante la ejecución y puede cambiar durante la ejecución. 10 Ligadura: Tipos • Tipos de ligaduras – ¿Cómo es especificado un tipo? – ¿Cuando la ligadura tiene lugar? – Si es estática, ¿el tipo puede ser especificado por una declaración explicita o implicita? 11 El Concepto de ligadura (V) • Def: Una declaración explicita es una declaración de programa usada para declarar tipos de variables. • Def: Una declaración implicita es un mecanismo por defecto para especificar tipos de variables (primera aparición de variable en el programa) • Ej: Python, Oz, BASIC, y Perl brindan declaraciones implicitas – Ventajas: escritura (writability) – Desventaja: confiabilidad, problemas en ejecución. 12 El Concepto de ligadura (VI) • Ligadura de Tipos Dinámica (Python, Oz, PHP) • Se específica a través de la declaración de asignación: ls = [2, 4, 6] ls = 17.3 # ls es una lista # Ahora, ls es real • Ventajas: flexibilidad (unidades de programas genéricas) • Desventajas: - Alto costo (Chequeo de tipos dinámicos e interpretación) - Detección de errores complicada y en tiempo de ejecución 13 El Concepto de ligadura (VII) • Storage Binding & Tiempo de vida (lifetime) – Asignación – obtener celda desde un banco de celdas. – Desasignación – regresar la celda al repositorio • Def: El tiempo de vida de una variable es el tiempo durante el cual la variable está ligada a una celda particular 14 Tiempo de Vida(I) • Categorias de variables por tiempo de vida: – Estática: ligada a la celda de memoria antes que la ejecución inicie y sigue ligada a la misma celda a lo largo de la ejecución. (Ej: Variables static en C) - Ventajas: eficiencia (direccionamiento directo), soporte de subprogramas sencitivos a la historia. - Desventajas: perdida de visión (¿Quién la modifica, cuando? 15 Tiempo de Vida(II) • Categorias de variables por tiempo de vida: – Stack­dynamic: almacenamiento de ligaduras son creadas para las variables cuando estas son elaboradas. • • • • Ej: variables locales subprogramas C y métodos JAVA/C++ Ventajas: permite recursión, conserva almacenamiento Desventajas: costos de asignación/desasignación Referencias ineficiente (Direccionamiento indirecto) 16 Tiempo de Vida(III) Categorías de variables por tiempo de vida: • Heap dinámico explicito: Asignadas y desasignadas por directivas explicitas, especificadas por el programador, las cuales tienen efecto durante la ejecución. – Referenciadas sólo a través de punteros y referencias – Ej: Objetos dinámicos en C++ (new/delete), todos los objetos en Java – Ventajas: brinda manejo de almacenamiento dinámico. – Desventajas: ineficiente y poco fiable (Confianza en el programador) 17 Tiempo de Vida(IV) Categorías de variables por tiempo de vida: • Heap dinámico implicito: Asignación y desasignación causada por declaraciones de asignación. – Ej: Variables en Python y oz, arreglos y strings en Perl. – Venjajas: Flexibilidad – Desventajas: • Ineficiente : todos los atributos son dinámicos • Perdida de detección de errores 18 Chequeo de Tipos (I) • Def: Chequeo de Tipos: operandos y operadores sean de tipos compatibles. • Def: Tipo Compatible: – – – – Es legal para el operador Legal bajo reglas del lenguaje (Conversión) Coerción: Compilador convierte implicitamente Casting: Programador convierte explicitamente. • Error de Tipo: Mala aplicación de operadores a operandos de tipo inapropiado 19 Tipado Fuerte • Ventajas del tipado fuerte: permite la detección del mal manejo de variables que resultan en errores de tipo. • Ejemplos de Lenguajes: – C / C++: No es. Void pointers. Uniones no se chequea tipos. – Java : (Casi) Fuertemente Tipado. 20 Compatibilidad de Tipos • Nuestro interés será en datos estructurados • Def: Compatibilidad de tipo por nombre: dos variables tienen compatibilidad de tipos si están en la misma declaración o en diferentes declaraciones con el mismo nombre de tipo. • Fácil de implementar pero altamente restricitiva: – Subrangos de tipos enteros no son compatibles con tipos enteros. – Parámetros formales deben ser del mismo tipo que sus correspondientes parámetros actuales (Pascal) 21 Compatibilidad de Tipos • Def: Compatibilidad de tipos por estructura: dos variables tienen compatibilidad de tipos si sus tipos tienen identicas estructuras. • Más flexible, pero díficil de implementar. 22 Compatibilidad de Tipos • Considere el problema de tipos estructurados: – ¿Dos tipos registro son compatibles si su estructura es la misma pero tienen diferentes nombres? – ¿Dos tipos de arreglos son compatibles si son los mismos excepto que los subídices son diferentes? (e.g. [1..10] and [0..9]). – ¿Dos tipos enumerados son compatibles si sus componentes son escritos de forma diferente? – Con compatibilidad de tipos estructurada, usted no puede diferenciar entre tipos de la misma estructura (e.g. diferentes unidades de velocidad, ambas float) 23 Compatibilidad de Tipos • Ejemplos en lenguajes: – C: por estructura, excepto para registros, de nombre – Java: por nombre, por estructura (clases) 24 Alcance (Ambito, Scope) • Def: el alcance de una variable es el rango de las declaraciones sobre la cual esta es visible • Def: Las variables no locales de una unidad de programa son esas que son visibles pero no declaradas alli. • Las reglas de alcance de un lenguaje determinan como las referencias a nombres son asociadas con variables. 25 Alcance(I) • Alcance estático – Basado en texto del programa – Para conectar una referencia de nombre a una variable, usted (o el compilador) deben encontrar la declaración – Proceso de Búsqueda: búsqueda de declaraciones, primero localmente, después en ambitos cerrados más grandes, hasta que uno es encontrado por el nombre dado. 26 Alcance(II) • Variables pueden ser escondidas de una unidad teniendo una variable “mas cercana” con el mismo nombre. • C++, Java permiten aceso a estas variables “escondidas” – C++: nombre clase::nombre – Python: archivo.nombre – Java: nombre clase.nombre (Solo si es estática) 27 Alcance(III) • Bloques: – Método para crear ambitos estáticos dentro de unidades de programas – Ejemplos: C, C++, Java for (...) { int index; ... } Oz declare tmp1 in; end 28 Alcance • Evaluación para Alcance Dinámico • Ejemplo: Asuma MAIN llama A y B A llama C y D B llama A y E 29 Ejemplo Alcance Estático MAI N MAI N A C A B D C B D E E 30 Ejemplo Alcance Estático MAIN A C MAIN B D A E C B D E 31 Alcance • Alcance Dinámico: – Basado en secuencias de llamado de unidades de programas, no su organización textual (temporal versus espacial) – Referencias a variables son conectadas a declaraciones buscando hacia atrás a través de la cadena de llamados de subprogramas que fuerzan la ejecución en este punto. 32 Ejemplo Alcance MAIN ­ declaración de x SUB1 ­ declaración de x ­ ... call SUB2 ... SUB2 ... ­ referencia to x ­ ... MAIN llama SUB1 SUB1 llama SUB2 SUB2 usa x ... call SUB1 … 33 Ejemplo Alcance • Alcance estático: – Referencia a x es hacia la x del MAIN • Alcance dinámico: – Referencia a x es hacia la x de SUB1 • Evaluación del Alcance dinámico: – Ventajas: conveniencia – Desventajas: pobre legibilidad 34 Alcance y Tiempo de Vida • Alcance y Tiempo de vida (lifetime) están algunas veces muy relacionado, pero son dos conceptos diferentes. • Considere una variable static en una función C/C++ 35 Ambientes de Referencia • Def: El ambiente de referencia de una declaración es la colección de todos los nombres que son visibles en una declaración. • En un lenguaje de alcance estático, este es las variables locales más todas las variables visibles en todos los ambitos que lo encierran. • Un subprograma es activo si su ejecución ha comenzado pero aún no ha terminado. • En un lenguaje de alcance dinámico, el ambiente de referencia es las variables locales mas todas las variables visibles en todos los subprogramas activos. 36 Inicialización de Variables • Def: La ligadura de una variaba a su valor al tiempo en que esta es ligada a almacenamiento es llamado inicialización • La inicialización es a menudo realizada sobre la expresión de la declaración. – e.g, Java int sum = 0; 37