3.1 Общая структура Паскаль – программы
____________________________________________________________________
Как видим, процедура изменила значение глобальной переменной. Следует иметь в виду, что переменная, являющаяся локальной в данной подпрограмме,
становится глобальной для всех подпрограмм низшего уровня. Рассмотрим пример:
program console_app; {$mode objfpc}{$H+} uses
CRT, FileUtil; var
x: integer; // глобальная переменная
procedure local_global; // процедура без параметров var
y: integer; // Локальная переменная
procedure A; // Процедура внутри процедуры local_global begin
y:= 100; // Внутри процедуры А переменная y является глобальной writeln(UTF8ToConsole('В процедуре А y= '), y);
end; // конец вложенной процедуры
begin
x:= 25; y:= 0;
A; // вызов процедуры низшего уровня writeln(UTF8ToConsole('После вызова процедуры А y= '), y);
end; // конец процедуры
begin |
// начало главной программы |
x:= |
1; |
writeln(UTF8ToConsole('Глобальная переменная x')); writeln(UTF8ToConsole('до вызова процедуры равна '), x);
146
Глава 3 Более сложные элементы языка
____________________________________________________________________
local_global; // вызов процедуры
//y:=1; если убрать знак комментария, компилятор выдаст ошибку,
//A; т.к. локальные объекты невидимы для главной программы
writeln(UTF8ToConsole('Глобальная переменная x')); writeln(UTF8ToConsole('после вызова процедуры равна '), x); writeln(UTF8ToConsole('Нажмите любую клавишу'));
readkey;
end.
Переменная y является локальной в процедуре local_global, в то же время она доступна процедуре А, т.е. для нее она является глобальной.
Обратите внимание, что локальные объекты недоступны вызывающей про-
грамме. Таким образом, из главной программы нельзя вызвать процедуру А и
нельзя изменить значение переменной y. Главная программа просто не знает об их существовании! Процедура local_global выступает для главной про-
граммы "черным ящиком". Для обмена данными между вызывающей програм-
мой и подпрограммой не стоит использовать глобальные переменные. Для это-
го используется механизм передачи параметров, о котором пойдет речь в сле-
дующем разделе.
Использование глобальных переменных может привести к трудноулови-
мым ошибкам, поскольку, когда подпрограмма изменяет значение глобальной переменной, главная программа об этом может и "не знать". Подпрограмма должна быть независима и самодостаточна ("черный ящик"!) в том смысле, что должна решать свою задачу исключительно "своими силами", лишь при необ-
ходимости получая от вызывающей программы данные через параметры и так-
же через параметры передавая результаты своей работы. Если это функция, то она должна возвращать единственное значение через свое имя.
Почему локальные переменные "невидимы" вызывающей программе? Де-
ло в том, что локальным переменным память распределяется по-другому, чем
147
3.1 Общая структура Паскаль – программы
____________________________________________________________________
глобальным переменным. Память для глобальных переменных выделяется ста-
тически компилятором в области памяти, называемой сегментом данных или статической памятью. Глобальные переменные "живут" в статической памяти от запуска главной программы и вплоть до ее закрытия. Поэтому они доступны всем подпрограммам. Для локальных переменных создается специальная об-
ласть памяти, называемая стеком. Параметры подпрограммы также размещают-
ся в стеке. После завершения работы подпрограммы, память, отведенная для нее, автоматически освобождается и может быть распределена уже для другой подпрограммы.
Есть еще один тип переменных, которые по существу являются локальны-
ми, но память им выделяется в сегменте данных. Это так называемые статиче-
ские переменные. Тот факт, что они находятся в сегменте данных означает, что такие переменные после выхода из подпрограммы не уничтожаются. Таким об-
разом, если подпрограмма будет вызвана повторно, то значение статической переменной сохранится и ее можно будет использовать.
В Паскале статической переменной служит так называемая типизирован-
ная константа. Ее описание имеет вид:
const
Константа: Тип = Значение;
Отличие от обычной константы в том, что указывается тип и для таких констант выделяется память. Значение типизированной константы в подпро-
грамме можно изменять (только не в Delphi! Там типизированная константа яв-
ляется "настоящей" константой).
Пример.
program project1; {$mode objfpc}{$H+} uses
CRT, FileUtil;
148
Глава 3 Более сложные элементы языка
____________________________________________________________________
procedure static_var; // процедура
const x: integer = 0;
begin
writeln(UTF8ToConsole('До изменения x= '), x);
x:= х + 25;
writeln(UTF8ToConsole('После изменения x= '), x);
end; // конец процедуры
begin
writeln(UTF8ToConsole('Изменение статической переменной x'));
writeln(UTF8ToConsole('внутри процедуры после первого вызова'));
static_var;
writeln(UTF8ToConsole('Изменение статической переменной x'));
writeln(UTF8ToConsole('внутри процедуры после второго вызова'));
static_var;
writeln(UTF8ToConsole('Нажмите любую клавишу'));
readkey;
end.
После первого вызова процедуры значение переменной х становится рав-
ным 25. После второго вызова х=50, т.е. статическая переменная сохранила свое значение 25 после первого вызова процедуры.
Имена локальных переменных в подпрограмме могут совпадать с глобаль-
ными именами вызывающей программы. В этом случае при входе в подпро-
грамму доступна только локальная переменная, а глобальная становится недос-
тупной, например:
program console_app;
{$mode objfpc}{$H+}
uses
149
3.1 Общая структура Паскаль – программы
____________________________________________________________________
CRT, FileUtil; var
x: integer; // Глобальная переменная
procedure local_global; // процедура без параметров var
x: integer; // Локальная переменная с тем же именем begin
x:= 25;
writeln(UTF8ToConsole('Локальная переменная x= '), x); end; // конец процедуры
begin // начало главной программы x:= 1;
writeln(UTF8ToConsole('Значение глобальной переменной x)); writeln(UTF8ToConsole(' до вызова процедуры '), x);
local_global; // вызов процедуры
writeln(UTF8ToConsole('Значение глобальной переменной x)); writeln(UTF8ToConsole(' после вызова процедуры '), x); writeln(UTF8ToConsole('Нажмите любую клавишу'));
readkey;
end.
Мы видим, что значение глобальной переменной не изменилось. Локаль-
ная переменная ―перекрыла‖ глобальную и оператор присваивания
x:= 25;
в процедуре присвоило значение 25 совсем другой переменной, хотя и с тем же именем х.
150