Algoritmos y Programación en Pascal

178 Capítulo 8. Procedimientos y funciones
por valor. El procedimiento LeerNumPos le da su valor inicial, que después se
pasa a ProductoCifras para su procesamiento.
La función ProductoCifras tiene dos variables locales acumProd (en la que
se acumula el producto de las cifras del número) y cifrUnidades (donde se anotan
los valores de dichas cifras). Estas variables se utilizan solamente dentro de
ProductoCifras, no teniendo ninguna utilidad fuera de la función, por lo que se
han declarado como locales. Quedan ocultas al programa principal y al procedimientoLeerNumPos,
pero son visibles desde el procedimientoQuitaUltimaCifra
para el que son no locales.
La función tiene también un parámetro por valor llamado numero, a través
del cual se recibe el dato inicial, y que actúa además como variable, que se va
modificando al ir quitándole cifras.
El procedimiento QuitaUltimaCifra se ha definido dentro del procedimiento
ProductoCifras, por lo que es local a esta función y tiene sentido sólo dentro de
la misma, que es donde se necesita, quedando oculto al resto del programa. No
tiene variables locales, pero utiliza los parámetros por referencia n y ultima. En
el primero se recibe el número sobre el que operar y devuelve el número sin la
última cifra, actuando como dato y como resultado. La cifra de las unidades se
devuelve en el parámetro ultima, que representa sólo este resultado. Ambos son
locales por ser parámetros, y se pasan por referencia para enviar los resultados
a ProductoCifras.
Hay que observar que el identificador n se ha utilizado como parámetro de
LeerNumPos y de QuitaUltimaCifra, sin provocar ningún conflicto.
Cada uno de estos bloques trazados en el programa representa el ámbito en el
cual están definidos los identificadores del bloque. Existe un bloque exterior en
el que son reconocidos todos los identificadores predefinidos de Pascal. Dentro
de este bloque universal se encuentra el bloque del programa, correspondiente
a los identificadores globales. Si dentro del bloque del programa se definen
subprogramas, cada uno constituye un bloque local, si bien su nombre es global,
lo que permite que sea llamado desde el programa. Sin embargo, si se definen
subprogramas dentro de otros subprogramas, los primeros constituyen bloques
locales, si bien los identificadores del bloque exterior son no locales al bloque
interior, mientras que sus parámetros formales son locales y no tienen vigencia
en el bloque del programa principal.
Los identificadores globales y los no locales son reconocidos en la totalidad de
su bloque incluso dentro de los bloques interiores. Solamente hay una excepción:
cuando dentro del bloque local existe un identificador con el mismo nombre. En
este caso, el identificador global queda oculto por el local, y toda mención a ese
identificador en el ámbito más interno corresponde al objeto más local.