Algoritmos y Programación en Pascal

172 Capítulo 8. Procedimientos y funciones
{3}
WriteLn(’El factorial de ’, numero, ’ es ’, Fac(numero))
{5}
end. {DemoParametros}
Al comienzo del programa sólo se dispone de la variable numero que está
indefinida en el punto {1} del programa (y en su correspondiente estado de
memoria).
El programa llama al procedimiento LeerNumPos y le pasa por referencia el
parámetro real numero. Al producirse la llamada, la ejecución del programa
principal queda suspendida y se pasan a ejecutar las instrucciones del procedimiento
LeerNumPos. Como numero se ha pasado por referencia, en la llamada,
numero y n, que es el parámetro formal de LeerNumPos, coinciden en memoria.
Dado que inicialmente numero está indefinido también lo estará n en el estado
{2A}, al principio de LeerNumPos.
Una vez activadoLeerNumPos, éste pide al usuario un número entero positivo,
que queda asignado a n. Supongamos que el valor introducido ha sido, por
ejemplo, 5. En el punto {2B}, este valor es el que queda asignado a n y a numero
al coincidir ambos.
Al terminar el procedimiento LeerNumPos, se reanuda la ejecución del programa
principal, con lo cual n desaparece de la memoria (estado {3}).
Le llega el turno a la instrucción de escritura, que hace una llamada a Fac
pasándole por valor el contenido de numero. De nuevo, al producirse la llamada,
la ejecución del programa principal queda suspendida, hasta que Fac termine y
devuelva el resultado.
La función dispone del parámetro formal num, que recibe el contenido de
numero, y de dos variables propias i y prodAcum, que al comenzar la función
(estado {4A}) están indefinidas.
Al terminar el bucle for, se ha acumulado en prodAcum el producto 2 * 3 *
4 * 5 sucesivamente, por lo que su valor es 120. Dicho valor, que corresponde
al del factorial pedido, es asignado al nombre de la función (estado {4B}), quien
lo devuelve al programa principal.
❡❡
El nombre de la función se utiliza como un almacenamiento temporal del
resultado obtenido para transferirlo al programa principal. Aunque puede
ser asignado como una variable, el parecido entre ambas termina aquí. El
nombre de la función no es una variable y no puede ser utilizado como tal
(es decir sin parámetros) a la derecha de la instrucción de asignación.
Al terminar la función, su valor se devuelve al programa principal, termina
la escritura y finalmente termina el programa (estado {5}).