8945

181

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

РЕШЕНИЕ

Программа на языке программирования

Рис. 3.5 Нисходящая разработка программ

Процедурой в Турбо Паскале называется особым образом оформ-

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

полняются операторы, стоящие непосредственно за оператором вызова процедуры (рис.3.6).

Отличие функции от процедуры заключается в том, что результа-

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

182

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

Вызывающая программа

Вызов процедуры

Процедура

Продолжение вызывающей программы

Рис. 3.6 Взаимодействие вызывающей программы и процедуры

Любую процедуру (функцию) в программе необходимо описать в разделе описаний.

Описать подпрограмму — это значит указать ее заголовок и тело. В

заголовке объявляются имя подпрограммы и формальные параметры, е с-

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

добно программе, состоит из раздела описаний и раздела исполняемых операторов. В разделе описаний подпрограммы могут встретиться опи-

сания подпрограмм низшего уровня, в тех — описания других подпро-

грамм и т.д.

Программа Pr Подпрограмма А

Подпрограмма А1

Подпрограмма В Подпрограмма В1

183

Рис. 3.7. Пример структуры программы

Структура программы, которая изображена на рис. 3.7. (для пр о-

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

граммирования Паскаль следующим описанием:

Program Pr;

Procedure A;

Procedure A1;

Begin

{операторы процедуры А1}

End;

Begin

{операторы процедуры А}

End;

Procedure B;

Procedure B1;

Begin

{операторы процедуры В1} end;

Begin

{Операторы процедуры В} end;

BEGIN

{ операторы программы Pr} END.

185

Const

Type

Var {раздел описания данных процедуры}

Procedure

Function

Begin

{операторы процедуры} End;

Описание функции имеет вид:

Function <имя> [(<сп.ф.п.>)]: <тип>; {заголовок функции}

Const

Type

Var {раздел описания данных процедуры}

Procedure

Function

Begin

{операторы процедуры}

<имя> := <значение>; {обязательная инструкция}

End;

Здесь

<имя> — имя подпрограммы (правильный идентификатор);

<сп.ф.п.> — список формальных параметров (может отсутство-

вать);

<тип> — тип возвращаемого функцией результата.

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

186

Необязательный параметр <сп.ф.п> — это последовательность раз-

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

программы рассматривают список формальных параметров как своео б-

разное расширение раздела описаний: все переменные из этого списка могут использоваться в любых выражениях внутри подпрограммы. Т а-

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

Примеры оформления заголовка процедур и функций.

Procedure SB (a : real; b : integer; с : char);

Function ArcSin (x : Real): Real;

Procedure Res (a , b, с : Real);

В заголовке процедуры Res параметры описаны через запятую. Та-

кая форма записи допустимы только для однотипных параметров проц е-

дуры или функции. Так в процедуре Res переменные a , b, с — вещест-

венные числа.

Формальные параметры делятся на параметры–значения (входные)

и параметры–переменные (выходные). В описании заголовка процедуры параметрам–переменным предшествует ключевое слово VAR.

Procedure A1 (k : integer; s: String; Var p : Char);

Здесь k, s — параметры–значение, p — параметр–переменная.

187

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

должен определяться как параметр–переменная.

6.13.3. Вызов процедур и функций

Вызов процедуры осуществляется указанием ее имени, за которым следует список фактических параметров: A1(6, ss, P1);.

Если список параметров в описании процедуры отсутствует, то в ы-

зов процедуры осуществляется только указанием ее имени.

Вызов функции должен входить в выражение:

Z := ArcSin(x);

При вызове процедуры (функции) осуществляется замена формал ь-

ных параметров на фактические, что позволяет нужным образом настр о-

ить алгоритм, реализованный в подпрограмме.

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

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

2.Порядок следования формальных параметров должен соотве т-

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

3.Если формальный параметр объявлен как параметр –

переменная, то при вызове подпрограммы ему должен соответствовать

фактический параметр в виде переменной нужного типа.

4.Если формальный параметр объявлен как параметр–значение,

188

то при вызове ему может соответствовать произвольное выражение.

Пример.

В языке Паскаль нет операции возведения в степень, однако с п о-

мощью встроенных функций LN(X) и ЕХР(Х) нетрудно реализовать но-

вую функцию с именем, например, Power, осуществляющую возведение любого вещественного числа в любую вещественную степень. Матем а-

тическое решение данной задачи следующее: ab eb ln a .

Var

X, Y : Real;

Z : Real;

Function Power(a, b : Real) : Real;

Begin

Power := Exp(b*Ln(a));

End;

BEGIN

Write ('Введите два вещественных числа: ');

Readln( X, Y);

Writeln ('Значение', X:6,' в степени ',Y:6,' равно ', Power(X, Y):8); Z := Power(Y, X);

Writeln ('Значение', Y:6, ' в степени ', X:6, ' равно ', Z:8); End.

Функция Power при первом вызове просто указана в качестве пара-

метра при обращении к встроенной процедуре WRITELN. Второй вызов функции Power — выражение правой части оператора присваивания.

Параметры X и Y в момент обращения к функции — это фактические па-

раметры. Они подставляются вместо формальных параметров А и В в за-

головке функции и затем над ними осуществляются нужные действия.

190

Пример.

В процедуре Print_Mas Реализован алгоритм отображение на экра-

не значений одномерного массива целых чисел.

Type Mas = Array[1..6] of integer;

Var

A : Mas;

B : Array[1..10] of integer; i : integer;

Procedure Print_Mas (Var C : Array of Integer; n : byte; S : string);

{S — строка заголовка}

{n — текущая размерность массива} {С — массив целых чисел}

Var

i, j : Byte; Begin

Writeln(S); {вывод на экран заголовочной строки}

For i := 1 to n do Write(C[i]:3);

Writeln;

End;

Begin

{Инициализация массива А случайными числами}

For i := 1 to 6 do A[i] := Random(30);

{ Инициализация массива В случайными числами }

For i := 1 to 10 do B[i] := Random(30);