Пример 9.1. Допустим, что у нас имеется процедура treug, которая вычисляет площадь треугольника по трём его сторонам a

Допустим, что у нас имеется процедура treug, которая вычисляет площадь треугольника по трём его сторонам a, b и c. Тогда вызывающий оператор может выглядеть так

treug (a, b, c);

или

treug(1.2, 2.3, 1.5);

В первом случае фактическими параметрами, задающими длины сторон треугольника, являются имена переменных, а во втором - константы.

Формальные параметры в процедуре являются как бы «двойниками» фактических параметров и выполняют две функции:

1) на этапе разработки процедуры с их помощью показывают как процедура обрабатывает исходные данные, т.е. они наряду с другими переменными процедуры используются для описания её алгоритма;

2) во время обращения к процедуре каждый её формальный параметр «принимает» значение фактического; именно поэтому списки формальных и фактических параметров должны быть согласованы по количеству элементов, порядку их следования и типу.

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

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

procedure имя_процедуры (список формальных параметров);

Формальные параметры процедуры делятся на параметры-значения, параметры-переменные и бестиповые параметры[2].