Понятие глобальных и локальных переменных введено в языке Паскаль из-за наличия в нем понятия блочной структуры. Любая программа, процедура и функция представляют собой блок со своей областью описаний и могут содержать внутри этого блока описания других процедур и функций, а также обращения к ним. Программа и совокупность описанных в ней процедур и функций образует блочную структуру. Блок, содержащий в своем разделе описаний другой блок (процедуру и функцию), называется внешним по отношению к нему. Блок, содержащийся в разделе описаний некоторого блока, называется внутренним или подблоком. Объекты, описанные внутри какого-либо подблока, являются по отношению к нему локальными и недоступны внешним блокам, т.е. на них можно ссылаться только внутри блока, в котором они описаны. В примере 2.1 локальной переменной является переменная I.
Второй вариант короче. Выигрыш будет более значителен, если надо выводить несколько таблиц разных размеров. Тогда изменяем и значения.
Для того чтобы процедура могла выполнить не одну строго определенную последовательность действий, а целое семейство аналогичных действий, но с разными параметрами, необходимо дополнить процедуру этими параметрами. В нашем случае целесообразно предусмотреть два параметра: параметр, определяющий длину строки, и параметр для выбора символа, которым предполагается прочертить строку.
Тогда программа, включающая в себя процедуру, будет иметь вид, представленный ниже.
Пример 2.2.
Program shapka3_procedura; {Заголовок основной программы}
{ Описание переменных основной программы }
{....... }
Procedure Lin(Len:integer;Ch:Char); {Процедура линии}
{Формальные параметры:длина - Len,символ - Ch}
Var I:lnteger;
Begin {Начало текста процедуры}
FOR l:=1 ТО Len DO write(Ch);
writeln;
End; {Конец процедуры}
BEGIN {начало главной программы}
writeIn ('Таблица 2.1');
Lin(40,’=’); {Вызов процедуры вычерчивания линии}
{....... }
{..вывод текста шапки }
{....... }
Lin(40,’=’); {..вывод номеров граф}
Lin(40,’-’); {Обращение к подпрограмме вычер. линий}
{Продолжение текста программы}
END. {Конец главной программы}
В скобках после имени процедуры описываются имена и типы формальных параметров. Вызов такой процедуры происходит с указанием значений фактических параметров так:
Lin(40,’=’),
где 40 - длина линии, ‘=’ - используемый символ.
Значения, стоящие в круглых скобках, называются аргументами, т.е. теми значениями фактических параметров, которые подставляются при вызове процедуры. Параметру LEN будет присвоено значение 40, параметру Ch значение ‘=’ типа Char. В общем случае аргумент и параметр должны относиться к совместимым типам, т.е. значение аргумента должно быть таким, чтобы его можно было назначить параметру.
Формальные параметры также являются локальными в пределах процедуры (в примере 2.2 это I). Объекты, описанные в некотором внешнем блоке (или программе), доступны и могут быть использованы в любом его подблоке, т.е. они являются глобальными по отношению к этим подблокам. Таким образом, объекты, локальные для некоторого блока, являются глобальными для всех его подблоков. Под этими объектами подразумевают метки и имена констант, типов, переменных, процедур и функций. На рис. 2.1 приведена схема, иллюстрирующая данное положение.
Переменные I, J, К являются локальными по отношению к блоку 3 и недоступны в блоках 1,2. Переменные X, Y, Z доступны в блоках 2,3 и недоступны в блоке 1, по отношению к блоку 3 они являются глобальными. Переменные А, В, С доступны во всей программе и являются глобальными в блоках 2,3. На рис. 2.2 приведена более сложная структура из четырех блоков. На этом рисунке переменная L и локальная, и глобальная, но это разные переменные!
Переменная действительного типа L, определенная в блоке 1, является глобальной в блоке 2, но переопределена в блоке 3, где имеет силу уже новая связь между именем и типом. Глобальная переменная с именем L в блоках 3, 4 недоступна, изменение значения локальной переменной L в блоках 3, 4 никакого влияния на глобальную переменную не оказывает (ее значение не изменится). Чтобы не возникали ошибки, связанные с путаницей имен, не следует использовать одни и те же переменные как глобальные и как локальные. Также целесообразно избегать совпадения имен формальных и фактических параметров. Различные имена делают программу более наглядной.
С помощью параметров можно передавать данные не только в вызываемую процедуру, т.е. осуществлять прямую передачу информации, но и из вызываемой процедуры в вызывающую. Делается это с помощью атрибута VAR (параметры-переменные, см. подраздел 2.6).
Рассмотрим следующим пример. Предположим, необходимо вычислить по заданному числу десятичный логарифм. Так как такой функции в Турбо Паскале нет, то для вычисления используем соотношение
Y = 0.4343*Ln(X).
Для перевода можно использовать следующую процедуру.
Пример 2.3.
Procedure LOG10(Argument:Real;Var LOG:Real);
Begin
LOG:= 0.4343 * LN(X)
End;
Вызов процедуры происходит так: LOG10 (X,Y);
В качестве Y в вызывающую программу будет возвращено значение десятичного логарифма от аргумента X. Это возможно только благодаря тому, что в списке параметров для переменной LOG использован атрибут VAR. Наличие у параметра атрибута VAR свидетельствует о том, что используется передача по адресу. В этом случае одна и та же ячейка памяти используется для хранения значений и параметра, и аргумента.
Функция
Подпрограмма-функция предназначена для вычисления какого-либо параметра. Функция состоит из заголовка и тела функции.
Заголовок функции имеет вид:
FUNCTION <ИМЯ> (СПИСОК ФОРМАЛЬНЫХ ПАРАМЕТРОВ):<ТИП>;
где FUNCTION - служебное слово; ИМЯ - имя процедуры, определяемое в соответствии с общими правилами построения идентификаторов; СПИСОК ФОРМАЛЬНЫХ ПАРАМЕТРОВ - перечень имен для обозначения исходных данных и результатов работы процедуры с указанием их типов.
Допускается описание функции, не содержащее <СПИСКА ФОРМАЛЬНЫХ ПАРАМЕТРОВ>:
PROCEDURE < ИМЯ >:<ТИП>;
в этом случае параметры в функцию передаются через систему глобальных параметров.
У этой подпрограммы два основных отличия от процедуры. Первое отличие - заголовок. Он состоит из слова Function, за которым следует имя функции, затем в круглых скобках - список формальных параметров, затем через двоеточие записывается тип функции, т.е. тип возвращаемого параметра. Функция может возвращать типы вещественные, порядковые, строкового и любого указателя.
Второе отличие в том, что процедура может иметь несколько выходных параметров-результатов, а функция только одно значение, передаваемое через ее имя. Именно этим объясняется то, что в теле функции хотя бы один раз имени функции должно присваиваться вычисленное значение.
Структура функции такая же, как и процедуры.
Пример 2.4. Функция вычисления тангенса tan(x) от аргумента х.
Function Tan(х: real): real;
Var tangens: real;
BEGIN
tangens:= Sin(x)/Cos(x); tan:= tangens;
END;
Для вызова функции из основной программы или другой подпрограммы следует в выражении, где необходимо использовать значение функции, указать имя функции со списком фактических параметров, которые должны совпадать по количеству и типам с формальными параметрами функции. Например, надо вычислить, оператор присваивания будет
Y:=Tan(x)/(1+Sqr(Tan(x));
