Передача параметров в процедуры и функции

Как было сказано выше (!),списокфактических параметров должен соответствовать списку формальных параметров по количеству (очевидно), порядку следования (очевидно), по типу (как это?).

Если передача данных осуществляется по значению, то значение фактического параметра должно быть присвоено переменной, являющейся формальным параметром. Если передача данных осуществляется по адресу, то переменной, являющейся фактическим параметром, должно быть присвоено «новое» значение в подпрограмме. В любом случае необходима совместимость по присваиванию. Например, легко понять, что при описании формального параметра массива не может использоваться описатель массива вида array [Ind] of type, поскольку в вызывающей программе, в этом случае, невозможно описать переменную того же типа, то есть, совместимую с формальным параметром. Вот как следует поступать:

program factich_par;

type mass=array [1..10] of real;

var i:integer;

m:mass;

procedure pr_mass(m:mass);

var i:integer;

begin

for i:=1 to 10 do write(m[i]:10:5); writeln

end;

begin

for i:=1 to 10 do read(m[i]);

pr_mass(m)

end.

Указанный механизм передачи данных в подпрограмму позволяет обрабатывать в подпрограмме только массивы, определенного в вызывающей программе типа. Это хорошее «паскалевское» решение. В качестве некоего послабления (и отклонения от принципов строгой типизации данных) в ТР (не в стандарте!) можно воспользоваться следующим механизмом передачи массивов в подпрограмму, называемым «открытым массивом». При описании открытого массива указывается лишь базовый тип, в качестве фактического параметра может использоваться любой массив с тем же базовым типом, в качестве индексного типа используется диапазон 0..N, где N – номер максимального элемента индексного типа фактического параметра:

var i:integer;

m:array [0..10] of real;

procedure pr_mass(m:array of real{Open array};n:integer);

var i:integer;

begin

for i:=0 to n do write(m[i]:10:5); writeln

end;

begin

for i:=0 to 10 do read(m[i]); readln;

pr_mass(m,10)

end.