Cтраница 4
В подпрограммах IUPSI и MVUPSI при нарушении условий 0 М 7 или К 0, 1 результат выполнения подпрограмм неопределен, так как в подпрограммах не осуществляется контроль допустимости значений передаваемых фактических параметров. [46]
Фактический параметр, соответствующий согласованному формальному массиву-переменной, должен быть переменной-массивом. Значение фактического параметра вычисляется перед созданием экземпляра блока. В результате этого вычисления создается ссылка на переменную, которая становится доступной в течение всего времени существования блока. Фактический параметр не должен быть компонентом переменной, имеющей упакованный тип. [47]
Основным правилом при передаче параметров по значению является вычисление фактического параметра в точке вызова. После этого значение фактического параметра передается подпрограмме и становится начальным значением, ассоциированным с соответствующим формальным параметром. Соответствующий формальный параметр, скажем Y, получает начальное значение 3 и при выполнении подпрограммы SUB рассматривается как простая локальная переменная. Главной отличительной особенностью способа передачи по значению является то, что он допускает передачу данных только в подпрограмму. В общем случае подпрограмма не может вернуть результаты в вызывающую программу через параметр, передаваемый по значению. Таким образом, передача по значению защищает вызывающую программу от побочных эффектов при присваивании значений формальным параметрам в вызываемой программе. Иногда встречаются исключения, например в Сноболе 4 все параметры передаются по значению, но результаты могут быть возвращены через параметры, если воспользоваться косвенными ссылками с помощью имен переменных, передаваемых в виде цепочек. [48]
Формальные параметры, перечисленные в списке значений, при обращении к процедуре не заменяются по наименованию. В процедуру передаются только значения фактических параметров. Следовательно, формальные параметры как бы приобретают силу активных элементов процедуры и уже не являются пустыми переменными. [49]
Для фактических параметров, вызываемых по наименованию, в Subset Algol 60 накладывается требование, чтобы их класс и тип полностью совпадали с классом и типом соответствующих формальных параметров. В случае же вызова значением фактического параметра, являющегося арифметическим выражением, ему может соответствовать формальный параметр и типа integer, и типа real. Реализация таких ситуаций на машине требует достаточно тонких рассмотрений этого вопроса, что выходит за рамки нашего курса. [50]