ФОРМАЛЬНЫЙ ПАРАМЕТР

ФОРМАЛЬНЫЙ ПАРАМЕТР (formal parameter). Условное имя, определенное в процедуре или функции для обозначения аргумента процедуры (функции) или результата ее работы. Все сказанное ниже о Ф. п. процедуры относится и к Ф. п. функции. В заголовке процедуры Ф. п. определяет тип элемента данных, который должен быть передан процедуре при ее ввгзове. В теле процедуры операторы задают алгоритм, как действия над Ф. п., что обеспечивает возможность подстановки различных исходных данных путем замены Ф. п. на фактические параметры, указанные в операторе вызова процедуры. Например, в процедуре решения квадратного уравнения ах2 + Ьх + с = О (см. процедура, заголовок процедуры) Ф. п.-аргументами являются a, b и с, обозначающие коэффициенты уравнения, действия над которыми определяют решение задачи. Существуют четыре класса Ф. п., допустимые в большинстве традиционных языков программирования: параметры-значения, параметры-переменные, параметры-процедуры и параметры-функции. Ф. п.-значение представляет в вызываемой процедуре некоторую локальную переменную. Этой переменной в качестве начального значения при вызове процедуры присваивается значение соответствующего фактического параметра, который должен быть выражением. Параметры-значения нельзя использовать для представления результата выполнения процедуры. Ф. п.-переменная при вызове замешается фактической переменной вызывающей программы. В этом случае любые операторы, в записи которых участвует Ф. п., выполняются непосредственно над фактическим параметром. Параметры-переменные используются также для представления результатов выполнения процедуры. В списке Ф. п. параметры-процедуры и параметры-функции, как правило (например, в языке Паскаль), представляются своими заголовками. При вызове процедуры в качестве фактического параметра передается имя определенной процедуры или функции. Ср. фактический параметр. См. вызов процедуры, передача параметров