Algoritmos y Programación en Pascal

8.5.
Ámbito y visibilidad de los identificadores 181
8.5.3 Criterios de localidad
Los diferentes ámbitos de validez de los identificadores, correctamente utilizados,
permiten alcanzar una gran independencia entre el programa principal
y sus subprogramas, y entre éstos y los subprogramas en ellos contenidos. De
esta forma se puede modificar un subprograma sin tener que cambiar los demás,
facilitando tanto el diseño del programa como posteriormente su depuración y
mantenimiento. Además, facilitan la utilización de subprogramas ya creados (bibliotecas
de subprogramas) dentro de nuevos programas, eliminando las posibles
interferencias entre los objetos del programa y los de los subprogramas.
Para lograr estos efectos es necesario comprender primero con claridad cuál
es el ámbito de los identificadores y seguir en lo posible unos sencillos criterios
de localidad.
Los identificadores locales se deben utilizar para nombrar objetos utilizados
dentro de un subprograma, incluyendo sus parámetros formales. Para conseguir
el máximo grado de independencia es recomendable que se cumplan las siguientes
condiciones:
• Principio de máxima localidad
Todos los objetos particulares de un subprograma, necesarios para que
desempeñe su cometido, deben ser locales al mismo.
• Principio de autonomía de los subprogramas
La comunicación con el exterior debe realizarse exclusivamente mediante
parámetros, evitándose dentro de los subprogramas toda referencia a objetos
globales.
Si se cumplen ambas condiciones, en el punto de la llamada el subprograma
se compara con una caja negra de paredes opacas cuyo contenido no puede verse
desde fuera del mismo.
Obsérvese que ambos principios están relacionados, pues una mayor localidad
implica una mayor ocultación de la información al quedar más objetos invisibles
al resto del programa. De este modo, la independencia del subprograma con
respecto al programa que lo invoca es máxima.
8.5.4 Efectos laterales
Hemos visto distintos mecanismos por los cuales un procedimiento o función
pueden devolver o enviar resultados al programa principal (o a otro procedimiento
o función). En el caso de las funciones existe un mecanismo específico de
transmisión a través del propio nombre de la función, aunque limitado a tipos