Algoritmos y Programación en Pascal

B.8. Paso de subprogramas como parámetros 499
B.8 Paso de subprogramas como parámetros
Turbo Pascal difiere de Pascal estándar en la forma de realizar la declaración
y paso de subprogramas como parámetros. En Turbo Pascal los subprogramas
deben ser obligatoriamente de un tipo con nombre para poder ser pasados como
parámetros.
Por ejemplo, en la definición de la función Derivada (véase el apartado A.1.1)
se utilizaba como parámetro una función de argumento real y resultado también
real. El tipo de esta función se define en Turbo Pascal como se muestra a
continuación:
type
tMatFun = function (x: real): real;
Para un procedimiento con dos parámetros enteros se escribiría:
type
tProcInt = procedure (a, b: integer);
Los identificadores utilizados en estos encabezamientos se utilizan a efectos
de la definición del tipo sin que tengan ninguna repercusión sobre el resto del
programa.
Para declarar la función como parámetro formal, la declaramos del tipo
tMatFun dentro del encabezamiento de la función ejemplo. De esta forma:
function Derivada (Fun: tMatFun; x: real): real;
const
DeltaX = 10E-6;
begin
Derivada:= (Fun(x + DeltaX) - Fun(x))/DeltaX
end; {Derivada}
Dentro del programa principal efectuamos la llamada a la función Derivada
pasándole cualquier función definida por el usuario que encaje con el tipo tMatFun.
Suponiendo definida una función Potencia, una posible llamada sería:
WriteLn(’La derivada es: ’, Derivada(Potencia, x))
La utilización de subprogramas como parámetros requiere, dentro del esquema
de gestión de memoria de Turbo Pascal, la realización de llamadas fuera
del segmento de memoria donde reside el programa. Estas llamadas lejanas se
activan marcando la opción