4. Особенности использования параметров в процедурах и функциях.
Параметры являются основным механизмом связи процедур и функций с вызывающей подпрограммой, поэтому важно иметь возможность использовать в качестве параметров широкий класс конструкций программы. Рассмотрим характерные особенности использования параметров в подпрограммах Турбо Паскаля, о которых полезно знать.
Параметры-массивы. При использовании массивов в качестве параметров необходимо учитывать одно ограничение при описании формальных параметров: типом любого формального параметра может быть только либо стандартный тип, либо тип, который объявлен ранее в вызывающей подпрограмме. Это означает, что нельзя использовать описание типа array непосредственно в списке формальных параметров. Например:
procedure state(m:array [1..8] of byte); {Неправильное описание параметра m}
type byte_st = array [1..8] of byte;
. . . .
procedure state(m:byte_st); {Правильное описание параметра m}
Это ограничение, конечно, справедливо и для строк. Для строк также важно, что объявленные длины формального и фактического строкового параметра-переменной должны совпадать (это ограничение, правда, можно обойти, если отключить контроль совпадения длин строк с помощью опции компилятора {$V-}).
Нетипизированные параметры-переменные. Формальный параметр-переменная может быть описан без указания типа. Такой параметр называется нетипизированным. Соответствующий ему фактический параметр может быть переменной любого типа.
Этот случай полезен, если тип данных несущественен, например, при копировании данных из одной области памяти в другую. Нетипизированные параметры можно использовать также для передачи в подпрограммы одномерных массивов переменной длины (до 64 КБайт).
Параметры - открытые массивы. В качестве параметров подпрограмм можно использовать открытые массивы, т.е. одномерные массивы, указываемые без описания их размера (а только с указанием типа элементов). Открытые массивы позволяют передавать как параметры статические массивы любого размера.
Пример: program ............
type array10 = array[0..9] of integer;
var vect:array10; res0,res:real;
.........
procedure compute(x:array of real; var r:real);
begin { тело процедуры compute } ..... end;
BEGIN {раздел операторов основной программы}
.......................
compute( [1.0, 2.0, 4.0, 8.0, 16.0], res0);...... compute(vect, res);
................
END .
Параметры-процедуры и параметры-функции. Процедуры и функции также могут быть параметрами других процедур или функций, что часто используется, особенно в задачах вычислительной математики. В Турбо Паскале имеется весьма гибкий механизм передачи процедур и функций в качестве параметра. Он основан на введении процедурных типов.
Процедурный тип - тип, представляющий семейство процедур или функций для их использования в программе. Как и любой тип Турбо Паскаля, процедурный тип должен быть описан, а затем может быть использован для работы с переменными процедурного типа (или константами). Описание процедурных типов имеет форму заголовка процедуры (или функции) с опущенным её именем:
type < имя процедуры-типа> = procedure ( <список формальных параметров>);
type < имя функции-типа> = function( <список формальных параметров>):<тип>;
Например: type fun =function (x:real):real;
При описании подпрограммы с процедурными параметрами такие параметры указываются формальным именем и соответствующим процедурным типом.
Пример процедуры, использующей описанный выше процедурный тип fun:
procedure print_f (n:byte; f:fun);
const count = 20;
var X:real; j:integer;
begin window(n, 1, n+20, 25);
for j:=1 to count do begin X:=j*(2*pi/count);writeln(X:5:3, f(x):5:5) end
end {print_f};
В программе, где описаны процедурные типы, могут быть объявлены переменные этих типов, которым можно присваивать имена соответствующих подпрограмм, описанных в данной программе, либо эти имена можно использовать как константы при вызове подпрограмм с процедурными параметрами. Стандартные процедуры и функции нельзя непосредственно передавать таким способом, но их можно "подменить" подпрограммами с другими именами, как показано в следующем примере программы на Турбо Паскале:
program grid_functions; { Печать таблицы значений 2-х функций }
uses CRT;
type fun =function (x:real):real;
function sint(x:real):real; {функция sin(x) }
begin sint:=sin(x)
end {sint};
function expcos(x:real); {функция (cos(x)+1)*exp(-x)}
begin expcos:= (cos(x)+1)*exp(-x)
end {expcos};
procedure print_f (n:byte; f:fun); { печать значений функции f}
const count = 20;
var X:real; j:integer;
begin window(n, 1, n+20, 25);
for j:=1 to count do begin X:=j*(2*pi/count);writeln(X:5:3, f(x):5:5) end
end {print_f};
BEGIN { Основная программа } ClrScr;
print_f(1, sint); writeln;
print_f(30, expcos);writeln
END { grid_functions}.