Поскольку короткая строка является фактически своеобразным массивом, ее передача в подпрограмму осуществляется аналогичным образом:
InputType =String [15];
OutputType =String [30];
Function St(S: InputType): OutputType;
Требование описать любой тип-массив или тип-строку перед объявлением подпрограммы, на первый взгляд, кажется несущественным. Действительно, в рамках простейших вычислительных задач обычно заранее известна структура всех используемых в программе данных, поэтому статическое описание массивов не вызывает проблем. Однако разработка программных средств универсального назначения связана со значительными трудностями.
8.3.1. Открытые массивы
Object Pascal поддерживает так называемые открытые массивы, легко решающие проблему передачи подпрограмме одномерных массивов переменной длины.
Открытый массив представляет собой формальный параметр подпрограммы, описывающий базовый тип элементов массива, но не определяющий его размерности и границы:
Procedure MyProc(OpenArray:array of Integer);
Внутри подпрограммы такой параметр трактуется как одномерный массив с нулевой нижней границей. Верхняя граница открытого массива возвращается стандартной функцией High. Используя 0 как минимальный индекс и значение, возвращаемое функцией High, как максимальный индекс, подпрограмма может обрабатывать одномерные массивы произвольной длины.
{Иллюстрация использования открытых массивов: программа выводит в компонент mmOutput содержимое двух одномерных массивов разной длины с помощью одной процедуры ArrayPrint) Procedure ArrayPrint(aArray:array of Integer);
k: Integer;
S:=' ';
for k := 0 to High(aArray)doS := S + IntToStr(aArray[k]);
mmOutput.Lines.Add(S) ;
A:array [-1..2]of Integer = (0,1,2,3);
B:array [5..7]of Integer = (4,5,6);
ArrayPrint(A);
ArrayPrint (B);
Как видно из этого примера, фактические границы массивов а и в, передаваемых в качестве параметров вызова процедуре ArrayPrint, не имеют значения. Однако размерность открытых массивов (количество индексов) всегда равна 1 - за этим следит компилятор. Если бы, например, мы добавили в программу двумерный массив с
С: array,[1..3,1..5]of Integer;
то обращение
ArrayPrint(С)
вызвало бы сообщение об ошибке.
8.3.2. Конструктор массива
При обращении к подпрограмме на месте формального параметра в виде открытого массива можно указывать так называемый конструктор массива. Конструктор массива представляет собой список разделенных запятыми значений элементов массива, обрамленный квадратными скобками. Например, в предыдущем примере вместо
const
A:array [-1..2]of Integer = (0,1,2,3);
В:array [5..7]of Integer = (4,5,6);
begin
ArrayPrint(A);
ArrayPrint(B);
end;
мы могли бы написать так:
ArrayPrint ( [0,1,2,3]);
ArrayPrint([4,5,6]);
8.3.3. Вариантные массивы-параметры
В Delphi 32 при передаче подпрограмме массивов переменной длины и размерности удобно использовать вариантные массивы (см. п. 7.4.3). В следующем примере с помощью функции GetAr-rayAverage определяется среднее арифметическое значение всех элементов вариантного массива произвольной длины и размерности не выше 5:
function GetArrayAverage(const V: Variant): Double;
{Возвращает среднее арифметическое значение массива произвольной длины и размерности или очень маленькую отрицательную величину, если V - не вариант или если его размерность больше 5} var
for j :=VarArrayLowBound(V,2)to VarArrayHighBound(V,2)do
for k: =VarArrayLowBound(V,3)to VarArrayHighBound(V,3)do
for 1 :=VarArrayLowBound(V,4)to VarArrayHighBound(V,4)do
for m:= VarArrayLowBound(V,5)to VarArrayHighBound(V,5)do
Sum := Sum+V[i,j,k,1,m];
Result := Sum/NItem
В подобного рода подпрограммах ограничение на размерность вариантного массива определяется, как правило, количеством вариантов в предложении case.
Основное назначение процедурных типов - дать программисту гибкие средства передачи функций и процедур в качестве фактических параметров обращения к другим процедурам и функциям.
Для объявления процедурного типа используется заголовок процедуры (функции), в котором опускается ее имя, например:
