Массивы и строки открытого типа

В версии 7.0 можно в качестве параметров-переменных использовать массивы и строки открытого типа, у которых не задаются размеры. В качестве фактического параметра в этом случае можно использовать массив или строку любого размера, однако массив должен состоять из тех же компонент, что и компоненты открытого массива. Такие параметры введены для того, чтобы подпрограмма могла обрабатывать массив или строку любого размера. Фактический размер массива в этом случае может быть определен с помощью функции High. Открытый массив задается как и обычный массив, но только без указания типа индекса. Следует иметь в виду, что индексация элементов открытого массива всегда начинается с нуля, а максимальный индекс элемента равен значению функции High.

Пример 2.14.Функция вычисления максимального элемента в массиве. И в качестве передаваемого параметра используется массив открытого типа:

Function Max(Var Mas: array of lnteger): lnteger;

Var Ма : Integer; i : Byte;

Begin Ма - Mas[0];

For i:= 1 to High(Mas) Do

If Ма < Mas[i] then Ма := Mas[i];

Max := Ма

End;

В этом примере в подпрограмму передается только один параметр и она может работать с любым одномерным массивом целых чисел. Однако следует иметь в виду, что при работе подпрограммы для открытого массива в стеке создается его копия и это может его переполнить и, следовательно, произойдет сбой. Заполнение стека снижает быстродействие.

Разновидность открытого массива - открытая строка, которая может задаваться либо с помощью стандартного типа OpenString, либо с помощью типа String и использования ключа компилятора $Р+. Например, заголовок процедуры, заполняющей каким-либо символом строку, может иметь вид:

Procedure FullChar(Var Str: OpenString; Ch: Char);

или

$Р+ Procedure FillChar(Var Str: String; Ch: Char);

Параметры-процедуры и параметры-функции

Передаваемым параметром может быть параметр-процедура или параметр-функция, т.е. параметр процедурного типа. Фактически этот параметр является параметром-значением, т.к. записывается без зарезервированного слова Var.

В качестве фактического параметра в этом случае используется соответствующая процедура или функция, имеющая необходимое количество параметров требуемых типов.

Для параметров-процедур и параметров-функций существуют те же правила, что и для других переменных процедурного типа: подпрограммы должны компилироваться с ключом $F+ или иметь директиву far, не должны быть стандартными подпрограммами, не должны объявляться внутри других подпрограмм, не должны иметь директив inline или interrupt.

Пример 2.15.Программа, печатающая таблицы сложения и умножения двух целых чисел в заданном диапазоне.

Program EXAMPLE_2_5;

Type Func = function(X,Y:lnteger): Integer;

{$F+}

Function Add(X, Y: Integer): Integer;

Begin Add := X +Y End;

Function Multiply(X, Y: Integer): Integer; Begin Multiply := X * Y End;

{$F-} {Процедура печати таблицы}

Procedure PrintTable(A, В: Integer; Operation: Func);

Var i, j: Integer;

Begin

For i := 1 to A do

begin

For j := 1 to В do

Write(0peration(i,j): 5);

end;

WriteLn

End;

BEGIN

PrintTable(10, 5, Add); Writeln;

PrintTable(10, 5, Multiply)

END.

Процедура EXIT

Известно, что оператор GOTO нельзя использовать для досрочного выхода из подпрограммы. В Турбо Паскале для этой цели используется процедура EXIT. Процедура EXIT завершает работу подпрограммы с возвратом в вызвавший его блок.

Пример 2.16.Функция, определяющая первое отрицательное число в массиве.

Function Minus(Var Massiv; N: Integer): Real; {Здесь Massiv - параметр без типа}

Begin Minus := 0;

For i := 1 to do

if T(Massiv)[i] < 0 Then {преобразование типа}

begin

Minus := T(Massiv)[i];

EXIT {досрочный выход из функции}

end

End;

Ниже будет кратко рассмотрено использование в подпрограммах других директив.

Директивы подпрограмм

Турбо Паскаль имеет специальные средства управления транслятором при использовании подпрограмм -директивы. Директивы уточняют действие компилятора и распространяются на всю подпрограмму и только на нее. То есть, если за подпрограммой следует другая подпрограмма, стандартная директива, указанная за заголовком первой, не распространяется на вторую.

Директива EXTERNAL позволяет использовать в программе подпрограм­мы, написанные на языке Ассемблера и скомпилированные отдельно. Директива ASSEMBLER позволяет написать подпрограмму полностью на языке Ассемблера. При этом во время компиляции подпрограмма будет автоматически скомпилирована встроенным ассемблером пакета Турбо Паскаль.Директива INLINE позволяет включать в текст программы команды, записанные непосредственно в машинных кодах.Директива INTERRUPTпредназначена для процедур, обрабатывающих прерывания.

Более подробно об использовании директив при работе с подпро­граммами можно ознакомиться в рекомендуемой литературе [5, с.62; 4, п.8.2, п. 11.1-11.8].