Функции. 
Язык программирования Turbo Pascal 7.0

Формат описания функции имеет вид:

FUNCTION имя функции (формальные параметры):тип результата;

раздел описаний функции.

BEGIN.

исполняемая часть функции.

.. .. ... .

Имя функции := Выражение;

END;

Формальные параметры — это аргументы функции. Они могут отсутствовать. Результат передается через имя функции, поэтому в заголовке указывается тип результата.

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

Вызов функции производится оператором, имеющим следующий формат:

имя функции (список фактических параметров);

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

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

имя функции := выражение;

Именно это значение и будет возвращено функцией в качестве результата.

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

В теле функции могут использоваться (вызываться) и другие функции, стандартные или написанные пользователем.

После этого происходит возврат в вызывающий блок.

Смысл функции заключается в задании алгоритма вычисления некоторого значения и организации возврата этого значения в точку вызова.

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

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

Аргументы функции могут быть любых типов:

• 1) скалярные — числа, символы, булевские;
• 2) массивы;
• 3) другие типы.

Сама функция (результат) имеет только скалярный тип, (т.е. число — целое или вещественное, а также символ или булевская переменная).

К функции можно обращаться из основной программы; из другой функции и из самой себя.

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

Запишем рекурсивную функцию вычисления факториала.

Program recurs;

Var X, Y: integer;

Function Fact (K:Integer):LongInt;

Begin.

If K=0 Then Fact := 1.

Else Fact:= K*Fact (K-1);

End;

Begin.

Writeln ('Введите X');

Readln (X);

Y:=Fact (X);

Writeln ('Факториал ', X,'равен', Y);

Readln;

End.