УКАЗАТЕЛИ

Стандартный тип-указатель (POINTER) состоит из неограни­ченного множества значений, указывающих на однотипные эле­менты. Пустой указатель NILL принадлежит всем типам указате­лей и не указывает ни на один элемент.

Над указателями возможны только операции проверки на ра­венство и неравенство. Тип-указатель необходим для динамиче­ских структур данных. С помощью его становится доступен физи­ческий адрес размещения в памяти элементов.

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

TYPE

MA = ARRAY[ 1..45] OF INTEGER;

POINT = MA;

ПРОЦЕДУРНЫЕ ТИПЫ

В PASCAL 7.0 процедуры и функции допустимо использовать в качестве переменных. Объявление такого процедурного типа на­поминает объявление процедуры или функции: пишется слово PROCEDURE или FUNCTION, за которым в круглых скобках следует список формальных параметров. Для функций необходи­мо еще указывать тип возвращаемого в основную программу ре­зультата, т. е. самой функции. Например:

TYPE

Р1 = PROCEDURE;

Р2 = PROCEDURE(VAR X, Y: INTEGER);

F1 = FUNCTION (VAR A, B: CHAR): INTEGER;

VAR

SUM: P1;

RES: Р2;

KODE: F1;

При использовании процедурных типов следует помнить о следующих ограничениях:

■ они не должны иметь имена стандартных процедур и функ­ций;

■ они не должны объявляться внутри других процедур и функций;

■ они не должны быть описаны с директивами INLINE и INTERRUPT;

■ они должны иметь директиву FAR или компилироваться с ключом компилятора {$F+}.