Algoritmos y Programación en Pascal

8.5.
Ámbito y visibilidad de los identificadores 175
procedure EscrDosDec(valor: real);
{Efecto: escribe valor, con dos decimales}
begin
WriteLn(’El valor es: ’, valor:14:2)
end; {EscrDosDec}
begin
LeerGrados(a);
t:= TanGrados(a);
EscrDosDec(t)
end. {CalculoTangente}
Los identificadores declarados o definidos en el programa principal, como a
y t, se denominan globales, y su ámbito es (son visibles en) todo el programa,
incluso dentro de los subprogramas (excepto si en éstos se declara una variable
con el mismo identificador, la cual ocultaría a la variable global homónima, como
se detalla en el apartado 8.5.2).
Los identificadores declarados o definidos dentro de subprogramas, como Pi
y angRad y el identificador de la función TanGrados, y sus propios parámetros
formales, como angSexa de TanGrados y valor de EscrDosDec, se denominan
locales, sólo son válidos dentro de los subprogramas a los que pertenecen y, por
tanto, no son reconocidos fuera de ellos (es decir, quedan ocultos al resto del
programa).
Si dentro de un subprograma se define otro, se dice que los parámetros locales
del subprograma superior se denominan no locales con respecto al subprograma
subordinado y son visibles dentro de ambos subprogramas.
Los objetos globales se crean al ejecutarse el programa y permanecen definidos
hasta que éste termina. En cambio, los objetos locales se crean en el
momento de producirse la llamada al subprograma al que pertenecen y se destruyen
al terminar éste. La gestión de los objetos locales suele efectuarse con
una estructura de tipo pila (véase el capítulo 17 y el apartado 3.4 de [PAO94]),
donde se introducen los identificadores de los objetos y el espacio necesario para
almacenar sus valores cuando los haya, y de donde se extraen una vez que éste
termina. El proceso de reserva y liberación de memoria para los objetos se
prepara de forma automática por el compilador del lenguaje.
8.5.2 Estructura de bloques
De las definiciones anteriores se deduce que el programa principal, los procedimientos
y funciones en él declarados, y los que a su vez pudieran declararse
dentro de ellos, constituyen un conjunto de bloques anidados que determinan el
ámbito de validez de los identificadores.