Глава 5. Процедурное программирование §5.1. Функции

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

Представление программы как совокупности или иерархии относительно обособленных фрагментов со строго определенными интерфейсами способствует большей читаемости и простоте составления и отладки программы. Понятие подпрограммы как обособленной именованной части программы со своим собственным локальным контекстом имен является в большинстве языков программирования основным средством структурирования программ.

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

Стандартные подпрограммы-функции уже приводились при описании выражений, но пользователь может составлять подпрограммы и самостоятельно, помещая их в раздел описаний.

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

Function <имя>[(<список формальных параметров>)]:<тип>;

[<описания>;]

<операторы>

End;

Здесь <имя> – имя функции, по которому происходит обращение к ней при вычислении выражения, с ним связан результат вычислений. Имя функции должно встречаться хотя бы один раз в разделе операторов функции слева в операторе присваивания, то есть результат функции должен быть определен.

<тип> – тип результата, соответствующего имени функции. Специфика функции заключается в том, что после обращения к ней должен быть определен результат, который участвует в выражении и связан с именем функции.

<список формальных параметров> может отсутствовать. Формальным параметрам, в отличие от фактических, не соответствуют никакие значения, – они лишь ставят в соответствие фактические значения и порядок вычислений по подпрограмме, то есть в этом списке должны быть только имена. Каждый параметр, заданный в заголовке, считается локальным в данной подпрограмме так же, как и переменные, описанные в блоке этой подпрограммы.

Допускается три способа задания формальных параметров подпрограммы (в заголовке в круглых скобках). Они могут быть определены следующим образом.

Параметры – значения

Это наиболее распространенный и самый простой способ передачи параметров, который имеет следующий вид:

<имя₁>, <имя₂>, …, <имя_n>:<имя типа>

Здесь параметр считается локальной переменной в пределах подпрограммы, по нему передается значение данных, то есть он является входным. Изменение этого значения не приводит к изменениям в вызывающем модуле, поэтому здесь фактическим параметром является выражение и как частный случай – константа или переменная. Имя типа должно быть простым или описанным в разделе TYPE во внешнем модуле, поэтому следующая запись неверна:

Function Z(A:array[1..20] of real):real;

Пример: функция вычисления суммы квадратов.

Function SumSqr(x,y:real):real;

Begin

SumSqr:=x*x+y*y

End;

Параметры – переменные

Параметры, иначе называемые передаваемыми по ссылке, имеют следующий вид.

Var <имя₁>, <имя₂>, …, <имя_n>:<имя типа>;

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

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