Объявление указателей

Статические и динамические памяти переменные

Для каждой переменной, тип которой описан в секции Var, до выполнения программы выделяется область памяти. Размер этой области в процессе выполнения программы не меняется и кроме того, выделенную память нельзя использовать в других целях до конца работы программы. Такие переменные и связанные с ними типы данных называются статическими. В Турбо-Паскале допускается использовать динамические переменные. Для них память выделяется в процессе выполнения программы и может быть освобождена до окончания ее работы, благодаря использованию специального способа доступа к области памяти.
Для статической переменной этот доступ осуществляется в программе через ее уникальное имя, которому после компиляции ставится в соответствие адрес. Для динамической переменной обращение к участку динамической памяти осуществляется с помощью специального указателя, содержащего адрес этой области. Указатель получает значение адреса только после выделения области памяти для соответствующей ему переменной с помощью специальной процедуры. Переменная, размещаемая динамически, не объявляется в разделе Var, она определяется своим указателем.

Каждый указатель представляет собой переменную и должен быть объявлен в секции Var. Компилятор выделит под указатель четыре байта в статической памяти. Указатель предназначен для хранения адреса размещения динамической переменной, с которой он связан. Поскольку динамическая переменная определена в программе только своим указателем, то обычно при объявлении указателя задается тип соответствующей динамической переменной. Однако указатель может быть нетипизированным. Такие указатели удобно использовать для размещения динамических данных, структура которых меняется в процессе выполнения программы.
Для объявления типизированных указателей используется значок ^, размещаемый перед соответствующим типом, например:

var
IStat1: integer;
IStat2: real;
IDin1: ^integer;
IDin2,IDin3: ^real;

Здесь объявлены две статические переменные IStat1, IStat2 и три указателя: IDin1, IDin2, IDin3. Указатель IDin1 соответствует динамической переменной целого типа, которая обозначается в программе именем своего указателя со значком ^, т.е. IDin1^. Указатели IDin2, IDin3 определяют соответственно динамические переменные IDin2^ и IDin3^ вещественного типа.
Последовательность из значка ^ и идентификатора типа динамической переменной называется ссылочным типом, который обычно объявляется заранее в секции Type, например:

type
ZapDin = ^Zap; {ссылочный тип}
Zap = record
Ukaz: ZapDin;
Info: integer;
end;

Здесь ссылочный тип ZapDin объявляется с использование типа Zap, который предварительно в программе объявлен не был. Такое использование идентификатора до его определения является исключением в Паскале и разрешается только для указателей, содержащих ссылку на еще не объявленный тип данных.