Процедуры и функции в языке Pascal — это последовательность операторов, обладающая именем и списком параметров, которая может быть вызвана из любых участков программы.
Введение
Язык программирования Pascal (Паскаль) был назван в честь знаменитого учёного из Франции Блеза Паскаля, жившего в семнадцатом веке. Он стал известен изобретением счётной машины, способной выполнять комплекс арифметических процедур. В шестидесятые годы прошлого века Международная Федерация по информационной обработке (IFIP) предложила передовым учёным с мировым именем в сфере информатики участвовать в проектировании нового программного языка.
В середине семидесятых годов двадцатого века этими специалистами была выпущена инструкция по применению первой версии языка Паскаль и его компилятора. Программные продукты, выполненные на Паскале, проходят при их реализации следующие этапы:
- Ввод и коррекция программного текста.
- Трансляция программы.
- Отладка программного продукта.
Язык программирования Паскаль, аналогично большинству других языков программирования, предусматривает наличие средств, позволяющих представлять вспомогательные алгоритмы в формате подпрограмм. Это требуется в тех случаях, когда какая-либо часть общего алгоритма должна повторяться несколько раз или присутствует возможность использования отдельных фрагментов сформированных раньше алгоритмов. Помимо этого, подпрограммы используются с целью разделения больших программ на небольшие законченные по смыслу фрагменты согласно модульному принципу в программировании.
Чтобы использовать фрагмент общего алгоритма как подпрограмму, он должен обладать именем и описанием алгоритма в соответствии с правилами языка Паскаль. Далее, если возникает необходимость его вызова в программе, осуществляется обращение к подпрограмме, путём упоминания в требуемом месте её имени вместе с перечнем входных и выходных параметров и данных. Данное упоминание означает исполнение входящих в состав подпрограммы операторов, которые работают с заданным набором данных.
По завершению исполнения подпрограммы, действие продолжится с команды, следующей за вызовом подпрограммы.
Процедуры и функции в языке Pascal
В языке программирования Паскаль существуют следующие виды подпрограмм:
- Процедура.
- Функция.
Функции и процедуры должны помещаться в подраздел описаний программы. Чтобы осуществлять информационный обмен среди процедур и функций, а также иными программными блоками, в Паскале имеется механизм входных и выходных параметров.
Входными параметрами являются значения, которые передаются из блоков, обращающихся к подпрограмме, в саму подпрограмму. Для подпрограммы они считаются исходными данными. Выходными параметрами являются значения, которые передаются из подпрограммы в блок, откуда пришло обращение к ней. По сути выходные параметры — это итоговые результаты работы подпрограммы.
Подпрограмма может быть вызвана много раз, исполняя одинаковые действия, но при разных входных данных. Параметры, которые применяются для записи текста подпрограммы в описательном разделе, именуются формальными, а которые применяются во время её вызова называются фактическими.
Структура представления процедур и функций в определённой мере аналогична структуре самой программы на языке Паскаль. Они тоже обладают заголовком, разделом описаний и исполняемой частью. Раздел описаний процедур и функций имеет такие же подразделы, как и раздел описаний программы на Паскале, а именно:
- Подраздел, где описаны константы.
- Подраздел типов данных.
- Подраздел меток.
- Подраздел процедур.
- Подраздел функций.
- Подраздел переменных.
В исполняемой части содержится весь набор операторов процедур. Описание процедуры может быть представлено в следующем виде:
procedure наименование процедуры (формальные параметры);
раздел описаний процедуры
begin
исполняемая часть процедуры
end;
Описание функции может быть представлено в следующем виде:
function наименование функции (формальные параметры): тип результата;
раздел описаний функции
begin
исполняемая часть функции
end;
Формальные параметры в заголовке процедур и функций должны быть представлены следующим образом:
var имя праметра: имя типа
Параметры должны отделяться друг от друга при помощи точки с запятой. Ключевое слово, которым является var, может не указываться. В случае однотипных параметров, их имена могут быть перечислены через запятую, с указанием общего для них имени типа. Когда выполняется описание параметров, допускается использование только стандартных имён типов, или имён типов, которые определены при помощи команды type. Список формальных параметров допускается не указывать.
Вызвать процедуру можно при помощи оператора в следующем формате:
имя процедуры (список фактических параметров);
В списке фактических параметров перечисляются все эти параметры через запятую. Когда вызываются фактические параметры, то они как бы замещают формальные параметры, которые стоят в заголовке на этих же местах. Так осуществляется передача входных параметров, далее осуществляется выполнение операторов исполняемой части процедуры, а затем реализуется возврат в блок, вызвавший процедуру. Осуществление передачи выходных параметров реализуется прямо при работе исполняемой части.
Вызов функции в Паскале выполняется аналогичными методами, а помимо этого присутствует возможность сделать вызов из какого-нибудь выражения. Следует также отметить, что имя функции может располагаться в правой части оператора присваивания, в разделе, где задаются условия оператора if и так далее.
Чтобы передать в вызывающий блок выходное значение функции, в исполняемую часть функции до возврата в вызывающий блок следует указать такую команду: имя функции := результат;
Когда вызывается процедура или функция, следует выполнять следующие правила:
- Число фактических параметров обязано быть равным количеству формальных параметров.
- Наборы фактических и формальных параметров обязаны быть равными по очерёдности следования и типу.
