Билет 55.Формальные и фактические параметры

Формальные параметры – данные, с которыми работает подпрограмма (ПП). Это внутренние данные для ПП. Они перечисляются в заголовке ПП и связаны с фактическими параметрами. Фактические параметры – данные, передаваемые в ПП и возвращаемые из нее. Это внешние для ПП данные, с которыми имеет дело вызывающая часть программы. В ПП им соответствуют формальные параметры. Указываются в списке фактических параметров при обращении к ПП. Синонимы:

· Параметры = формальные параметры.

· Аргументы = фактические параметры.

Для формальных и фактических параметров необходимо соблюдать соответствия:

· одинаковое количество,

· одинаковый порядок следования,

· совместимость типов по присвоению.

Категории формальных параметров

· Параметры-значения (в списке формальных параметров не имеют атрибута). Передаются ПП через стек, как копии, и не изменяются ею.

· Параметры-переменные (в списке формальных параметров имеют атрибут var). Передаются ПП через адреса, и могут изменяться ею. Используются для возврата результатов в вызывающую программу.

· Выходные параметры-переменные (в списке формальных параметров имеют атрибут out). Подобны параметрам-переменным, но передаются только из ПП в программу.

· Параметры-константы (в списке формальных параметров имеют атрибут const). Передаются ПП через адреса, но не могут изменяться ею. Применяются вместо параметров-значений, когда стек может переполняться.

· Процедуры или функции. Это параметры процедурного типа. Задаются именами.

· Параметры без типа. За правильность использования отвечает программист.

· Умалчиваемые параметры. Их в списке фактических параметров можно пропускать. В списке формальных параметров для них нужно задать тип и значение.

Собственный (т.е. фактический) параметр программы подпрограммой измениться не может.