W Cat - Описание языка PascalABC.NET
procedure PrintSquare(i: integer);
begin
writeln(i*i);
;
Тогда при вызове PrintSquare(5*a-b) значение 5*a-b будет вычислено и присвоено переменной i, после чего выполнится тело процедуры.Если параметр передается по ссылке, то при вызове подпрограммы фактический параметр заменяет собой в теле процедуры соответствующий ему формальный параметр. В итоге любые изменения формального параметра-переменной внутри процедуры приводят к соответствующим изменениям фактического параметра. Фактические параметры-переменные должны быть переменными, а их типы должны быть эквивалентны типам соответствующих формальных параметров.
Например, если описана процедура
procedure Mult2(var a: integer);
begin
a := a*2;
;
то после вызова Mult2(d) значение d увеличится в 2 раза.В качестве фактического параметра-значения можно указывать любое выражение, тип которого совпадает с типом формального параметра или неявно к нему приводится. В качестве фактического параметра-переменной можно указывать только переменную, тип которой в точности совпадает с типом формального параметра.
При передаче параметра по ссылке в подпрограмму передается адрес фактического параметра. Поэтому если параметр занимает много памяти (массив, запись, строка), то обычно он также передается по ссылке. В результате в процедуру передается не сам параметр, а его адрес, что экономит память и время работы. При этом если параметр меняется внутри подпрограммы, то он передается с ключевым словом var, если не меняется - с ключевым словом const:
Например:
type
Person = record
name: string;
age,height,weight: integer;
end;procedure Print(const p: Person);
begin
write(p.name,' ',p.age,' ',p.height,' ',p.weight);
end;
procedure IncAge(var p: Person);
begin
Inc(p.age);
end;
Отметим особенности передачи динамических массивов в качестве параметров подпрограмм.
Поскольку динамический массив является ссылкой, то при изменении формального параметра-динамического массива внутри подпрограммы меняется соответствующий фактический параметр. Например, в результате работы программы
procedure p(a: array of integer);
begin
a[1] := 2;
end;
var b: array of integer := (1,1);
begin
p(b);
writeln(b[1]);
end.
будет выведено 2. Передавать динамические массивы по ссылке имеет смысл только в случае если память под динамический массив перераспределяется внутри подпрограммы:
procedure q(var a: array of integer);
begin
SetLength(a,10);
end;
Переменное число параметров
Для указания того, что подпрограмма должна иметь переменное число параметров, используется ключевое слово params, за которым следует описание динамического массива. Например:
function Sum(params a: array of integer): integer;
begin
Result := 0;
for i: integer := 0 to a.Length do
Inc(Result,a[i]);
При вызове подпрограммы на месте формального параметра params может быть любое ненулевое количество фактических параметров совместимого типа, перечисляемых через запятую:
var s: integer := Sum(1,2,3,4,5);
s := s + Sum(6,7);
В списке параметров ключевое слово params может указываться только для последнего параметра, причем, этот параметр не должен быть параметром по умолчанию. Параметры params всегда передаются только по значению.
Параметры по умолчанию
В заголовке подпрограммы можно использовать параметры по умолчанию. Для этого достаточно после параметра поставить знак присваивания и значение. Если при вызове не указать значение параметра по умолчанию, то будет использовано то значение, которое указано в описании подпрограммы. Параметры по умолчанию должны передаваться по значению и идти последними в списке параметров.
Например:
procedure PrintTwo(a,b: integer; delim: char := ' ');
begin
write(a,delim,b);
end;
...
PrintTwo(3,5);
PrintTwo(4,2,';');
Все варианты вызова подпрограммы с параметрами по умолчанию могут участвовать в разрешении перегрузки.
Опережающее объявление
В некоторых ситуациях возникает необходимость вызвать подпрограмму, описанную далее по тексту программы. Например, такая необходимость возникает при косвенной рекурсии (подпрограмма A вызывает подпрограмму B, а та в свою очередь вызывает подпрограмму A). В этом случае используется опережающее объявление подпрограммы, состоящее из ее заголовка, за которым следует ключевое слово forward. Например:
procedure B(i: integer); forward;
procedure A(i: integer);
begin
...
B(i-1);
end;
procedure B(i: integer);
begin
...
A(i div 2);
end;
Запрещено делать опережающее объявление для уже описанной подпрограммы.
Для методов ключевое слово forward запрещено. В нем нет необходимости, потому что можно вызывать методы, определенные в теле класса позднее.
Перегрузка имен подпрограмм
В одном пространстве имен может быть определено несколько процедур или функций с одним именем, но разным количеством или типами параметров. Имена таких процедур и функций называются перегруженными, а их создание - перегрузкой имен. Разновидностью перегрузки имен является перегрузка операций.
При вызове перегруженной процедуры или функции выбирается та версия, у которой типы формальных параметров совпадают с типами фактических или наиболее близки к ним. Например, если имеются описания
procedure p(b: byte);
begin
end;
procedure p(r: real);
begin
end;
то при вызове p(1.0) будет выбрана перегруженная версия с параметром типа real (точное соответствие), а при вызове p(1) будет выбрана перегруженная версия с параметром типа byte (при этом произойдет преобразование фактического параметра типа integer к типу byte).
Заметим, что, в отличие от Object Pascal, использовать при перегрузке служебное слово overload не нужно.
Если ни одна версия в текущем пространстве имен не подходит к данному вызову, то возникает ошибка компиляции. Если две и более версии одинаково хорошо подходят к данному вызову, то также возникает ошибка компиляции, заключающаяся в неоднозначности выбора подпрограммы. Например, если имеются описания
procedure p(i: integer; r: real);
begin
end;
procedure p(r: real; i: integer);
begin
end;
то при вызове p(1,2) оба они одинаково подходят, что приводит к неоднозначности.
Запрещено перегружать подпрограмму другой подпрограммой с тем же количеством и типами параметров, отличающихся лишь тем, передается ли параметр по значению или по ссылке. Например, описания
procedure p(i: integer);
и
procedure p(var i: integer);
считаются одинаковыми.
Возвращаемое значение функции не участвует в разрешении перегрузки, т.е. перегружаемые функции не могут различаться только типами возвращаемых значений.
Алгоритм перегрузки имен при наличии нескольких подключенных модулей, а также алгоритм перегрузки имен методов имеют особенности. Основная особенность этих алгоритмов состоит в том, что они работают через границы пространств имен.
Поиск перегруженного имени глобальной подпрограммы при наличии нескольких подключенных модулей происходит во всех модулях. При этом вначале осуществляется просмотр текущего модуля, а потом всех модулей, подключенных в секции uses, в порядке справа налево. Если при этом поиске находится объект, который не может перегружать предыдущие (например, перегружается процедура, а найдено имя переменной), то цепочка перегрузки заканчивается, и поиск наилучшей перегруженной подпрограммы идет среди найденных до этого момента. Если в модуле, откомпилированном позже, имеется подпрограмма с точно такими же параметрами, то она скрывает версию из модуля, откомпилированного раньше.
Например, пусть основная программа подключает два модуля - un1 и un2:
main.pas
uses un2,un1;
procedure p(i: integer);
begin
write(1);
end;
begin
p(2.2);
p(2);
end.
un2.pas
unit un2;
procedure p(r: real);
begin
write(3);
end;
end.
un1.pas
unit un1;
procedure p(r: real);
begin
write(2);
