5.6. Процедуры и функции

В языке Delphi основной программной единицей является подпро­грамма. Различают два вида подпрограмм: процедуры и функции, представляющие собой программные блоки, которые могут вызываться из разных частей программы. При вызове в них передаются некоторые переменные, константы, выражения, являющиеся аргументами, которые в самих процедурах и функциях воспринимаются как формальные параметры.

Как проце­дура, так и функция, представляют собой последовательность инструкций, предназначенных для выполнения некоторой работы. Чтобы выполнить ин­струкции подпрограммы, надо вызвать эту подпрограмму. Отличие функции от процедуры заключается в том, что с именем функции связано значение, поэтому имя функции можно использовать в выражениях [3].

5.6.1. Структура функции

Объявление функции в общем виде выглядит следующим образом:

function Имя(Список параметров):Тип возвращаемого значения;

// объявления локальных переменных, типов, констант,

//описания вложенных функций и процедур

const // начало раздела объявления констант

type // начало раздела объявления типов

var // начало раздела объявления переменных

begin // начало раздела инструкций

//операторы тела функции

end;

Первая строка, содержащая имя функции, список параметров и тип возвращаемого значения, называется заголовком или объявлением функции. Если функция, описываемая в данном модуле, должна быть доступна из других модулей, то эта первая строка должна быть продублирована в разделе interface в качестве объявления функции. Аналогичным дублированием первой строки объявляется функция в классе.

Список параметров и объявления локальных элементов и вложенных процедур не обязательны. Если список параметров отсутствует, то скобки после имени функции не ставятся.

При обращении к функции возвращается значение определенного типа, которое замещает в выражении имя вызванной функции. Например, оператор

I:=5*F(X);

вызывает функцию F с аргументом X, умножает возвращенное ею значение на 5 и присваивает результат переменной I

В простом случае список параметров – это перечисление имен формальных параметров с указанием их типов. Например, объявление:

function FSum(X1, X2: real; A: integer): real;

объявляет функцию с именем FSum, с тремя параметрами X1, X2 и A, из которых первые два типа real, а последний – integer. Тип возвращаемого результата – real. Имена параметров X1, X2 и A – локальные, т.е. они имеют значение только внутри данной функции и никак не связаны с именами аргументов, переданных при вызове функции. Значения этих параметров в начале выполнения функции равны значениям аргументов на момент вызова функции.

Тело функции пишется по тем же правилам, что и любой код программы. При этом надо учитывать области видимости различных элементов программы. В теле функции видны объявленные в ней локальные элементы (переменные, функции и т.п.) и глобальные элементы.

Возвращаемое значение в теле функции может присваиваться или имени функции, или специальной предопределенной переменной Result. Например, тело приведенной выше функции FSum может иметь вид:

begin

Fsum:= A*(X1+X2);

end;

или

begin

Result:= A*(X1+X2);

end;

Результат работы обеих приведенных выше функций будет одинаковым. Но переменная Result имеет одно принципиальное отличие от имени функции. Имя функции - это не переменная. Оно может фигурировать только в левой части оператора присваивания, и не может входить ни в какие выражения. А Result - это обычная переменная. Поэтому, например, приведенный выше код можно было бы переписать следующим образом:

begin

Result := (X1+X2);

Result:= Result * A;

end;

В Object Pascal существует предопределенная процедура exit, которая обеспечивает выход из функции или процедуры в любом месте тела программы. Например, приведенный выше текст мог бы быть записан так:

begin

Result := (X1+X2);

if (A = 1) then exit;

Result:= Result * A;

end;