Algoritmos y Programación en Pascal

184 Capítulo 8. Procedimientos y funciones
por referencia no es apropiada en las funciones, porque su cometido natural
consiste sólo en hallar el valor que representan.
8.6.3 Funciones con resultados múltiples
Ya se ha dicho que las funciones tienen en Pascal la limitación de devolver
únicamente valores pertenecientes a tipos simples. Si queremos que un subprograma
devuelva valores múltiples, se recomienda utilizar procedimientos. Por
ejemplo, si quisiéramos descomponer una cantidad de dinero en monedas de 100,
de 25, duros y pesetas:
procedure Descomponer(cantDinero: integer;
var mon100, mon25, mon5, mon1: integer);
Igualmente, en aquellos casos en que, además del valor de la función, interese
hallar algún valor adicional (por ejemplo, un código que indique si la función ha
podido calcularse correctamente o si se ha producido algún error), se debe usar
un procedimiento en su lugar más en consonancia con ese cometido.
8.7 Desarrollo correcto de subprogramas
De la misma forma que se ha expuesto para otros mecanismos del lenguaje,
en esta sección estudiamos los elementos necesarios para lograr desarrollar subprogramas
correctos. Hay dos aspectos de interés, la llamada es la que efectúa
un cierto “encargo”, y la definición la que debe cumplimentarlo. Por eso, estos
aspectos son complementarios. El necesario acuerdo entre definición y llamada
se garantiza por medio de la especificación, “más o menos” formalmente.
En lo que respecta a la definición, para asegurar la corrección de un subprograma
lo consideraremos como lo que es: un “pequeño” programa. Así, la
tarea esencial en cuanto al estudio de su corrección consistirá en considerar sus
instrucciones componentes y garantizar que cumple con su cometido, que es el
descrito en la especificación. Así, por ejemplo:
function Fac(n: integer): integer;
{Dev. n!}
var
i, prodAcum: integer;
begin
prodAcum:= 1;
{Inv.: i ≤ n y prodAcum = i!}
for i:= 2 to n do
prodAcum:= prodAcum * i;