Открытые параметры-массивы могут быть параметрами-значениями, параметрами-переменными и параметрами-константами. Они используются для передачи массивов произвольной размерности. Заголовок процедуры с открытыми параметрами-массивами имеет вид:
Procedure OpenArray(Vector: array of MyType);
Формальный параметр при этом является массивом элементов некоторого типа MyType с нулевой базой, т.е. Array [0..N-1] of MyType; где N - количество элементов массива, которое можно определить с помощью стандартной функции High.
ПРИМЕР: Увеличение вдвое всех элементов массива.
program DoubleProgram;
const n=10; m=20;
type T1 = array[1..n] of integer;
T2 = array[-m..m] of integer;
var A: T1; B: T2; k: integer;
Procedure Double(var X: array of integer);
var i: byte;
begin
for i:=0 to High(X)-1 do X[i]:=X[i]*2;
end;
begin
for k:=1 to n do read(A[k]);
for k:=-m to m do read(B[k]);
Double(A); {увеличение в 2 раза элементов массива A}
Double(B); {увеличение в 2 раза элементов массива B}
Double(k); {то же самое, что и присваивание k:=k*2}
writeln('k=',k); {напечатается: k=40 }
for k:=1 to n do write(A[k],' ');
writeln;
for k:=-m to m do write(B[k],' ');
end.
БЕСТИПОВЫЕ ПАРАМЕТРЫ
В Турбо Паскале существует возможность создания процедур и функций с параметрами, не имеющими типа. Бестиповые параметры могут быть параметрами-переменными и параметрами-константами, так как передаются только по адресу. Заголовок процедуры с параметрами, не имеющими типа может выглядеть таким образом:
Procedure MyProc(var par1,par2; const par3,par4);
Перед использованием формальных параметров необходимо выполнить их приведение к какому-либо типу. Использование бестиповых параметров дает большую гибкость программе, но ответственность за их корректное применение возлагается на программиста.
ПРИМЕР: Сложение первых N байт, начиная с того же места, что и X.
program without_type;
var N:word; s:string;
{$R-} (* отключение контроля за границами диапазонов *)
function Sum(var X; N:byte):word;
type A=array[1..1] of byte;
var i:byte; s:word;
begin
s:=0;
for i:=1 to n do S:=S+A(X)[i];
Sum:=s;
end;
begin
readln(s);
writeln(Sum(s,1)); {длина строки s}
writeln(Sum(s[1],1)); {код первого символа строки s}
writeln(Sum(s[1],length(s)));
{сумма кодов всех символов строки s}
read(N);
writeln(Sum(N,2));
{сумма двух байт, из которых состоит N типа word}
end.
ПРОЦЕДУРНЫЕ ТИПЫ
В Турбо Паскале существует два процедурных типа: тип-процедура и тип-функция. Для объявления процедурного типа используется заголовок процедуры или функции без имени.
ПРИМЕР:
type Proc1 = Procedure (a,b,c: integer; x:real);
Proc2 = Procedure (var a,b);
Proc3 = Procedure;
Func1 = Function: real;
Func2 = Function (n:integer): boolean;
Можно описывать переменные этих типов, например: var p1,p2:Proc1; f1,f2:Func2; Переменным процедурных типов можно присваивать в качестве значений имена соответствующих ВА. При этом нельзя использовать стандартные процедуры и функции. После такого присваивания имя переменной становится синонимом имени ВА. Переменные процедурного типа можно, также передавать в подпрограммы в виде параметров. Благодаря этому, имеется возможность создания более гибких вспомогательных алгоритмов.
РЕКУРСИЯ
Рекурсия - это способ организации вычислительного процесса, при котором подпрограмма в ходе выполнения обращается сама к себе. С идейной точки зрения рекурсия аналогична методу математической индукции. Базе индукции соответствует база рекурсии. Предположению индукции соответствует предположение о том, что нужный ВА уже написан. Наконец, шагу индукции соответствует вызов создаваемого рекурсивного ВА. В любой рекурсии необходимо предусмотреть условие завершения процесса, т.е. когда вызова больше не происходит.
ПРИМЕР: Вычислить N-е число Фиббоначчи. (Смотри тему Циклы)
program Fib;
var n:byte;
function F(k:byte):word;
begin
if k<2 then F:=1 else F:=F(k-1)+F(k-2); {рекурсивный вызов}
end;
begin
write('введите номер числа Фиббоначчи ');
readln(N);
writeln(N,'-е число Фиббоначчи =',F(N));
readln
end.
Рекурсивный вызов может быть косвенным, или неявным. Например это происходит в случае, когда один ВА вызывает другой, а тот в свою очередь - первый. При использовании такой программной конструкции необходимо опережающее описание процедур и функций с директивой Forward. Сначала пишется только заголовок ВА со словом Forward, а реализация приводится ниже. При этом, в ней можно писать в заголовке либо только имя ВА, либо полностью повторять заголовок.
ПРИМЕР: Неявная рекурсия.
Procedure B(x:byte); forward;
Procedure A(y:byte);
begin
- - -
B(y);
- - -
end;
Procedure B;
begin
- - -
A(x);
- - -
end;
РЕКОМЕНДАЦИИ: Необходимо по возможности избегать применения рекурсии, так как большая глубина рекурсивных вызовов часто приводит к переполнению стека. В некоторых случаях проблему можно устранить, установив новый размер стека от 1024 до 65520 байт с помощью директивы
{$M размер стека, нижняя граница, верхняя граница памяти}