В стандарте языка Паскаль передача параметров может производиться
двумя способами - по значению и по ссылке. Параметры, передаваемые по
значению, называют параметрами-значениями, передаваемые по
ссылке - параметрами-переменными. Последние отличаются тем, что
в заголовке процедуры (функции) перед ними ставится служебное слово var.
При первом способе (передача по значению) значения фактических
параметров копируются в соответствующие формальные параметры. При изменении
этих значений в ходе выполнения процедуры (функции) исходные данные
(фактические параметры) измениться не могут. Поэтому таким способом передают
данные только из вызывающего блока в подпрограмму (т.е. входные
параметры). При этом в качестве фактических параметров можно
использовать и константы, и переменные, и выражения.
При втором способе (передача по ссылке) все изменения, происходящие
в теле процедуры (функции) с формальными параметрами, приводят к немедленным
аналогичным изменениям соответствующих им фактических параметров. Изменения
происходят с переменными вызывающего блока, поэтому по ссылке передаются
выходные параметры. При вызове соответствующие им фактические параметры
могут быть только переменными.
Выбор способа передачи параметров при создании процедуры (функции)
происходит в соответствии со сказанным выше: входные параметры нужно
передавать по значению, а выходные - по ссылке. Практически это сводится
к расстановке в заголовке процедуры (функции) описателя var при всех параметрах,
которые обозначают результат работы подпрограммы. Однако, в связи с тем, что
функция возвращает только один результат, в ее заголовке использовать
параметры-переменные не рекомендуется.
Использование процедур и функций в Паскале тесно связано с некоторыми
особенностями работы с идентификаторами (именами) в программе. В часности,
не все имена всегда доступны для использования. Доступ к идентификатору в
конкретный момент времени определяется тем, в каком блоке он описан.
Имена, описанные в заголовке или разделе описаний процедуры или функции
называют локальными для этого блока. Имена, описанные в блоке,
соответствующем всей программе, называют глобальными. Следует помнить,
что формальные параметры прцедур и функций всегда являются локальными
переменными для соответствующих блоков.
Основные правила работы с глобальными и локальными именами можно
сформулировать так:
Локальные имена доступны (считаются известными, "видимыми") только внутри
того блока, где они описаны. Сам этот блок, и все другие, вложенные в него,
называют областью видимости для этих локальных имен.
Имена, описанные в одном блоке, могут совпадать с именами из других, как
содержащих данный блок, так и вложенных в него. Это объясняется тем, что
переменные, описанные в разных блоках (даже если они имеют одинаковые имена),
хранятся в разных областях оперативной памяти.
Глобальные имена хранятся в области памяти, называемой сегментом
данных (статическим сегментом) программы. Они создаются на этапе компиляции
и действительны на все время работы программы.
В отличие от них, локальные переменные хранятся в специальной области
памяти, которая называется стек. Они являются временными, так как
создаются в момент входа в подпрограмму и уничтожаются при выходе из нее.
Имя, описанное в блоке, "закрывает" совпадающие с ним имена из блоков,
содержащие данный. Это означает, что если в двух блоках, один из которых
содержится внутри другого, есть переменные с одинаковыми именами, то
после входа во вложенный блок работа будет идти с локальной для данного
блока переменной. Пременная с тем же имнем, описанная в объемлющем блоке,
становится временно недоступной и это продолжается до момента выхода из
вложенного блока.
Рекомендуется все имена, которые имеют в подпрограммах чисто внутреннее,
вспомогательное назначение, делать локальными. Это предохраняет от
изменений глобальные объекты с такими же именами.
Знаете ли Вы, что абстракция через спецификацию - это прием программирования, позволяющий абстрагироваться от процесса вычислений описанных в теле процедуры, до уровня знания того, что данная процедура делает. Это достигается путем задания спецификации, описывающей эффект ее работы, после чего смысл обращения к данной процедуре становится ясным через анализ этой спецификации, а не самого тела процедуры. Мы пользуемся абстракцией через спецификацию всякий раз, когда связываем с процедурой некий комментарий, достаточно информативный для того, чтобы иметь возможность работать без анализа тела процедуры. Абстракция через спецификацию позволяет абстрагироваться от процесса вычислений описанных в теле процедуры, до уровня знания того, что данная процедура делает. Это достигается путем задания спецификации, описывающей эффект ее работы, после чего смысл обращения к данной процедуре становится ясным через анализ этой спецификации, а не самого тела процедуры. Мы пользуемся абстракцией через спецификацию всякий раз, когда связываем с процедурой некий комментарий, достаточно информативный для того, чтобы иметь возможность работать без анализа тела процедуры.
