Лекция 01. Тема Общая характеристика языков программирования высокого уровня

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

---

через специальные переменные, которые называются входными параметрами 
подпрограммы. Результаты работы подпрограммы для разных значений 
исходных данных будут, естественно, различны. Они передаются назад в 
вызывающую программу через переменные, которые называются выходными 
параметрами подпрограммы. Разумеется, выходные параметры должны 
заполняться данными внутри подпрограммы, а входные – в вызывающей, 
перед обращением к ней.
Параметры подпрограммы, как входные, так и выходные, должны быть 
описаны в заголовке, здесь они называются формальными.
Количество входных параметров неограничено. Если подпрограмма 
имеет много выходных параметров, то она называется процедурой. 
Заголовок процедуры имеет вид:
Procedure <имя процедуры> [ ( <список формальных параметров> ) ];
В процедуре <список формальных параметров> необязателен и может 
отсутствовать. Если же он есть, то в нем должны быть перечислены имена 
формальных параметров и их тип. Ниже приведен пример в синтаксисе языка 
Pascal, в котором выходные параметры должны предваряться еще и 
ключевым словом var 
Procedure SB (a : real; b : integer; var c : char; var d : real);
Здесь а, b входные параметры, c, d - выходные.
Если результатом исполнения операторов, образующих тело 
подпрограммы, является некоторое единственное значение того или иного 
типа, то такую подпрограмму можно оформить как функцию. Выходное 
значение для функции должно быть помещено в ячейку <имя функции>. 
Поэтому в заголовке функции присутствует описатель <тип>, который 
определяет тип переменной <имя функции>, а также тип возвращаемого 
функцией результата. Заголовок функции следующий (синтаксис Pascal):
Function <имя функции> [ ( <список входных 
формальных параметров> ) ] : <тип>;

---

Как видно из примеров, параметры в списке отделяются друг от друга 
точкой с запятой. Несколько следующих подряд однотипных параметров 
можно объединять в подсписки, например, заголовок функции можно 
написать проще:
Function F (a, b : real) : real;
Следует заметить, что при написании операторов тела подпрограммы 
совершенно на равных участвуют как формальные параметры, так и 
глобальные и локальные переменные.