W Cat - Описание языка PascalABC.NET

begin

Result := 0;

fori: integer := 0 toa.Length do

Inc(Result,a[i]);

При вызове подпрограммы на месте формального параметра paramsможет быть любое ненулевое количество фактических параметров совместимого типа, перечисляемых через запятую:

vars: integer := Sum(1,2,3,4,5);

s := s + Sum(6,7);

В списке параметров ключевое слово paramsможет указываться только для последнего параметра, причем, этот параметр не должен быть параметром по умолчанию. Параметры paramsвсегда передаются только по значению.

В заголовке подпрограммы можно использовать параметры по умолчанию. Для этого достаточно после параметра поставить знак присваивания и значение. Если при вызове не указать значение параметра по умолчанию, то будет использовано то значение, которое указано в описании подпрограммы. Параметры по умолчанию должны передаваться по значению и идти последними в списке параметров.

Например:

procedurePrintTwo(a,b: integer; delim: char := ' ');

begin

write(a,delim,b);

end;

...

PrintTwo(3,5);

PrintTwo(4,2,';');

Все варианты вызова подпрограммы с параметрами по умолчанию могут участвовать в разрешении перегрузки.

В некоторых ситуациях возникает необходимость вызвать подпрограмму, описанную далее по тексту программы. Например, такая необходимость возникает при косвенной рекурсии (подпрограмма A вызывает подпрограмму B, а та в свою очередь вызывает подпрограмму A). В этом случае используется опережающее объявление подпрограммы, состоящее из ее заголовка, за которым следует ключевое слово forward. Например:

procedureB(i: integer); forward;

procedureA(i: integer);

begin

...

B(i-1);

end;

procedur eB(i: integer);

begin

...

A(i div2);

end;

Запрещено делать опережающее объявление для уже описанной подпрограммы.

Для методов ключевое слово forwardзапрещено. В нем нет необходимости, потому что можно вызывать методы, определенные в теле класса позднее.

В одном пространстве имен может быть определено несколько процедур или функций с одним именем, но разным количеством или типами параметров. Имена таких процедур и функций называются перегруженными, а их создание - перегрузкой имен . Разновидностью перегрузки имен является перегрузка операций.

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

procedurep(b: byte);

begin

end;

procedurep(r: real);

begin

end;

то при вызове p(1.0) будет выбрана перегруженная версия с параметром типа real (точное соответствие), а при вызове p(1) будет выбрана перегруженная версия с параметром типа byte (при этом произойдет преобразование фактического параметра типа integer к типу byte).

Заметим, что, в отличие от Object Pascal, использовать при перегрузке служебное слово overloadне нужно.

Если ни одна версия в текущем пространстве имен не подходит к данному вызову, то возникает ошибка компиляции. Если две и более версии одинаково хорошо подходят к данному вызову, то также возникает ошибка компиляции, заключающаяся в неоднозначности выбора подпрограммы. Например, если имеются описания

procedurep(i: integer; r: real);

begin

end;

procedurep(r: real; i: integer);

begin

end;

то при вызове p(1,2) оба они одинаково подходят, что приводит к неоднозначности.

Запрещено перегружать подпрограмму другой подпрограммой с тем же количеством и типами параметров, отличающихся лишь тем, передается ли параметр по значению или по ссылке. Например, описания

procedurep(i: integer);

и

procedurep( vari: integer);

считаются одинаковыми.

Возвращаемое значение функции не участвует в разрешении перегрузки, т.е. перегружаемые функции не могут различаться только типами возвращаемых значений.

Алгоритм перегрузки имен при наличии нескольких подключенных модулей, а также алгоритм перегрузки имен методов имеют особенности. Основная особенность этих алгоритмов состоит в том, что они работают через границы пространств имен.