Algoritmos y Programación en Pascal

180 Capítulo 8. Procedimientos y funciones
begin
LeerNumPos(numero);
WriteLn (’El producto de las cifras de ’, numero,’ vale ’,
ProductoCifras(numero))
end. {MultiplicaCifras}
Si nos situamos dentro de LeerNumPos, la variable global numero, que en
principio está definida en todo el programa, no es accesible, porque es ocultada
por el parámetro formal numero de LeerNumPos que es local.
Por el mismo motivo, si nos situamos en QuitaUltimaCifra, el parámetro
formal numero de ProductoCifras, que en principio estaría definido dentro de
QuitaUltimaCifra por ser no local a dicho procedimiento, no es accesible, al ser
ocultado por su parámetro formal numero, que es local.
A veces se diferencia entre los bloques en que un identificador podría ser
válido si no hubiera otros identificadores con el mismo nombre, lo que se conoce
como alcance del identificador, de los bloques en que verdaderamente el identificador
es accesible, al existir otros con el mismo nombre, lo que se denomina
visibilidad del identificador.
En el ejemplo anterior, los subprogramas LeerNumPos, ProductoCifras y
QuitaUltimaCifra están dentro del alcance de la variable global numero y sin
embargo no pertenecen a su visibilidad.
En resumen, para saber a qué identificador nos referimos en cada caso y si
su utilización es correcta, enunciamos las siguientes reglas de ámbito:
1. No se puede declarar un identificador más de una vez en el mismo bloque,
pero sí en bloques diferentes aunque uno esté anidado en otro. Ambos
identificadores representan dos objetos distintos.
2. Para saber a qué objeto se refiere un cierto identificador, hay que buscar
el bloque más interior que contenga su declaración.
3. Un identificador sólo se puede utilizar en el bloque en que se ha declarado
y en los que están contenidos en éste. 7
7 Es conveniente destacar que, como consecuencia inmediata de esta regla, el identificador de
un subprograma es visible en su propio cuerpo de instrucciones. Por consiguiente, en cualesquiera
de sus instrucciones pueden estar contenidas llamadas del subprograma a sí mismo. Si esto ocurre,
el subprograma se llama recursivo. Este tipo de subprogramas se estudia en profundidad en el
capítulo 10.