Обращение к участку динамической памяти в программе осуществляется с помощью специальной ссылочной переменной, которая называется указателем (ссылкой). Переменная типа «указатель» содержит адрес размещения участка динамической памяти, с которой связан этот указатель. Компилятор отводит под переменную типа «указатель» четыре байта статической памяти. Обычно указатель, связанный с определенным типом данных, называется типизированным. Однако он может быть и не типизированным, то есть совместимым с указателями любого типа данных. В этом случае указатель называется свободным (несвязанным).
Формат описания типа «указатель» следующий:
TYPE<идентификатор указателя>=^<тип>;
Примеры объявления типов «указатель» и переменных типа «указатель».
TYPE {правильные объявления типов}
P1=^WORD;{p1 - идентификатор типа «указатель» на данные типа WORD.}
P2=^CHAR;{p2 - идентификатор типа «указатель» на данные типа CHAR}
P4=ARRAY[1..10] OF ^REAL;{p4 - идентификатор типа «указатель» на массив указателей, ссылающихся на данные типа REAL}
{неправильные объявления типов}
P5=^ARRAY[1..10] OF REAL;
P6=^STRING[25];
P7=^RECORD
FIELD1 : STRING [15];
FIELD2 : REAL;