Лекции по Паскалю

Вопрос № 5

Подпрограммы .

Подпрограмма – поименованная логически законченная группа операторов языка, которую можно вызвать для выполнения по имени любое количество раз из различных мест проги. Блок может содержать в себе другие блоки. Блок, который не входит в другой блок, называется глобальным. Блок, входящий в состав другого блока – локальный. Объявление называется докальным для подпроги, если оно создается данной подпроге. Глобальное объявление – оно создается в объемлющей проге или в глобальном блоке. С каждым объявлением имени связана область его действия и вне своей области действия имя не существует. Областью действия имени явяляется часть блока от точки объявления до конца текущего уровня вложенности, включая вложенные подпроги, за исключнием тех вложенных подпрог, в которых имеются другие объявления того же имени. Не допускаются повторные объявления имени на одном уровне вложенности. Сущ 2 вида подпрог: процедуры и функции. Подразделяются: встроенные и определенные пользователем. Встроенные процедуры и функции являются частью языка и используются без их предварительного описания в проге. Процедуры и функции пользователя организуются програмером и являются локальными блоками. Их предварительное описание обязательно.

Принцип локализации.

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

Program q; var y:real; x:chat; const c=10; procedure al(x,z:real); var c:real;

Begin c:=x+z; x:=2*x; y:=1; writeln (c,x,y); end; begin x:=’a’; y:=0.5; al(y,0.1);

writeln (c,x,y); end.

Вопрос № 6

Процедуры.

<описание_процедуры>::= <заголовок_проц>→;→<тело_проц>

<заголовок>::=→ procedure →<ид.> →<сисок_формальных_пар-в>→

−−−−−−−−−−→−−−−−−−−−−−

<сисок_формальных_пар-в>::=→(→<форм_пар>→)→

−−←−−;←−−−

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

<вызов_процедуры>::=→<ид_процедуры>→(→<аргумент>→)→

−−←−−,←−−−

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

Процедуры без параметров.

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

Пример: program R; var x1,x2,y1,y2,d:real; i:integer; const N=10;

procedure rast1; begin d:=sqrt(sqr(x1-x2)+sqr(y1-y2)); end;

begin for i:=1 to N do begin

readln (x1,x2,y1,y2); rast1; writeln (d); end; end.

Begin for I:=1 to N do begin readln(X1,Y1,X2,Y2); Rast1; writeln(D); end; end.

Недостаток: жесткая фиксация исходных данных.

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

Вопрос № 7

Процедуры с параметрами.

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

<форм_пар>::=−−−−−−−−−−−−−→<ид.>−−−−−−−−−−−−−−−−−−−−→

→ VAR → →,→ →: →<тип_пар>→

→ CONST →

5 типов ф. параметров: п.значения, п-переменные, п-константы, п без типа, п процедурного типа.

Параметры-значения – группа параметров, перед которыми не используются зарезервированные слова var или const и за которыми следует тип. Запрещается использовать параметры значения файловых типов. Для каждого параметра-значения создается локальная переменная. Они существуют только во время выполнения подпроги. При входе в подпрогу этим переменным присваивается значение соответствующи