Информатика и информационные технологии

Результат выражения должен быть логического  типа. Операторы, заключенные между  ключевыми словами repeat и until, выполняются последовательно до тех пор, пока результат выражения не примет значение True. Последовательность операторов выполнится, по крайней мере, один раз, поскольку вычисление выражения производится после каждого выполнения последовательности операторов.

 

 

 

 

ЛЕКЦИЯ № 3. Процедуры и функции

 

1. Понятие вспомогательного алгоритма

Алгоритм решения задачи проектируется  путем декомпозиции всей задачи в  отдельные подзадачи. Обычно подзадачи  реализуются в виде подпрограмм.

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

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

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

1) параметры-переменные;

2) параметры-константы;

3) параметры-значения;

4) параметры-процедуры и параметры-функции, т. е. параметры процедурного типа;

5) нетипизированные параметры-переменные.

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

Передача имен процедур и функций в качестве параметров

Во многих задачах, особенно в задачах  вычислительной математики, необходимо передавать имена процедур и функций  в качестве параметров. Для этого в TURBO PASCAL введен новый тип данных – процедурный, или функциональный, в зависимости от того, что описывается. (Описание процедурных и функциональных типов приводится в разделе описания типов.)

Функциональный и процедурный  тип определяется как заголовок процедуры и функции со списком формальных параметров, но без имени. Можно определить функциональный, или процедурный тип без параметров, например:

type

Proc = Procedure;

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

2. Процедуры в Pascal

Каждое описание процедуры содержит заголовок, за которым следует программный блок. Общий вид заголовка процедуры следующий:

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

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

3. Функции в Pascal

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

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

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

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

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

4. Опережающие описания и подключение подпрограмм. Директива

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

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

Опережающее описание и определяющее описание представляют собой полное описание процедуры. Процедура считается  описанной с помощью опережающего описания.

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

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

Пример

1) {SE+} – эмулировать математический  сопроцессор;

2) {SF+} —формировать дальний тип  вызова процедур и функций;

3) {SN+} – использовать математический сопроцессор;

4) {SR+} – проверять выход за  границы диапазонов.

Некоторые ключи компиляции могут  содержать параметр, например:

{$1 имя файла} – включить в  текст компилируемой программы  названный файл.

 

 

 

 

ЛЕКЦИЯ № 4. Подпрограммы

 

1. Параметры подпрограмм

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

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

1. Группа параметров без предшествующего ключевого слова является списком параметров-значений.

2. Группа параметров, перед которыми следует ключевое слово const и за которыми следует тип, является списком параметров-констант.

3. Группа параметров, перед которыми стоит ключевое слово var и за которыми следует тип, является списком нетипизированных параметров-переменных.

4. Группа параметров, перед которыми стоит ключевое слово var или const, за которыми не следует тип, является списком нетипизированных параметров-переменных.

2. Типы параметров подпрограмм

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

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

Фактический параметр должен иметь  тип, совместимый по присваиванию с  типом формального параметра-значения. Если параметр имеет строковый тип, то формальный параметр будет иметь  атрибут размера, равный 255.

Параметры-константы

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

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

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

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

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

Нетипизированные  параметры

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

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

Хотя нетипизированные параметры  дают большую гибкость, их использование  сопряжено с некоторым риском. Компилятор не может проверить допустимость операций с нетипизированными переменными.

Процедурные переменные

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

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

Кроме того, для обеспечения совместимости  по присваиванию процедура или функция, если ее нужно присвоить процедурной  переменной, должна удовлетворять следующим  требованиям:

1) это не должна быть стандартная процедура или функция;

2) такая процедура или функция не может быть вложенной;

3) такая процедура не должна быть процедурой типа inline;

4) она не должна быть процедурой прерывания (interrupt).

Стандартными процедурами и  функциями считаются процедуры  и функции, описанные в модуле System, такие как Writeln, Readln, Chr, Ord. Вложенные процедуры и функции с процедурными переменными использовать нельзя. Процедура или функция считается вложенной, когда она описывается внутри другой процедуры или функции.

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

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