Исполняемая часть начинается зарезервированным словом implementation и содержит описания подпрограмм, объявленных в интерфейсной части. В ней могут объявляться локальные для модуля объекты - вспомогательные типы, константы, переменные и подпрограммы, а также метки, если они используются в инициирующей части.
Описанию подпрограммы, объявленной в интерфейсной части модуля, в исполняемой части должен предшествовать заголовок, в котором можно опускать список формальных переменных (и тип результата для функции), так как они уже описаны в интерфейсной части. Но если заголовок подпрограммы приводится в полном виде, т. е. со списком формальных параметров и объявлением результата, он должен совпадать с заголовком, объявленным в интерфейсной части, например:
Unit Cmplx;
Interface type
Complex = record
re,im: real
end;
Function AddC(x,y: Complex): Complex;
Function MulC(x,y: Complex): Complex;
Implementation
Function AddC(x,y: Complex): Complex;
begin
end; Function MulC;// Вариант описания подпрограммы без
// повторения списка параметров
begin
end;
end.
Примечание
Примечание
Хотя допускается краткое объявление заголовка подпрограммы ( как в предшествующем примере—функции Mul(), тем не менее использовать такую форму в серьезной программе не рекомендуется: перечень параметров непосредственно в заголовке подпрограммы облегчает чтения кода и понимания деталей реализации алгоритма.
Повторение заголовка в исполняемой части должно быть полным и точным. Если бы мы использовали заголовок
Function AddC(x,z: Complex): Complex; begin
end;
компилятор немедленно известил бы нас о несовпадении заголовка с объявлением функции в интерфейсной части (второй параметр должен иметь имя у).